A big thanks to Eelco Dolstra, who designed and implemented Nix.
Transposing functional programming discipline to package management
proved to be inspiring and fruitful.

Thanks to the following people who contributed to GNU Guix through
suggestions, bug reports, patches, internationalization, or general
infrastructure help:

	    Lluís Batlle i Rossell <viric@viric.name>
          Sylvain Beucler <beuc@beuc.net>
	   Carlos Carleos <carleos@uniovi.es>
	   Felipe Castro <fefcas@gmail.com>
	   Daniel Clark <dclark@pobox.com>
	Alexandru Cojocaru <xojoc@gmx.com>
	    Aleix Conchillo Flaqué <aconchillo@gmail.com>
          Malcolm Cook <MEC@stowers.org>
           Thomas Danckaert <thomas.danckaert@gmail.com>
	   Rafael Ferreira <rafael.f.f1@gmail.com>
	Christian Grothoff <christian@grothoff.org>
             Eric Hanchrow <eric.hanchrow@gmail.com>
           Konrad Hinsen <konrad.hinsen@fastmail.net>
          Brandon Invergo <brandon@gnu.org>
           Anders Jonsson <anders.jonsson@norsjovallen.se>
	  Jeffrin Jose <ahiliation@yahoo.co.in>
	          Kete <kete@ninthfloor.org>
           Daniel Kochmański <dkochmanski@hellsgate.pl>
	  Matthew Lien <bluet@bluet.org>
             Dave Love <fx@gnu.org>
            Chris Marusich <cmmarusich@gmail.com>
            Niels Möller <nisse@lysator.liu.se>
          Cyprien Nicolas <cyprien@nicolas.tf>
	   Yutaka Niibe <gniibe@fsij.org>
           Andrei Osipov <andrspv@gmail.com>
                  Petter <petter@mykolab.ch>
             Adam Pribyl <pribyl@lowlevel.cz>
            Pjotr Prins <pjotr.public12@thebird.nl>
  Yakkala Yagnesh Raghava <hi@yagnesh.org>
           Joshua Randall <jcrandall@alum.mit.edu>
      Bruno Félix Rezende Ribeiro <oitofelix@gnu.org>
	    Benno Schulenberg <coordinator@translationproject.org>
           Thomas Schwinge <thomas@codesourcery.com>
        Alexander Shendi <Alexander.Shendi@web.de>
	     Alen Skondro <askondro@gmail.com>
              Jan Synáček <jan.synacek@gmail.com>
	 Matthias Wachs <wachs@net.in.tum.de>
        Christine Lemmer-Webber <cwebber@dustycloud.org>
           Philip Woods <elzairthesorcerer@gmail.com>

GNU Guix also includes non-software works.  Thanks to the following
people who contributed the logo and general artwork and themes:

           Nikita Karetnikov <nikita@karetnikov.org>
           Felipe López <felipe.lopez@openmailbox.org>
49066e69227d103fb51d6211af942cdb97140'>idris.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/idris.scm?id=7e349066e69227d103fb51d6211af942cdb97140&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-03-09 16:01:18 +0100'>2020-03-09</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=17dea2e2798574d8bae4fc27a74cd694c6f9155c'>gnu: idris: Use HTTPS home page.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/idris.scm (idris)[home-page]: Use HTTPS.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-11-20 20:48:50 -0500'>2019-11-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=3594b6699d3043029f85fda2ccd82da1ae17e61b'>gnu: idris: Fix Cabal dependency constraints.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/idris.scm (idris): Add a phase that updates the Cabal
file to allow for newer versions of 'ansi-terminal'.
</span></span></td><td>Timothy Sample</td></tr>
<tr><td><span title='2019-11-20 20:48:22 -0500'>2019-11-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=03b0c92e2a75c73204791fa28858e0de21856c14'>gnu: ghc-megaparsec: Update to 7.0.5.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/haskell-xyz.scm (ghc-megaparsec): Update to 7.0.5.
[arguments]: Remove '#:cabal-revision'.
(ghc-megaparsec-7): Remove variable.
* gnu/packages/haskell-apps.scm (kmonad)[inputs]: Replace
'ghc-megaparsec-7' with 'ghc-megaparsec'.
* gnu/packages/idris.scm (idris)[inputs]: Likewise.
</span></span></td><td>Timothy Sample</td></tr>
<tr><td><span title='2019-11-20 20:48:20 -0500'>2019-11-20</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=d44732025e286fde4cba6b86d69b0968a3fe9c03'>gnu: ghc-network: Update to 2.8.0.1.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/haskell-xyz.scm (ghc-network): Update to 2.8.0.1.
(ghc-network-2.8): Remove variable.
* gnu/packages/idris.scm (idris)[inputs]: Replace 'ghc-network-2.8' with
'ghc-network'.
</span></span></td><td>Timothy Sample</td></tr>