Accepting request 747961 from science
- Initial release based on version 8.9.1. OBS-URL: https://build.opensuse.org/request/show/747961 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=1
This commit is contained in:
parent
f2a34ee4a1
commit
cac1a7f4c9