| Commit message (Collapse) | Author | Age |
|
|
|
| |
* gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page.
|
|
|
|
|
|
| |
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.3.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-gappa)[home-page]: Use HTTPS URI.
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/coq.scm (coq-gappa): Update to 1.4.2.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake for remake, as well as campl5 for
parsing.
[propagated-inputs]: coq-gabba now depends on coq-flocq.
[arguments]: Temporarily disable check chase until error resolution is identified.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI.
|
|
|
|
|
|
|
| |
* gnu/packages/coq.scm (coq-flocq): Update to 3.2.0.
[source]: Use GIT-FETCH and GIT-FILE-NAME.
[native-inputs]: Add autoconf and automake for remake.
[arguments]: Add remove-failing-examples phase to work around union error.
|
|
|
|
| |
* gnu/packages/coq.scm (coq): Reword several comments to improve readability.
|
|
|
|
|
|
|
| |
* gnu/packages/coq.scm (coq): Update to 8.10.2.
[inputs]: Replace lablgtk with lablgtk3.
[arguments]: Remove remove-lablgtk-references phase, as it no longer appears
to be necessary.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (lablgtk3): New variable.
Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-cairo2): New variable.
Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
|
|
|
|
|
|
|
| |
Reported by Christopher Howard <christopher@alaskasi.com>.
* gnu/packages/emacs-xyz.scm (emacs-treemacs)[inputs]: Add 'python'.
[arguments]: Add 'patch-paths' and 'install-data' phases.
|
|
|
|
| |
* gnu/packages/web-browsers.scm (next): Update to 1.4.0.
|
|
|
|
|
| |
* gnu/packages/games.scm (supertux)[description]: Remove unnecessary words in
GNU Guix.
|
|
|
|
| |
* gnu/packages/games.scm (supertux): Update to 0.6.1.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-helm-clojuredocs): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-edn): New variable.
|
|
|
|
|
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-py3status): Fix patch of file
path.
[arguments]: Replace single-quotes with double-quotes so that the
regex matches again. The "replace-with" value is not changed as it's
not necessary and would introduce escaping noise.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
| |
* gnu/packages/gnome.scm (gnome-characters)[arguments]: Add #:phases
with a 'wrap' phase.
[inputs]: Add GNOME-DESKTOP.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
| |
* gnu/packages/ibus.scm (ibus-rime)[arguments]: Add 'fix-file-names' phase.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
In Guile < 2.9.7, autoloading a module would give you access to all its
bindings. In future versions, autoloading a module gives access only to
the listed bindings, as per #:select (see <https://bugs.gnu.org/38895>).
This commit adjusts autoloads to the new semantics, allowing Guix to be
built with Guile 2.9.7/2.9.8.
* guix/build/download.scm <top level>: Remove call to 'module-autoload!'.
(load-gnutls): New procedure.
(tls-wrap): Call it.
* guix/git.scm <top level>: Remove call to 'module-autoload!'.
(load-git-submodules): New procedure.
(update-submodules): Call it instead of 'resolve-interface'.
* gnu/bootloader/grub.scm: Replace #:autoload with #:use-module.
* gnu/packages.scm: Likewise.
* gnu/packages/ssh.scm: Likewise.
* gnu/packages/tex.scm: Likewise.
* gnu/services/cuirass.scm: Likewise.
* gnu/services/mcron.scm: Likewise.
* guix/lint.scm: Augment list of bindings in #:autoload.
* guix/scripts/build.scm: Likewise.
* guix/scripts/gc.scm: Likewise.
* guix/scripts/pack.scm: Likewise.
* guix/scripts/publish.scm: Likewise.
* guix/scripts/pull.scm: Likewise.
* guix/utils.scm: Remove unnecessary #:autoload clauses; replace one
of them with #:use-module.
|
|
|
|
|
|
|
|
|
|
|
| |
Previously, they could be GC'd by 'tests/guix-gc.sh' for instance, and
thus lacking by the time 'tests/guix-daemon.sh' runs, thereby leading to
a test failure.
Reported by Gábor Boskovits.
* gnu/packages/package-management.scm (guix)[arguments]: In
'copy-bootstrap-guile' phase, change 'intern' to register a GC root.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-helm-cider): New variable.
|
|
|
|
| |
* gnu/packages/lua.scm (lua-luv): Update to 1.32.0-0.
|
|
|
|
| |
* gnu/packages/lua.scm (lua5.1-sec): Update to 0.9.
|
|
|
|
| |
* gnu/packages/lua.scm (lua-filesystem): Update to 1.7.0.2.
|
|
|
|
|
| |
* gnu/packages/lua.scm (make-lua-socket)[source]: Download using
git-fetch.
|
|
|
|
| |
* gnu/packages/lua.scm (lua-lgi)[source]: Download using git-fetch.
|
|
|
|
| |
* gnu/packages/lua.scm (make-lua-sec)[source]: Download using git-fetch.
|
|
|
|
|
| |
* gnu/packages/lua.scm (make-lua-filesystem)[source]: Download using
git-fetch. Parameterize commit version.
|
|
|
|
|
|
|
| |
* gnu/packages/sdl.scm (sdl-mixer)[description]: Add information about runtime
MIDI playback options.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
|
|
|
|
|
| |
* gnu/packages/package-management.scm (python-anaconda-client)[source]:
Download using git-fetch.
|
|
|
|
|
|
| |
* gnu/packages/package-management.scm (python-conda)[source]: Download
using git-fetch.
[arguments]: Adjust custom 'remove-failing-tests to make a file writable.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python2-unicodecsv)[source]: Download
using git-fetch.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python2-numpy-1.8)[source]: Download
using git-fetch.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-lsp-lua-emmy): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-lsp-java): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-treemacs-extra): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-treemacs): New variable.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-pfuture): New variable.
|
|
|
|
| |
* gnu/packages/audio.scm (swh-plugins)[home-page]: Update to new uri.
|
|
|
|
|
| |
* gnu/packages/python-crypto.scm (python-axolotl)[source]: Download
using git-fetch.
|
|
|
|
|
| |
* gnu/packages/networking.scm (perl-net-patricia)[arguments]: Add custom
phase to prevent linking with 'nsl'.
|
|
|
|
| |
* gnu/packages/perl.scm (perl-ole-storage-lite): Update to 0.20.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-whatever)[source]: Download using
git-fetch.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-urwidtrees)[arguments]: Build
without setuptools.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-urwidtrees)[source]: Download
using git-fetch.
|
|
|
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-mwclient): Update to 0.10.0.
[source]: Download using git-fetch.
[propagated-inputs]: Remove python-requests.
[native-inputs]: Remove python-pytest-pep8, python-pytest-cov. Add
python-pytest-runner.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-jsonpatch-0.4)[source]: Download
using git-fetch.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-jsonpatch)[source]: Download using
git-fetch.
|
|
|
|
|
| |
* gnu/packages/python-xyz.scm (python-docopt)[source]: Download using
git-fetch.
|