Overview
Request 1061434 accepted
- Build with ocaml-rpm-macros to get proper Requires and Provides
for coq-devel. This should prevent incompatibilities with other
Ocaml libraries when building native objects against coq-devel.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Build with ocaml-rpm-macros to get proper Requires and Provides
for coq-devel. This should prevent incompatibilities with other
Ocaml libraries when building native objects against coq-devel.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:25"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:25"
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:25 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:25 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:25 got accepted.
