summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat
AgeCommit message (Expand)Author
2023-02-06gentoo auto-resync : 06:02:2023 - 21:22:20V3n3RiX
2022-02-02gentoo resync : 02.02.2022V3n3RiX
2022-01-04gentoo resync : 04.01.2022V3n3RiX
2021-09-16gentoo resync : 16.09.2021V3n3RiX
2021-01-22gentoo resync : 22.01.2021V3n3RiX
2019-11-03gentoo resync : 03.11.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