Gentoo Packages

sci-mathematics/agda-stdlib - Manifest: agda-stdlib-2.6.4.3.2.0.tar.gz

Details

TypeDIST
Fileagda-stdlib-2.6.4.3.2.0.tar.gz
Size1151828 bytes

Hashes

TypeValue
BLAKE2B3237e865c1090b31f846036990c57bd9497061ee364a120e96abb7a35ea971c11679c947833177cf570cd0cb52fb90b69b2cef57f4a8e13c0a8a6b7935cabfa3
SHA512c1369e9f40b7c7a8df3918bd47f9927456c50337c9f1f9dbc255fdcb745f5b586a75080b3fb80293e5b07434da356ffa0de287b9b523a7de652a5d36f71eea77

Versions

Source URLs