diff options
Diffstat (limited to 'sci-mathematics/lean/Manifest')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest new file mode 100644 index 0000000..005c7de --- /dev/null +++ b/sci-mathematics/lean/Manifest @@ -0,0 +1 @@ +EBUILD lean-4.0.9999.ebuild 1790 BLAKE2B 3de3939c3c75a49fa743d6b68e2d37a29d84e353d4386082fb5dea69ebb268025c70dab1d81c4b8a74be384eed8341952cc1bc46c96740ae140853d0171aaba8 SHA512 98b2fb6116356483320631d1ef601ecb1055cc9cfdbeadac5f9b845ed0fb48e403bac8140417b97c7b7ef6041c58389810742faa808cfeaf2fa35b421d4f2967 |