- up to 8.62017-06-05T23:25:41ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2017-06-05T23:25:41Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=6b871b2b1dfb5663da37fc48e10b4b7a6da74b56
- up to 8.4pl32014-04-30T17:25:48ZJan Rękorajskibaggins@pld-linux.orgJan Rękorajskibaggins@pld-linux.org2014-04-30T17:25:48Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=650aa0b620c8ca80f44133d4dd3a7c9b51407325
- updated to 8.3pl12011-04-07T21:41:07ZJan Rękorajskibaggins@pld-linux.orgcvs2gitfeedback@pld-linux.org2011-04-07T21:41:07Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=1c1094bcafbacd90cd65d435d71b1b1dd2135d2e
- updated to 8.3pl1
Changed files:
coq-lablgtk2.patch -> 1.2
- work around stupid detection of lablgtk22009-02-16T13:06:42ZJan Rękorajskibaggins@pld-linux.orgcvs2gitfeedback@pld-linux.org2009-02-16T13:06:42Zhttp://git.pld-linux.org/?p=packages/coq.git;a=commitdiff;h=7b0a1b97a11f588b734f71421c3bed97ef0db0f7
- work around stupid detection of lablgtk2
Changed files:
coq-lablgtk2.patch -> 1.1