GNU Guix consists of Scheme code that implements the deployment model
of the Nix package management tool.  In fact, it currently talks to a
build daemon whose code comes from Nix (see the manual for details.)

Nix was initially written by Eelco Dolstra; other people have been
contributing to it.  See `nix/AUTHORS' for details.

The list of GNU Guix contributors is now generated from the output of
'git log' and written to this file, as can be seen in release tarballs.
img src='https://git.koszko.org/cgit-static/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/'>index</a> : <a href='/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='d42245d4014b2b51d7541fba370741f7c4e7b68f'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>refs</a><a class='active' href='/guix/log/gnu/packages/idris.scm'>log</a><a href='/guix/tree/gnu/packages/idris.scm?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>tree</a><a href='/guix/commit/gnu/packages/idris.scm?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>commit</a><a href='/guix/diff/gnu/packages/idris.scm?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/idris.scm'>
<input type='hidden' name='id' value='d42245d4014b2b51d7541fba370741f7c4e7b68f'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>root</a>/<a href='/guix/log/gnu?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>gnu</a>/<a href='/guix/log/gnu/packages?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>packages</a>/<a href='/guix/log/gnu/packages/idris.scm?id=d42245d4014b2b51d7541fba370741f7c4e7b68f'>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=d42245d4014b2b51d7541fba370741f7c4e7b68f&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-08-29 11:29:43 -0400'>2020-08-29</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=5aaa1995922285d53a97824f2b83bdb71ec9fdd0'>gnu: idris: Fix for Haskell build system changes.</a><span class='msg-avail'>...</span></td><td>Timothy Sample</td></tr>