summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/Manifest
blob: c1b5f4a3fb15b7501f9652a8477e082132e492e5 (plain) 
1

DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-06 11:40:03 +0000