1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-26 09:46:09 +00:00
freebsd-ports/math/hs-Agda-stdlib/distinfo
Gleb Popov 7fbb9efab1 Update some hs-* ports that were previously IGNORE'd.
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D16308
2018-07-29 10:40:28 +00:00

4 lines
195 B
Plaintext

TIMESTAMP = 1531820029
SHA256 (cabal/agda-agda-stdlib-v0.16_GH0.tar.gz) = fecd28d835434f2a0307391dda336a22929b1a405471de5cc7d8ed44bcd8e10d
SIZE (cabal/agda-agda-stdlib-v0.16_GH0.tar.gz) = 337450