This website requires JavaScript.
Explore
Help
Sign In
rpm
/
coq
SHA256
Watch
1
Star
0
Fork
0
You've already forked coq
forked from
pool/coq
Code
Pull Requests
Activity
4e1d685c4c
coq
/
.gitignore
2 lines
5 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Accepting request 733035 from home:aaronpuchert - Initial release based on version 8.9.1. OBS-URL: https://build.opensuse.org/request/show/733035 OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=1
2019-09-25 11:10:33 +02:00
.osc
Copy Permalink