diff options
Diffstat (limited to 'math/hs-Agda-stdlib/distinfo')
| -rw-r--r-- | math/hs-Agda-stdlib/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/hs-Agda-stdlib/distinfo b/math/hs-Agda-stdlib/distinfo index 6389d83a9e26..5f07569058fa 100644 --- a/math/hs-Agda-stdlib/distinfo +++ b/math/hs-Agda-stdlib/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1499623372 -SHA256 (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb -SIZE (cabal/agda-agda-stdlib-v0.13_GH0.tar.gz) = 264701 +TIMESTAMP = 1531820029 +SHA256 (cabal/agda-agda-stdlib-v0.16_GH0.tar.gz) = fecd28d835434f2a0307391dda336a22929b1a405471de5cc7d8ed44bcd8e10d +SIZE (cabal/agda-agda-stdlib-v0.16_GH0.tar.gz) = 337450 |