summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-flags.patch
AgeCommit message (Expand)Author
2021-07-03gentoo resync : 03.07.2021V3n3RiX
2021-06-15gentoo resync : 15.06.2021V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-10 04:16:44 +0000