]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 374d547) | patch
outdated
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 16 Feb 2009 13:06:10 +0000 (13:06 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit1d5e3c5282bf22aa073cb550bed9e38e42512cfa
tree02cece9cbfd5a1dd199d3af53ad345dbe199224ctree | snapshot
parent374d5475e3bd1e9c5c6410f33db30cedb5ee2518commit | diff
outdated

Changed files:
    coq-lablgtk26.patch -> 1.2
coq-lablgtk26.patch [deleted file] blob | blame | history
The Coq Proof Assistant
This page took 0.049033 seconds and 4 git commands to generate.