Overview
Request 863729 superseded
- Initial version 1.11, needed for Coq 8.13.0.
- Created by aaronpuchert
- In state superseded
- Superseded by 864179
- Open review for devel:languages:ocaml / ocaml-zarith
- Open review for licensedigger
- Open review for opensuse-review-team
- Open review for factory-staging
Request History
aaronpuchert created request
- Initial version 1.11, needed for Coq 8.13.0.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dimstar_suse added openSUSE:Factory:Staging:adi:46 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:46"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:46"
olh declined review
A newer ocaml-rpm-macros is required, otherwise other packages will be unable to obtain the package version from the findlib META files. I have updated ocaml-zarith already, just resubmit.
olh declined request
A newer ocaml-rpm-macros is required, otherwise other packages will be unable to obtain the package version from the findlib META files. I have updated ocaml-zarith already, just resubmit.
dimstar_suse reopened request
Reopened via staging workflow.
dimstar_suse added factory-staging as a reviewer
Being evaluated by group "factory-staging"
dimstar_suse accepted review
Unstaged from project "openSUSE:Factory:Staging:adi:46"
dimstar_suse declined request
Declined via staging workflow.