projects / packages / coq.git / search
| 2021-03-29 | Jan Rękorajski | - filter out autodeps on private interfaces |
commit | commitdiff | tree |
| 2021-03-28 | Jan Rękorajski | - no go on x32 |
commit | commitdiff | tree |
| 2021-03-28 | Jan Rękorajski | - up to 8.13.1 |
commit | commitdiff | tree |
| 2017-06-05 | Jan Rękorajski | - up to 8.6 |
commit | commitdiff | tree |
| 2017-06-05 | Jan Rękorajski | - rebuild with ocaml 4.04.1 |
commit | commitdiff | tree |
| 2016-03-21 | Jan Rękorajski | - release 2 (by relup.sh) |
commit | commitdiff | tree |
| 2015-07-25 | Jan Rękorajski | - rel 2 |
commit | commitdiff | tree |
| 2015-07-25 | Jan Rękorajski | - updated BRs and files |
commit | commitdiff | tree |
| 2015-07-25 | Jan Rękorajski | - add ocaml_opt bcond |
commit | commitdiff | tree |
| 2014-11-16 | Jan Rękorajski | - up to 8.4pl5 |
commit | commitdiff | tree |
| 2014-11-16 | Jan Rękorajski | - rebuild with ocaml 4.02 |
commit | commitdiff | tree |
| 2014-04-30 | Jan Rękorajski | - up to 8.4pl3 |
commit | commitdiff | tree |
| 2013-05-14 | Jan Rękorajski | - rel 2 |
commit | commitdiff | tree |