Overview
Request 956044 superseded
Needed for Coq. This is identical to the version in Factory except for relaxing the required version of ocaml-rpm-macros. (This doesn't seem to be an actual requirement, but updated with every release.)
- Created by aaronpuchert
- In state superseded
- Superseded by 957466
- Open review for openSUSE:Backports:SLE-15-SP4:Staging:adi:23
Request History
aaronpuchert created request
Needed for Coq. This is identical to the version in Factory except for relaxing the required version of ocaml-rpm-macros. (This doesn't seem to be an actual requirement, but updated with every release.)
licensedigger accepted review
ok
maxlin_factory added as a reviewer
Being evaluated by staging project "openSUSE:Backports:SLE-15-SP4:Staging:adi:23"
maxlin_factory accepted review
Picked "openSUSE:Backports:SLE-15-SP4:Staging:adi:23"
aaronpuchert superseded request
Let's take an older version from Factory instead.
Depends on sr#956043.