rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
42 Commits 2 Branches 0 Tags 233 KiB
XML 100%
018f3b6c32
Go to file
Dominique Leuenberger 018f3b6c32 Accepting request 964734 from science 
- Update to version 8.15.1.
  * Fixes an inconsistency when using module subtyping with
    inductive types.
  * Speeds up CoqIDE on large files.
  * Fixes a bug where `coqc -vok` was not creating a .vok file.
  * Fixes a regression in `cbn`.
  * Improves usability of schemes with `elim foo using scheme with
    (P0 := ...)` (the `P0` name was not accessible in 8.15.0).

OBS-URL: https://build.opensuse.org/request/show/964734
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=16
2022-03-25 20:54:34 +00:00
_constraints OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=34 2021-10-20 23:30:38 +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.15.1.tar.gz - Update to version 8.15.1. 2022-03-24 22:47:19 +00:00
coq-refman-8.15.1.tar.xz - Update to version 8.15.1. 2022-03-24 22:47:19 +00:00
coq-rpmlintrc OBS-URL: https://build.opensuse.org/package/show/science/coq?expand=0&rev=34 2021-10-20 23:30:38 +00:00
coq-stdlib-8.15.1.tar.xz - Update to version 8.15.1. 2022-03-24 22:47:19 +00:00
coq.changes - Update to version 8.15.1. 2022-03-24 22:47:19 +00:00
coq.desktop Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.spec - Update to version 8.15.1. 2022-03-24 22:47:19 +00:00
coq.xml Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00