summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9/Manifest
blob: 1a772ecb92aaa76ce4a0acff59f7b20f2099d1c9 (plain)
1
2
3
4
5
AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc06c32f2f45cdd32327896147435d3f730b464189ee1766a1c162a90cd730d917d8b29c3c241a94d65a3fc5833f3bbca1 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c
DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1
DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7
EBUILD prover9-2009.11a.ebuild 2501 BLAKE2B 55ab63fa76e365177fecd80a37926b8ba573242d2d5d43960a3e1a016c0dad725202bde4062ddedccb6154f807d94f86213de6769fdde478ecfbf6c7725ee284 SHA512 9fcd42d72dbb823fd2a71064416fb7d5565c2104aaf78274d3986b605e5182ff5bc09f706191c5441d64392e7de6ae779d33afcb2ca7df6d5476cbcdd01724f0
MISC metadata.xml 643 BLAKE2B cdef536d25ca7d2ba991037e4423c21bde719ae18976367e5e8d232d3f4d83f46b10c135f5f0f6986ba8d1756eee5cc85e78dfc4a4b81204945a7268a6ed899a SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078