diff options
Diffstat (limited to 'math/hs-Agda/distinfo')
| -rw-r--r-- | math/hs-Agda/distinfo | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index be99d677aef3..35fced2f5b13 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,2 +1,4 @@ -SHA256 (cabal/Agda-2.4.0.2.tar.gz) = 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d -SIZE (cabal/Agda-2.4.0.2.tar.gz) = 910389 +SHA256 (cabal/Agda-2.4.2.3.tar.gz) = bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27 +SIZE (cabal/Agda-2.4.2.3.tar.gz) = 990268 +SHA256 (cabal/Primitive.agdai.2.4.2.3) = a5b2353a50256f24c87f20b7892faabc99b9bad8f9b5cc68c24343707c1accf8 +SIZE (cabal/Primitive.agdai.2.4.2.3) = 2627 |