]>
2021-03-28 | Jan Rękorajski | - up to 8.13.1 | blob | commitdiff | raw |
2017-06-05 | Jan Rękorajski | - up to 8.6 auto/th/coq-8.6-1 | blob | commitdiff | raw |
2014-04-30 | Jan Rękorajski | - up to 8.4pl3 auto/th/coq-8.4pl3-1 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - updated to 8.3pl1 | blob | commitdiff | raw | diff to current |
2012-06-24 | Jan Rękorajski | - work around stupid detection of lablgtk2 | blob | commitdiff | raw | diff to current |