summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc3/Manifest
blob: 45bbc825e95ef0542715815971735de25ad865e5 (plain)
1
2
3
4
5
6
AUX 50cvc3-gentoo.el 164 BLAKE2B 629cac93ab691b3379b6cdba9a24b2f426405a8606acac91fd7dc69ec5c7d93b4c7e5ffdc64442ba77024b255532ec062806805276af003ae935c4a734cba843 SHA512 bba873dfaeadc821ffc41168df51a0e0d5c0d038f60a36ba4f74c83d0ef8fb4ff3089cb587b680d5058c7fcddad2585c1e913cb25d8e2256cccda5872f017d07
AUX cvc3-2.4.1-gccv6-fix.patch 2907 BLAKE2B 8f3b8dfcfb834fa899195e5e3195c9dad94b1359a3b1e19e98cc65a0ab0b2df2516ee064ac2c7c825def61c8fbd3dc5af6a88a3461a0c73b6a9e4e971848fc4e SHA512 1e4e54820aa0ff256bc12916be1219961848430d3448ac4e04d4dcab5ba3ef1e056cad1a3c68ba5e9ff4f0f48c5a92e1b2e9e7eb14837265b166abe1228005cf
DIST cvc3-2.4.1.tar.gz 1196616 BLAKE2B 8d3f7cbd24a1ba7e558fa8f91f9dd8f3fdc1aee3dd0d0e460bfb6e7922ae54cebaad3696912d3d0fb735ce1f6d00ac32a7d65c0b01af870124e48d9c96855aac SHA512 48e5cd82b3eb7506d762c2abc8db0c8fbc548575a1362dda53888075ac105a5bc0f0d58dfe01b60f207bc00ff8dfc39a5b3d9317784fe551658c884bb02e1ff2
EBUILD cvc3-2.4.1-r1.ebuild 4298 BLAKE2B 4d4343b9de4774081a3f1470121e7bafd34793664671df478613b611123daed10523bb555301de9976237007974abeb5ccf5ca2c26d3f63d4648343065082f26 SHA512 7cc46232b5f2aa148967e13796ed6ba689e5b98bce5677a9efb1492bd97af7a6bf5e6c48d648e15d8e5b035f73a0a8930b66d903c2a57fdc8cabc756681dd252
EBUILD cvc3-2.4.1.ebuild 4240 BLAKE2B a21e44617197a211352d934d33af8c4c86445e9c60d84af3fb74466875fe66aa31f36b530172bf448ff024f337c81cd87a4a593f924ef05f71dd236aaa82f741 SHA512 31329c448ca916bf2c26f712399b85e5da447649850bfef83c0b3c2ae3ac18e531189fa42295c47eb2c24780f7e8fea612ec6af50ee91efb89594baec7208706
MISC metadata.xml 1806 BLAKE2B 640e42b6b1b85ddf30c9b17ad9b8f8817921c5b7e76cc1431fd582873524725ec2ccbe9537a2b95ec74b7022455e38f755c7a128cec2bfad31e9aec3325d9fa5 SHA512 7717a3e172f56cdac0c6716e2c776578fc5e5ee35dad288c605d28034eca54049414e7450d9b2a7d17869f3cdd0da41f61e407c5cd52fef2f3fa225e3e99133f