Cannot build from OPAM from extra-dev
Hi,
I am using PROSA for my development at: https://github.com/Oqarina/oqarina It relies on this opam file: https://coq.inria.fr/opam/extra-dev/packages/coq-prosa/coq-prosa.dev/opam
which seems no longer in sync with the current master, create_makefile.sh
has been removed.
Can you please update the master opam file in extra-dev? Thanks