distinfo\hs-Agda\math - FreeBSD-ports - Raptor Engineering's fork of pfsense FreeBSD ports tree with pfSense changes

summary refs log tree commit diff stats

path: root/math/hs-Agda/distinfo

blob: be99d677aef3f333fb54c5454ed4299fcc62ac75 (plain)

1 2	`SHA256 (cabal/Agda-2.4.0.2.tar.gz) = 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d SIZE (cabal/Agda-2.4.0.2.tar.gz) = 910389`

OpenPOWER on IntegriCloud