diff options
Diffstat (limited to 'math/hs-Agda/distinfo')
| -rw-r--r-- | math/hs-Agda/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/hs-Agda/distinfo b/math/hs-Agda/distinfo index 485c853062a9..be99d677aef3 100644 --- a/math/hs-Agda/distinfo +++ b/math/hs-Agda/distinfo @@ -1,2 +1,2 @@ -SHA256 (cabal/Agda-2.3.2.tar.gz) = d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 -SIZE (cabal/Agda-2.3.2.tar.gz) = 726462 +SHA256 (cabal/Agda-2.4.0.2.tar.gz) = 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d +SIZE (cabal/Agda-2.4.0.2.tar.gz) = 910389 |