/nix/

ption value='koszko-scripts'>koszko-scripts Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
Cournoyer
AgeCommit message (Expand)Author
2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès
2023-12-22images: Add orangepi-r1-plus-lts image....Herman Rimm
2023-12-02gnu: Use ‘libc-utf8-locales-for-target’....Janneke Nieuwenhuizen
2023-09-17gnu: file-systems: Add variable %base-live-file-systems....Nicolas Graves