aboutsummaryrefslogtreecommitdiff
-*- mode: org; coding: utf-8; -*-

#+TITLE: Hacking GNU Guix and Its Incredible Distro

Copyright © 2012, 2013, 2014, 2016, 2017, 2019 Ludovic Courtès <ludo@gnu.org>
Copyright © 2015, 2017 Mathieu Lirzin <mthl@gnu.org>
Copyright © 2017 Leo Famulari <leo@famulari.name>
Copyright © 2017 Arun Isaac <arunisaac@systemreboot.net>

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

* Contributing

See the manual for useful hacking information, either by running

  info -f doc/guix.info "Contributing"

or by checking the [[https://guix.gnu.org/manual/devel/en/html_node/Contributing.html][web copy of the manual]].
1823be48774f06124c181db679f'>gnu: coq: Update to 8.15.2....Julien Lepiller 2022-05-01gnu: coq: Update to 8.15.1....Julien Lepiller 2022-02-11gnu: coq-stdpp: Update to 1.7.0....Julien Lepiller 2022-02-11gnu: coq-mathcomp: Update to 1.14.0....Julien Lepiller 2022-02-11gnu: coq: Update to 8.15.0....Julien Lepiller 2022-02-11gnu: coq-interval: Update to 4.4.0....Julien Lepiller 2022-02-11gnu: coq-bignums: Update to 8.15.0....Julien Lepiller 2022-02-11gnu: coq-gappa: Update to 1.5.1....Julien Lepiller 2022-02-11gnu: coq-flocq: Update to 4.0.0....Julien Lepiller 2021-12-22gnu: coq: Update to 8.14.1....Julien Lepiller 2021-12-13gnu: Simplify package inputs....Ludovic Courtès 2021-11-30gnu: coq: Update to 8.14.0....Julien Lepiller 2021-11-30gnu: proof-general: Update to latest commit....Julien Lepiller 2021-11-30gnu: coq-semantics: Update to 8.14.0....Julien Lepiller 2021-11-22gnu: proof-general: Adjust autoloads for Emacs....zimoun 2021-11-21gnu: coq-stdpp: Update to 1.6.0....Julien Lepiller 2021-11-21gnu: coq-interval: Update to 4.3.1....Julien Lepiller 2021-11-21gnu: coq-coquelicot: Update to 3.2.0....Julien Lepiller 2021-11-21gnu: coq-mathcomp: Update to 1.13.0....Julien Lepiller 2021-11-21gnu: coq-gappa: Update to 1.5.0....Julien Lepiller 2021-11-21gnu: coq-flocq: Update to 3.4.2....Julien Lepiller 2021-11-20gnu: coq-interval: Update home-page....Julien Lepiller 2021-11-20gnu: coq-gappa: Update home-page....Julien Lepiller 2021-11-20gnu: coq-flocq: Update home-page....Julien Lepiller 2021-11-18gnu: coq-stdpp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-equations: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-autosubst: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: Add coq-semantics....zimoun 2021-10-08gnu: coq: Add upstream-name....Julien Lepiller 2021-07-31gnu: coq: Update to 8.13.2....Julien Lepiller 2021-07-31gnu: coq-stdpp: Update to 1.5.0....Julien Lepiller