summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc3/Manifest
blob: b5293cb82616aeb95aac29df810d48c189977174 (plain)
1
2
3
4
5
6
7
8
AUX 50cvc3-gentoo.el 164 SHA256 1fbca0f0a0556eb5fc1d8ba4361f2143bc7fe81b08c21c1da752121ea3d25b90 SHA512 bba873dfaeadc821ffc41168df51a0e0d5c0d038f60a36ba4f74c83d0ef8fb4ff3089cb587b680d5058c7fcddad2585c1e913cb25d8e2256cccda5872f017d07 WHIRLPOOL ba6691a596a47670d0b143e957f10112de18493df013c9ffa8f232f0e7450adcea184a60246a44286976ddc683954354ecd985481a0407df83359d8b5bb07ccb
AUX cvc3-2.4.1-gccv6-fix.patch 2907 SHA256 2218a10ba315200a0cf6d436999a8840913add7b6e030948daac4b40b5d5e65c SHA512 1e4e54820aa0ff256bc12916be1219961848430d3448ac4e04d4dcab5ba3ef1e056cad1a3c68ba5e9ff4f0f48c5a92e1b2e9e7eb14837265b166abe1228005cf WHIRLPOOL b66be69a05e3031dd8a2dc998503002ffbf8a7a005dd2d33d8f4f220fcc267cf61ddfd5f0c6cdbe499ae0132bb45da5b7435b92379471d02ecd06f3d25298938
DIST cvc3-2.4.1.tar.gz 1196616 SHA256 d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7 SHA512 48e5cd82b3eb7506d762c2abc8db0c8fbc548575a1362dda53888075ac105a5bc0f0d58dfe01b60f207bc00ff8dfc39a5b3d9317784fe551658c884bb02e1ff2 WHIRLPOOL 9d39dacff010f093685191737d41760a84ac7d12246ddaafbb9f48c78c7bff5697c5e85c62ef44b7dc76f86a55c118c041323c3a1b1953f5c725447795375d93
EBUILD cvc3-2.4.1-r1.ebuild 4298 SHA256 d1278bb19e75b03b2584d708d3018926c651451491dd8efae4044bb75cb4c784 SHA512 7cc46232b5f2aa148967e13796ed6ba689e5b98bce5677a9efb1492bd97af7a6bf5e6c48d648e15d8e5b035f73a0a8930b66d903c2a57fdc8cabc756681dd252 WHIRLPOOL f9a3ddc4152fb595fbb3487561e6ea454c925b8a4f866246684b55b4d7dd7b190849b2902f1e9b6a84c985c80ebdcd3fad83a7fac7615b376347f6a6e1cbf7dc
EBUILD cvc3-2.4.1.ebuild 4240 SHA256 a49f42650b8fc3b531c6d331b4eb03edfb9cb5ecd9e018b9790370e2478457a4 SHA512 31329c448ca916bf2c26f712399b85e5da447649850bfef83c0b3c2ae3ac18e531189fa42295c47eb2c24780f7e8fea612ec6af50ee91efb89594baec7208706 WHIRLPOOL 11812d6657060b8f31450c8a99c74d69a447cc3295af8b623e15201afdc8fb5c611a1e00d6b3bb37d1cc22d5df56a611d7d4e38305623dc3b1139a33db86c9a6
MISC ChangeLog 3640 SHA256 1215580f8d4b259ad8d0f139d8ee479e75c32ded4ba8259c1dabfd14ca2e99ff SHA512 a9c188bfa1d03337bc28240476274ba05c1cf2bcfcac94fc9141bdb3dcad7eb262c4599a465287637b6090fb76fd870cc0c882d1c3b097e5f6253dda82cd4c2c WHIRLPOOL d237773b12d969fab388a80c6eaec4150884d3f44734506b5356bf4c9f7f081613531da0f99483fd3648d91de6ce3d9eba303cdb6b2b2ace58ca7a7f23b5ffb5
MISC ChangeLog-2015 1461 SHA256 9a76013008472466d700fdb89bbd50a763bc87dec872ecfd4f93d590fd3ac69c SHA512 48f5075521f141a27d2f33bd3b9d5e3230f509dd17d171924a9505492d8a3a2a48b703ce5c56a677b67337cbfc8cfa722f2eada7f93915ee8ef106574202c8fc WHIRLPOOL 1828e770765b900329b0680f9da2d7633bc75076212fc148cebce7d208f59f20185f07a873508dadd1e14f559551359ef02c35219d7eedeadc9422ef4685eba5
MISC metadata.xml 1806 SHA256 421b2a561d7853f7e1fe24347048417973d07415cf8960ab98141fe5f8da72ee SHA512 7717a3e172f56cdac0c6716e2c776578fc5e5ee35dad288c605d28034eca54049414e7450d9b2a7d17869f3cdd0da41f61e407c5cd52fef2f3fa225e3e99133f WHIRLPOOL 1cfe5761f0a78064efa29b98b5e0a957cc7eadd39c6ef1bc33d1fb07aa5ee5e4fe15227d2956ef8d765229c3c0c3d9a4edcd9fd4e1ee7ee3b3d564d74fe90dbf