rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
18 Commits 2 Branches 0 Tags 233 KiB
XML 100%
b413004247
Go to file
Dominique Leuenberger b413004247 Accepting request 812064 from science 
- Update to version 8.11.2.
  * Fixed a kernel issue where using Require inside a section
    caused an anomaly when closing the section.
  * Fixed normalization in conclusion of custom induction scheme.
  * Fixed a loss of location of some tactic errors.
  * Ignore -native-compiler option when built without native
    compute support.
  * Fixed a segfault issue with CoqIDE completion.
  * Highlighting style is now consistently applied to all three
    buffers of CoqIDE.

OBS-URL: https://build.opensuse.org/request/show/812064
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=5
2020-06-07 19:37:49 +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.2.tar.gz - Update to version 8.11.2. 2020-06-06 12:12:35 +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.2. 2020-06-06 12:12:35 +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.2. 2020-06-06 12:12:35 +00:00
coq.xml Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00