Aaron Puchert 504ea95368 - The num library is required for OCaml 4.06 or later. ... - Add ocaml-410-build.patch: fix build with OCaml 4.10. OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=11		2020-03-29 22:08:07 +00:00
.gitattributes	Accepting request 733035 from home:aaronpuchert	2019-09-25 09:10:33 +00:00
.gitignore	Accepting request 733035 from home:aaronpuchert	2019-09-25 09:10:33 +00:00
coq-8.11.0.tar.gz	Accepting request 774600 from home:aaronpuchert	2020-02-15 19:32:26 +00:00
coq-rpmlintrc	Accepting request 733035 from home:aaronpuchert	2019-09-25 09:10:33 +00:00
coq.changes	- The num library is required for OCaml 4.06 or later.	2020-03-29 22:08:07 +00:00
coq.desktop	Accepting request 733035 from home:aaronpuchert	2019-09-25 09:10:33 +00:00
coq.spec	- The num library is required for OCaml 4.06 or later.	2020-03-29 22:08:07 +00:00
coq.xml	Accepting request 733035 from home:aaronpuchert	2019-09-25 09:10:33 +00:00
ocaml-410-build.patch	- The num library is required for OCaml 4.06 or later.	2020-03-29 22:08:07 +00:00