aboutsummaryrefslogtreecommitdiff
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2014, 2021, 2022 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)
  #:use-module (guix packages)
  #:re-export-and-replace (define-public))        ;from (guix packages)

;; 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
        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)))
41:35 +0200'>2019-05-04gnu: coq-mathcomp: Update to 1.8.0....Julien Lepiller 2019-05-04gnu: coq-gappa: Update to 1.3.4....Julien Lepiller 2019-05-04gnu: coq: Update to 8.9.0....Julien Lepiller 2019-03-19gnu: coq-flocq: remove unnecessary return values...Dan Frumin 2019-03-04gnu: coq-coquelicot: Update to 3.0.2....Dan Frumin 2019-03-01gnu: coq-flocq: Update to 3.1.0....Dan Frumin 2019-02-13gnu: Add coq-equations....Dan Frumin 2019-02-13gnu: coq-mathcomp: Don't use unstable tarball....Tobias Geerinckx-Rice 2019-02-13gnu: coq: Don't use unstable tarball....Tobias Geerinckx-Rice 2019-02-07gnu: Add coq-autosubst...Dan Frumin 2019-01-25gnu: coq-interval: Use INVOKE....Ricardo Wurmus 2019-01-25gnu: coq-coquelicot: Use INVOKE....Ricardo Wurmus 2019-01-25gnu: coq-mathcomp: Use INVOKE....Ricardo Wurmus 2019-01-25gnu: coq-gappa: Use INVOKE....Ricardo Wurmus 2019-01-25gnu: proof-general: Use INVOKE....Ricardo Wurmus 2019-01-07gnu: Move coq packages from ocaml to coq....Julien Lepiller