Overview
Request 956046 superseded
Needed for Coq. Newer version would need a newer ocaml-dune.
This is identical for openSUSE:Factory/ocaml-zarith expect for the relaxed version requirement for ocaml-rpm-macros.
- Created by aaronpuchert
- In state superseded
- Superseded by 957467
- Open review for openSUSE:Backports:SLE-15-SP4:Staging:adi:23
Request History
aaronpuchert created request
Needed for Coq. Newer version would need a newer ocaml-dune.
This is identical for openSUSE:Factory/ocaml-zarith expect for the relaxed version requirement for 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:23"
maxlin_factory accepted review
Picked "openSUSE:Backports:SLE-15-SP4:Staging:adi:23"
aaronpuchert superseded request
Let's take it from the devel repository instead.