There was a problem fetching the pipeline summary.
Do not generate the opam file with aosis2opam anymore
Showing
- .gitlab-ci.yml 2 additions, 1 deletion.gitlab-ci.yml
- Makefile.dev 17 additions, 1 deletionMakefile.dev
- _oasis 1 addition, 1 deletion_oasis
- doc/version.tex 3 additions, 3 deletionsdoc/version.tex
- opam 29 additions, 0 deletionsopam
- setup.ml 5 additions, 4 deletionssetup.ml
- src/META 2 additions, 2 deletionssrc/META
- src/lutilsVersion.ml 2 additions, 2 deletionssrc/lutilsVersion.ml
Loading
Please register or sign in to comment