rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
16 Commits 2 Branches 0 Tags 233 KiB
XML 100%
7aa2118d49
Go to file
Dominique Leuenberger 7aa2118d49 Accepting request 792575 from science 
- Update to version 8.11.1, with upstream support for OCaml 4.10.
  * Allow more inductive types in Unset Positivity Checking mode.
  * Fixed bugs in dealing with precedence of notations in custom
    entries.
  * In primitive floats, print a warning when parsing a decimal
    value that is not exactly a binary64 floating-point number.
    For instance, parsing 0.1 will print a warning whereas parsing
    0.5 won't.
  * Fixed an issue in CoqIDE about compiling file paths containing
    spaces.
  * Fixed an issue where Extraction Implicit on the constructor of
    a record was leading to an anomaly.
- Remove now obsolete ocaml-410-build.patch.

OBS-URL: https://build.opensuse.org/request/show/792575
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=4
2020-04-09 21:17:16 +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.1.tar.gz - Update to version 8.11.1, with upstream support for OCaml 4.10. 2020-04-08 23:19:34 +00:00
coq-rpmlintrc Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.changes - Update to version 8.11.1, with upstream support for OCaml 4.10. 2020-04-08 23:19:34 +00:00
coq.desktop Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.spec - Update to version 8.11.1, with upstream support for OCaml 4.10. 2020-04-08 23:19:34 +00:00
coq.xml Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00