]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d5e3c5) | patch
- work around stupid detection of lablgtk2
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 16 Feb 2009 13:06:42 +0000 (13:06 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit7b0a1b97a11f588b734f71421c3bed97ef0db0f7
treea21000a6eb30d73fef4b77649f348c3b8840c4c1tree | snapshot
parent1d5e3c5282bf22aa073cb550bed9e38e42512cfacommit | diff
- work around stupid detection of lablgtk2

Changed files:
    coq-lablgtk2.patch -> 1.1
coq-lablgtk2.patch [new file with mode: 0644] blob
The Coq Proof Assistant
This page took 0.053077 seconds and 4 git commands to generate.