Overview
Request 703289 accepted
- Update to version 1.9.3:
* 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.
- Created by onthewings
- In state accepted
Request History
onthewings created request
- Update to version 1.9.3:
* 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.
licensedigger accepted review
ok
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:115"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:115
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dimstar accepted review
dimstar_suse accepted review
ready to accept
dimstar_suse approved review
ready to accept
dimstar_suse accepted request
Accept to openSUSE:Factory