Christian Goll
928f86c4f8
- 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
2 lines
5 B
Plaintext
2 lines
5 B
Plaintext
.osc
|