;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2014 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 (guix))

;; The composite module that re-exports everything from the public modules.

(eval-when (eval load compile)
  (begin
    (define %public-modules
      '(base32
        build-system
        derivations
        download
        ftp-client
        gexp
        monads
        monad-repl
        packages
        store
        utils))

    (for-each (let ((i (module-public-interface (current-module))))
                (lambda (m)
                  (module-use! i (resolve-interface `(guix ,m)))))
              %public-modules)))
49e32b'>tree</a><a href='/guix/commit/gnu/packages/coq.scm?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>commit</a><a href='/guix/diff/gnu/packages/coq.scm?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/coq.scm'>
<input type='hidden' name='id' value='bca0b66424d1372a78d7e44a33db1a3b0749e32b'/><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=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>root</a>/<a href='/guix/log/gnu?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>gnu</a>/<a href='/guix/log/gnu/packages?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>packages</a>/<a href='/guix/log/gnu/packages/coq.scm?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b'>coq.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/coq.scm?id=bca0b66424d1372a78d7e44a33db1a3b0749e32b&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-03-04 20:58:57 +0100'>2019-03-04</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=3d03fed47fc9a9af784a026a8ac76418f609b639'>gnu: coq-coquelicot: Update to 3.0.2.</a><span class='msg-avail'>...</span></td><td>Dan Frumin</td></tr>
<tr><td><span title='2019-03-01 21:52:59 +0100'>2019-03-01</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=0b611996b9c41e7c33d30260bbce744a9141d999'>gnu: coq-flocq: Update to 3.1.0.</a><span class='msg-avail'>...</span></td><td>Dan Frumin</td></tr>
<tr><td><span title='2019-02-13 22:21:41 +0100'>2019-02-13</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=ec23bae682ab144179fad8d5ed6c2545d85384ad'>gnu: Add coq-equations.</a><span class='msg-avail'>...</span></td><td>Dan Frumin</td></tr>
<tr><td><span title='2019-02-13 05:42:58 +0100'>2019-02-13</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=aaa2add87111051b01159aa2e46dd7f55b28edb6'>gnu: coq-mathcomp: Don't use unstable tarball.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-02-13 05:42:57 +0100'>2019-02-13</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0'>gnu: coq: Don't use unstable tarball.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2019-02-07 22:30:32 +0100'>2019-02-07</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=7d60df330aa165982abd31c8483651788fdf49b9'>gnu: Add coq-autosubst</a><span class='msg-avail'>...</span></td><td>Dan Frumin</td></tr>
<tr><td><span title='2019-01-25 13:21:19 +0100'>2019-01-25</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=7492af9be7ba33d94f5784b9eaf3ebeea487e64a'>gnu: coq-interval: Use INVOKE.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-01-25 13:21:19 +0100'>2019-01-25</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=e09e83880f0ad1901011ae516db59495fe582caa'>gnu: coq-coquelicot: Use INVOKE.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-01-25 13:21:18 +0100'>2019-01-25</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=492ee4f83bbb803e0135cc42d8a0d80d5e1787ad'>gnu: coq-mathcomp: Use INVOKE.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-01-25 13:21:18 +0100'>2019-01-25</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=ace73a93cdb70e2d470387516f22465d170c2d14'>gnu: coq-gappa: Use INVOKE.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-01-25 13:21:18 +0100'>2019-01-25</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=a48d6acc23f426ca70e190e717a20cdb21df297f'>gnu: proof-general: Use INVOKE.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-01-07 22:05:37 +0100'>2019-01-07</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=33af92dd99c9f2c726c32f81936931c69d719eb9'>gnu: Move coq packages from ocaml to coq.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>