4 lines
913 B
Plaintext
4 lines
913 B
Plaintext
DIST lean-4.25.0_rc2.tar.gz 50072895 BLAKE2B bf081912fd8896a3916ef95af97cfd63646f13cc3c0b397966a8195d34e60ca500562c48565fb27eeca5b51d90a3dcd1f5dd20507b1f3bae83d7d16b6c1c2d78 SHA512 1f99b0c85188ad66d4d161f1ef886449999d891e09c92af6018937e4fdbc56cfb05de3eee6e666ae0cec85075f8d517dbd27fc14361854f7f1a939b6c9d41687
|
|
EBUILD lean-4.25.0_rc2.ebuild 1843 BLAKE2B 5e4da67180c9b7d801cbe490001316001d145a682852352f30c17a52f8e7ae3519c1958a99c1b2a19ab5f841827d73ee1753d75dc02cadde3cd2516941209007 SHA512 f37a1c87668396b8bfdd0c724e84dd26778f7a7ae26408265f3d3ebe8382e55876ff4248a9c912b68af05816704094f492f895d61a8e87ed4c094f87fc049a59
|
|
MISC metadata.xml 954 BLAKE2B 338f64bbe848dca10f77fb7d5b7503684d36742139a4fd45f7a4c48250a11af6a78e40f5304d44166ce56f7fe4d22c6f980b55cab411bb7be93cc279694e9b66 SHA512 ec7c25a75237d2d54704e2d7b1811489a95780885c748a832643760d012eaceaeb5bfec9fc80509d5699940e749e770e841880cca1361848244b5031636e48b2
|