| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-06-23 | gnu: coq-autosubst: Fix Coq 8.19 compatibility. | Jean-Pierre De Jesus DIAZ |
 |
index : guix | |
| GNU transactional package management, distribution, deployment, and more! | Daniel Rostovtsev |
| summaryrefslogtreecommitdiff |