]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10fd38a) | patch
- updated to 8.15.0
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 14:49:51 +0000 (15:49 +0100)
committerJakub Bogusz <qboosh@pld-linux.org>
Sat, 29 Jan 2022 14:49:51 +0000 (15:49 +0100)
commit672cbc20ebffc4f61631aee96158d814bbeb829b
tree2804830fcd0865685c044fdbdaf862fd65950bd3tree | snapshot
parent10fd38a7b035fe4eaa1e0d17344bf2418fdf0642commit | diff
- updated to 8.15.0
- added dune-prefix patch (install ocaml modules in standard ocaml dir, not directly in /usr/lib*)
- package ocaml modules in standard ocaml-coq* packages
coq-dune-prefix.patch [new file with mode: 0644] blob
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.054928 seconds and 4 git commands to generate.