summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9
AgeCommit message (Expand)Author
2024-02-14gentoo auto-resync : 14:02:2024 - 17:36:28V3n3RiX
2024-02-14gentoo auto-resync : 14:02:2024 - 11:36:23V3n3RiX
2022-10-20gentoo auto-resync : 20:10:2022 - 07:59:49V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
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-12-15gentoo resync : 15.12.2017V3n3RiX
2017-11-26gentoo resync : 26.11.2017V3n3RiX
2017-10-09reinit the tree, so we can have metadataV3n3RiX