summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo/files/alt-ergo-2.4.3-dune.patch
AgeCommit message (Expand)Author
2023-06-04gentoo auto-resync : 04:06:2023 - 15:34:41V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 20:04:51 +0000