gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity
gentoo/dev-lang/idris2/Manifest
Maciej Barć 2b74cbefa0
dev-lang/idris2: drop old 0.6.0 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2025-05-16 22:38:09 +02:00

2 lines
306 B
Plaintext
Raw Blame History

DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
Reference in New Issue View Git Blame Copy Permalink