HCoop / jackhill / guix / guix.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnu: Add coq-mathcomp-bigenough.
2022-09-24 Garek Dyszelgnu: Add coq-mathcomp-bigenough.
 commit | commitdiff | tree
2022-09-24 Garek Dyszelgnu: Add coq-mathcomp-finmap.
 commit | commitdiff | tree
2022-09-24 Garek Dyszelgnu: Add ocaml-ansiterminal.
 commit | commitdiff | tree
jackhill's copy of GNU Guix: https://guix.gnu.org/