a8b744a066
* Put back library variants in development mode. * Fix a bug where dune install would install man pages to incorrect paths when compared to opam-installer. * Do not fail when a findlib directory doesn't exist. * Rename (coqlib ...) to (coq.theory ...). * Fix crash when calculating library dependency closure. * Fix .install files not being generated. OBS-URL: https://build.opensuse.org/package/show/devel:languages:ocaml/ocaml-dune?expand=0&rev=25 |
||
---|---|---|
_service | ||
.gitattributes | ||
.gitignore | ||
ocaml-dune-1.9.3.tar.xz | ||
ocaml-dune.changes | ||
ocaml-dune.spec |