Overview
Request 745029 superseded
- Initial release based on version 8.9.1.
- Created by aaronpuchert
- In state superseded
- Superseded by 747961
-
Open review for
licensedigger
Request History
aaronpuchert created request
- Initial release based on version 8.9.1.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
staging-bot added openSUSE:Factory:Staging:adi:63 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:63"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:63
namtrac accepted review
dimstar declined review
[ 61s] + ./configure -bindir /usr/bin -libdir /usr/lib64/coq -mandir /usr/share/man -datadir /usr/share/coq -docdir /usr/share/doc/packages/coq -configdir /etc/xdg/coq -coqdocdir /usr/share/texmf/tex/latex/misc -native-compiler yes -natdynlink yes -browser 'xdg-open %s'
[ 62s] ocamlfind: Package `findlib' not found
[ 62s] Error while running '/usr/bin/ocamlfind query findlib -format %v' (exit code 2)
[ 62s] Configuration script failed!
[ 62s] error: Bad exit status from /var/tmp/rpm-tmp.e2mnl2 (%build)
dimstar declined request
[ 61s] + ./configure -bindir /usr/bin -libdir /usr/lib64/coq -mandir /usr/share/man -datadir /usr/share/coq -docdir /usr/share/doc/packages/coq -configdir /etc/xdg/coq -coqdocdir /usr/share/texmf/tex/latex/misc -native-compiler yes -natdynlink yes -browser 'xdg-open %s'
[ 62s] ocamlfind: Package `findlib' not found
[ 62s] Error while running '/usr/bin/ocamlfind query findlib -format %v' (exit code 2)
[ 62s] Configuration script failed!
[ 62s] error: Bad exit status from /var/tmp/rpm-tmp.e2mnl2 (%build)
This can be seen as an update to sr#733251.