2020-09-13 | Robin Green | gnu: Update coq and its dependents |
commit | commitdiff | tree |
2020-09-08 | Robin Green | gnu: coq-stdpp: Update to 1.4.0. |
commit | commitdiff | tree |
2020-09-07 | Robin Green | gnu: coq-equations: Update 1.2.1-8.10-2. |
commit | commitdiff | tree |
2020-07-27 | Robin Green | services: auditd: Provide default configuration directory. |
commit | commitdiff | tree |