Age | Commit message (Expand) | Author |
---|---|---|
2024-02-08 | gnu: coq: Update to 8.17.1. | pukkamustard |
2022-02-11 | gnu: coq: Update to 8.15.0. | Julien Lepiller |
2021-11-30 | gnu: coq: Update to 8.14.0. | Julien Lepiller |
![]() |
index : guix.git | |
Mirror of the official guix repository | Vivien |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2024-02-08 | gnu: coq: Update to 8.17.1. | pukkamustard |
2022-02-11 | gnu: coq: Update to 8.15.0. | Julien Lepiller |
2021-11-30 | gnu: coq: Update to 8.14.0. | Julien Lepiller |