search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

[opam] Enable install of beta OCaml versions. #78

Closed ejgallego closed 4 years ago