Gentoo Packages
Gentoo Packages
>
gentoo
>
Categories
>
sci-mathematics
>
metamath-databases
> Manifest > metamath-databases-20220303.tar.gz
sci-mathematics
/
metamath-databases
- Manifest: metamath-databases-20220303.tar.gz
Details
Type
DIST
File
metamath-databases-20220303.tar.gz
Size
20538855 bytes
Hashes
Type
Value
BLAKE2B
8aa3c505a16d1fac08de5d447eb55e4bc64f5fa53905c1147a17b6e65c87403f2baea9d30699da71f16cc34373f2d9c56c02f3b85327aa9db42af7c5c63db8df
SHA512
5f2ca7e299ec3e8dda7739de057c69dcbdd4e23d5853826ac9d6ccabcaa0abf292990eb1925762ff2a5611b32628ed508b6fa4949121e090feaa0c986f3f67ac
Versions
20220303
Source URLs
https://github.com/metamath/set.mm/archive/${COMMIT}.tar.gz