search

coq / coq-bench

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

[opam] Update ocaml-pr-repos to our own git repos #79

Closed ejgallego closed 4 years ago

ejgallego commented 4 years ago

The OCaml PR repository has been abandoned for a while, update the pointer in the bench to our own private copy.

gares commented 4 years ago

I think you should put this repo inside the Coq org.

ejgallego commented 4 years ago

I think you should put this repo inside the Coq org.

Not sure it is worth to pollute the namespace, we needed this like 1 time in 3 years; better wait for upstream to resurrect it.