summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
AgeCommit message (Expand)Author
2023-10-01gentoo auto-resync : 01:10:2023 - 17:44:07V3n3RiX
2022-11-20gentoo auto-resync : 20:11:2022 - 01:01:31V3n3RiX