aboutsummaryrefslogblamecommitdiff
path: root/math/hs-Agda-executable/distinfo
blob: 40c939b6e57579143a650d45724f044296c2579b (plain) (tree) 
0c76a8384fc1


1
2


                                                                                                               
SHA256 (cabal/Agda-executable-2.2.10.tar.gz) = c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a
SIZE (cabal/Agda-executable-2.2.10.tar.gz) = 1788
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 19:58:41 +0000