DIST metamath-databases-20220303.tar.gz 20538855 BLAKE2B 8aa3c505a16d1fac08de5d447eb55e4bc64f5fa53905c1147a17b6e65c87403f2baea9d30699da71f16cc34373f2d9c56c02f3b85327aa9db42af7c5c63db8df SHA512 5f2ca7e299ec3e8dda7739de057c69dcbdd4e23d5853826ac9d6ccabcaa0abf292990eb1925762ff2a5611b32628ed508b6fa4949121e090feaa0c986f3f67ac
EBUILD metamath-databases-20220303.ebuild 928 BLAKE2B c2494273ef97d0dfd103acd86029078969dab2a42f9faf672e78bc0c9c6b578e5bf36e0322bc4c4945cdd439c494cef45f5d2b803293288d674fd151716866da SHA512 88f6492bec74623231833ea08e675298b06bb945cd4fd54cdef48b16bb8b40cf8053fb508bdbd3f78af8d9bfc7627fb54d9b4540f31e7dd4429d752b29309401
MISC metadata.xml 633 BLAKE2B ab8c86cc84be54a40ef6210855d1d77abd58f4fc9a8433fb8005a1916ec720201feca35fcd7f9587b720612df8f0d278445661e93632a80194038fd32d85c128 SHA512 b7bdc15f1089359deaf7f323ba21330680977b7a314c796d632fec744bcef5981746a55a5e8663dd7a6b09ba726b4291e1f80b10c03a2a60538ea1b04d229e1b