]> git.pld-linux.org Git - packages/coq.git/commitdiff
projects / packages / coq.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1993b99)
- 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)
- release 3 (by relup.sh)


No differences found
The Coq Proof Assistant
This page took 0.109385 seconds and 4 git commands to generate.