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]].
c97854b11466008ee68c0bfe372ac69ab1b'>gnu: coq-core: Update to 8.16.1....Julien Lepiller 2022-10-23gnu: Fix typos....Vagrant Cascadian 2022-09-24gnu: Add coq-mathcomp-bigenough....Garek Dyszel 2022-09-24gnu: Add coq-mathcomp-finmap....Garek Dyszel 2022-09-22gnu: coq: Update to 8.16.0....Julien Lepiller 2022-09-22gnu: coq-interval: Update to 4.5.2....Julien Lepiller 2022-09-22gnu: coq-mathcomp: Update to 1.15.0....Julien Lepiller 2022-09-22gnu: coq-gappa: Update to 1.5.2....Julien Lepiller 2022-09-22gnu: coq-flocq: Update to 4.1.0....Julien Lepiller 2022-09-22gnu: lablgtk3: Update to 3.1.2....Julien Lepiller 2022-08-13gnu: dune: Update to 4.4.1....Julien Lepiller 2022-06-18gnu: coq: Update to 8.15.2....Julien Lepiller 2022-05-01gnu: coq: Update to 8.15.1....Julien Lepiller