rpm/coq
SHA256
1
0
Fork 0
forked from pool/coq
Code Pull Requests Activity
29 Commits 2 Branches 0 Tags 233 KiB
XML 100%
8afc5fda0d
Go to file
Dominique Leuenberger 8afc5fda0d Accepting request 875244 from science 
- Update to version 8.13.1.
  * Fix arities of VM opcodes for some floating-point operations
    that could cause memory corruption.

OBS-URL: https://build.opensuse.org/request/show/875244
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/coq?expand=0&rev=10
2021-02-26 20:59:54 +00:00
_constraints Accepting request 828043 from home:marxin:memory-constraint 2020-08-20 12:25:06 +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.13.1.tar.gz - Update to version 8.13.1. 2021-02-25 23:36:41 +00:00
coq-rpmlintrc Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.changes - Update to version 8.13.1. 2021-02-25 23:36:41 +00:00
coq.desktop Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00
coq.spec - Update to version 8.13.1. 2021-02-25 23:36:41 +00:00
coq.xml Accepting request 733035 from home:aaronpuchert 2019-09-25 09:10:33 +00:00