2 Commits

Author	SHA256	Message	Date
Aaron Puchert	f595c547f2	OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=34	2021-10-20 23:30:38 +00:00
Christian Goll	928f86c4f8	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 09:10:33 +00:00