summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Expand)Author
2024-03-19eval opam env in build for yayBenjamin Voisin
2024-03-19Fix opam switch managment to work with yayBenjamin Voisin
2024-03-18initialize squirrel-prover-bin packageBenjamin Voisin