]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72eff18) | patch
- updated to 8.3pl1
authorJan Rękorajski <baggins@pld-linux.org>
Thu, 7 Apr 2011 21:41:07 +0000 (21:41 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit1c1094bcafbacd90cd65d435d71b1b1dd2135d2e
tree21284653aa979d53ca1861839e1c3169dd2d2360tree | snapshot
parent72eff188e6812b6e9589a9d6b370664e39d42ab1commit | diff
- updated to 8.3pl1

Changed files:
    coq-lablgtk2.patch -> 1.2
coq-lablgtk2.patch diff | blob | blame | history
The Coq Proof Assistant
This page took 0.064898 seconds and 4 git commands to generate.