]> git.pld-linux.org Git - packages/coq.git/commit - coq.spec
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e56eeb) | patch
- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200)
commit1993b991f3f5a80b24e7144dd64beb40cedf9f90
treefb4b1843fc488b8c36c5a5986e010ccdfc21ea48tree | snapshot
parent0e56eeba5b014349b78f5e146823c1d9e049c4e1commit | diff
- rebuild with ocaml 4.04.1
- release 3 (by relup.sh)
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.088138 seconds and 4 git commands to generate.