This request is superseded by
request 828815
(Show diff)
Overview
Request 828693 superseded
- Package also *.v, for Coq
- Package changelog files
- Created by olh
- In state superseded
- Superseded by 828815
-
Open review for
opensuse-review-team
- Open review for openSUSE:Factory:Staging:B
Loading...
Login required, please
login
in order to comment
Request History
olh created request
- Package also *.v, for Coq
- Package changelog files
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar_suse set openSUSE:Factory:Staging:B as a staging project
Being evaluated by staging project "openSUSE:Factory:Staging:B"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:B"
superseded by 828815
