HCoop / jackhill / guix / guix.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnu: coq-stdpp: Update to 1.4.0.
2020-09-08 Robin Greengnu: coq-stdpp: Update to 1.4.0.
 commit | commitdiff | tree
2020-09-07 Robin Greengnu: coq-equations: Update 1.2.1-8.10-2.
 commit | commitdiff | tree
2020-07-27 Robin Greenservices: auditd: Provide default configuration directory.
 commit | commitdiff | tree
jackhill's copy of GNU Guix: https://guix.gnu.org/