aboutsummaryrefslogtreecommitdiff
path: root/math/hs-Agda-executable/distinfo
diff options
context:
space:
mode:
Diffstat (limited to 'math/hs-Agda-executable/distinfo')
-rw-r--r--math/hs-Agda-executable/distinfo4
1 files changed, 2 insertions, 2 deletions
diff --git a/math/hs-Agda-executable/distinfo b/math/hs-Agda-executable/distinfo
index c22f45b12dc2..40c939b6e575 100644
--- a/math/hs-Agda-executable/distinfo
+++ b/math/hs-Agda-executable/distinfo
@@ -1,2 +1,2 @@
-SHA256 (cabal/Agda-executable-2.2.6.tar.gz) = b036404796bd94b0cf069b3aa9c56c39889846f31f2a59cb5a62f4b4d42f5f86
-SIZE (cabal/Agda-executable-2.2.6.tar.gz) = 1596
+SHA256 (cabal/Agda-executable-2.2.10.tar.gz) = c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a
+SIZE (cabal/Agda-executable-2.2.10.tar.gz) = 1788