]> git.pld-linux.org Git - packages/coq.git/commit - coq-lablgtk2.patch
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f449971) | patch
- up to 8.4pl3 auto/th/coq-8.4pl3-1
authorJan Rękorajski <baggins@pld-linux.org>
Wed, 30 Apr 2014 17:25:48 +0000 (19:25 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Wed, 30 Apr 2014 17:25:48 +0000 (19:25 +0200)
commit650aa0b620c8ca80f44133d4dd3a7c9b51407325
treeed7d8cefee37b005020f6a7ef39737250dbe2010tree | snapshot
parentf44997140d3a699a3b97b1ec3b0c24795728488ccommit | diff
- up to 8.4pl3
coq-lablgtk2.patch diff | blob | blame | history
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.060655 seconds and 4 git commands to generate.