summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9/prover9-2009.11a.ebuild
AgeCommit message (Expand)Author
2021-04-28gentoo resync : 28.04.2021V3n3RiX
2020-02-29gentoo (leap year) resync : 29.02.2020V3n3RiX
2020-01-15gentoo resync : 15.01.2020V3n3RiX
2019-05-04gentoo resync : 04.05.2019V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-12 16:01:59 +0000