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

Changeset View

Standalone View

View Options

head/math/hs-Agda-stdlib/distinfo

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