mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-10 23:52:59 -04:00
749e26c7ec
Closes: https://bugs.gentoo.org/835922 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
2 lines
320 B
Plaintext
2 lines
320 B
Plaintext
DIST lean-mathlib-0.1_p20220324.tar.gz 8117563 BLAKE2B f183565927e9b957059995d301a20af45d9995ae159c7e3aa54114b91e8421908b6494ab8abfe38215c8cbf0d4e714d08b0a43f24ba85deaec58577d2ac47a5b SHA512 39effb1dbb659f0dbaeb008bc3a3181aafd4c1ad6429d6ff70aca13481ccaefb12f97335e870c9737620d08dffdcb1a94970158637dc37b9ad00faff6a700f01
|