Page MenuHomeFreeBSD
Differential D16308 Diff 45984 head/math/hs-Agda/distinfo

Changeset View

Standalone View

View Options

head/math/hs-Agda/distinfo

TIMESTAMP = 1500999185 TIMESTAMP = 1531764592
SHA256 (cabal/Agda-2.5.2.tar.gz) = d812cec3bf7f03c4b27248572475c7e060154102771a8434cc11ba89f5691439 SHA256 (cabal/Agda-2.5.4.tar.gz) = b40971e3312461771e36a11aaf4002424178301cf315b21a679f527b79c09e09
SIZE (cabal/Agda-2.5.2.tar.gz) = 1240885 SIZE (cabal/Agda-2.5.4.tar.gz) = 1993562