Overview
Request 956045 accepted
Needed for Coq. Newer version would need a newer ocaml-rpm-macros.
- Created by aaronpuchert
- In state accepted
Loading...
Login required, please
login
in order to comment
Request History
aaronpuchert created request
Needed for Coq. Newer version would need a newer ocaml-rpm-macros.
licensedigger accepted review
ok
maxlin_factory added as a reviewer
Being evaluated by staging project "openSUSE:Backports:SLE-15-SP4:Staging:adi:26"
maxlin_factory accepted review
Picked "openSUSE:Backports:SLE-15-SP4:Staging:adi:26"
maxlin_factory accepted review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:26 got accepted.
maxlin_factory approved review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:26 got accepted.
maxlin_factory accepted request
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:26 got accepted.
