This request supersedes:
request 956046
(Show diff)
Overview
Request 957467 accepted
Needed for Coq. Newer version would need a newer ocaml-dune.
- Created by aaronpuchert
- In state accepted
- Supersedes 956046
Loading...
Request History
aaronpuchert created request
Needed for Coq. Newer version would need a newer ocaml-dune.
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"
olh accepted review
maxlin_factory accepted review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.
maxlin_factory approved review
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.
maxlin_factory accepted request
Staging Project openSUSE:Backports:SLE-15-SP4:Staging:adi:23 got accepted.
@andisugandi, @olh: review reminder