;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014, 2015 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu artwork)
  #:use-module (guix packages)
  #:use-module (guix git-download)
  #:export (%artwork-repository))

;;; Commentary:
;;;
;;; Common place for the definition of the Guix artwork repository.
;;;
;;; Code:

(define %artwork-repository
  (origin
    (method git-fetch)
    (uri (git-reference
          (url "git://git.savannah.gnu.org/guix/guix-artwork.git")
          (commit "6998d30")))
    (sha256
     (base32
      "0k7j3pj9s3zqiqmfkapypssvzx3f12yr0cc2rbzxqfii0b4clp1j"))))

;;; artwork.scm ends here
1c9f2578be7bbde36ed7ce7'>tree</a><a href='/guix/commit/gnu/packages/idris.scm?id=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>commit</a><a href='/guix/diff/gnu/packages/idris.scm?id=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/idris.scm'>
<input type='hidden' name='id' value='f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'/><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=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>root</a>/<a href='/guix/log/gnu?id=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>gnu</a>/<a href='/guix/log/gnu/packages?id=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>packages</a>/<a href='/guix/log/gnu/packages/idris.scm?id=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7'>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=f58764d8ed633a8ad1c9f2578be7bbde36ed7ce7&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2017-11-13 18:12:37 +0100'>2017-11-13</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=44b7374a220caf73e398f156e08887250214cbeb'>gnu: Move web packages from haskell to haskell-web.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2017-11-13 18:12:27 +0100'>2017-11-13</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=a06b9b50075a78f846093f86da85d5806b36fbf7'>gnu: Move testing packages from haskell to haskell-check.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2017-04-15 19:46:40 +0200'>2017-04-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=178670c9ebf4c4037510aab96cfb7e4f55586331'>gnu: idris: Fix idris-default-arguments.</a><span class='msg-avail'>...</span></td><td>Peter Mikkelsen</td></tr>
<tr><td><span title='2017-04-15 19:46:40 +0200'>2017-04-15</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=b74f224744361a08cce36bb74460ef41db3eb27d'>gnu: idris: Update to 1.0.</a><span class='msg-avail'>...</span></td><td>Peter Mikkelsen</td></tr>
<tr><td><span title='2017-03-23 12:59:03 +0100'>2017-03-23</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=c53af0016e283ef642ac43ccc2ee5d650f06a888'>gnu: idris: Update to 0.99.1.</a><span class='msg-avail'>...</span></td><td>Peter Mikkelsen</td></tr>
<tr><td><span title='2017-01-04 12:11:14 +0100'>2017-01-04</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=3254e1aba9ce3925a4e0b24c647240f96b5de8d4'>gnu: Add idris-lens.</a><span class='msg-avail'>...</span></td><td>David Craven</td></tr>
<tr><td><span title='2017-01-04 12:11:14 +0100'>2017-01-04</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=5a16d828b3bd0c458f6604fc4e0d7876377ff12c'>gnu: Add idris-bifunctors.</a><span class='msg-avail'>...</span></td><td>David Craven</td></tr>
<tr><td><span title='2017-01-04 12:11:14 +0100'>2017-01-04</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=4e17fff386070ca39960da7a4b8d2445ccc874ba'>gnu: Add idris-wl-pprint.</a><span class='msg-avail'>...</span></td><td>David Craven</td></tr>
<tr><td><span title='2017-01-04 12:11:14 +0100'>2017-01-04</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=ea3b38f1e14296a421d9df8d6c11c894d631b373'>gnu: Add idris-lightyear.</a><span class='msg-avail'>...</span></td><td>David Craven</td></tr>
<tr><td><span title='2017-01-04 11:51:36 +0100'>2017-01-04</span></td><td><a href='/guix/commit/gnu/packages/idris.scm?id=ae482ce12d19f7d8d58677a8c56c9581fa1c50fc'>gnu: idris: Move to (gnu packages idris).</a><span class='msg-avail'>...</span></td><td>David Craven</td></tr>