mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-07-22 06:57:59 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/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

1 line
306 B
Text
Raw Permalink Blame History

DIST idris2-0.7.0.tar.gz 6987849 BLAKE2B 5a3df7eb4541830822c92bc76e616266e9535c7fe989e78db4477c724d25720ec46bb21625ab9c0541da52fbacc0b1f7d49c3316191f88b553ec8a4f8d22892c SHA512 3c645807d71ecf62bc66b674438ebf80ec6e7e4bbf473d86ec06bc7b59f8187618e0d56535380079837e15caebef02deba9beb3eb3c77da787befac88d7a6d2b
Reference in a new issue View git blame Copy permalink