| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-07-10 | testing/coq: upgrade to 8.17.1 | psykose |
| 2023-04-01 | testing/*: rebuild against ocaml | psykose |
| 2022-12-10 | testing/coq: upgrade to 8.16.1 | omni |
| 2022-11-08 | testing/coq: upgrade to 8.16.0 | omni |
| 2022-07-08 | testing/coq: upgrade to 8.15.2 | omni |
| 2022-04-12 | testing/coq: upgrade to 8.15.1 | omni |
| 2021-08-06 | testing/coq: upgrade to 8.13.2 | River Dillon |
| 2019-03-06 | testing/coq: new aport | alpine-mips-patches |
 |
index : aports | |
| Alpine packages build scripts | cos |
| summaryrefslogtreecommitdiff |