projects / packages / coq.git / search
| 2022-01-29 | Jakub Bogusz | - fixed sse2 bcond |
commit | commitdiff | tree |
| 2022-01-29 | Jakub Bogusz | - updated to 8.15.0 |
commit | commitdiff | tree |
| 2022-01-22 | Jakub Bogusz | - updated dependencies, added doc and sse2 bconds |
commit | commitdiff | tree |
| 2021-03-28 | Jakub Bogusz | - arm is a macro containing actual arm subarchs |
commit | commitdiff | tree |
| 2015-07-27 | Jakub Bogusz | - updated to 8.4pl6 |
commit | commitdiff | tree |
| 2012-06-24 | Jakub Bogusz | - pl, missing dirs |
commit | commitdiff | tree |