Commit Graph

36975 Commits

Author SHA1 Message Date
Brian Leung 568c67e5d7
gnu: Add emacs-vdiff.
* gnu/packages/emacs-xyz.scm (emacs-vdiff): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 00400e84eb
gnu: Add emacs-equake.
* gnu/packages/emacs-xyz.scm (emacs-equake): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 6a39740d58
gnu: Add emacs-tco-el.
* gnu/packages/emacs-xyz.scm (emacs-tco-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung ccf220f363
gnu: Add emacs-eshell-up.
* gnu/packages/emacs-xyz.scm (emacs-eshell-up): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 884cc87164
gnu: Add emacs-fish-mode.
* gnu/packages/emacs-xyz.scm (emacs-fish-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung c6b384de50
gnu: Add emacs-prettier.
* gnu/packages/emacs-xyz.scm (emacs-prettier): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung b571a69a0f
gnu: Add emacs-js2-refactor-el.
* gnu/packages/emacs-xyz.scm (emacs-js2-refactor-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung a8ef7ecc8e
gnu: Add emacs-flycheck-haskell.
* gnu/packages/emacs-xyz.scm (emacs-flycheck-haskell): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung 83b6da9bc4
gnu: Add emacs-vimrc-mode.
* gnu/packages/emacs-xyz.scm (emacs-vimrc-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung 5b947258c8
gnu: Add emacs-elisp-docstring-mode.
* gnu/packages/emacs-xyz.scm (emacs-elisp-docstring-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung e22ab6a1b4
gnu: Add emacs-undo-propose-el.
* gnu/packages/emacs-xyz.scm (emacs-undo-propose-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Ludovic Courtès 66ec389580
vm: Do not mount /xchg with "cache=loose".
Fixes <https://bugs.gnu.org/33639>.

* gnu/system/vm.scm (%linux-vm-file-systems): Remove "cache=loose" for /xchg.
(system-docker-image): Remove 'sync' call, now unneeded, and which was
probably insufficient.
2019-04-14 17:42:08 +02:00
Ludovic Courtès 307ec7324b
tests: separate-store-os: Increase root partition size.
* gnu/tests/install.scm (%separate-store-installation-script): Increase
size of the root partition so that it's big enough to contain
downloaded nars and temporary files.  Add 'df -h /mnt/gnu'.
2019-04-14 17:42:08 +02:00
Ludovic Courtès c9776d5bec
installer: Add wpa-supplicant along with NetworkManager and Connman.
* gnu/installer/services.scm (%system-services) <network-manager,
connman>: Add a 'wpa-supplicant-service-type' instance.
(system-services->configuration): Unsplice it.
2019-04-14 17:42:08 +02:00
Ricardo Wurmus a84510f99b
gnu: Add flightgear.
* gnu/packages/games.scm (flightgear): New variable.
2019-04-14 15:54:40 +02:00
Ricardo Wurmus cd5289467d
gnu: Add plib.
* gnu/packages/game-development.scm (plib): New variable.
2019-04-14 15:53:25 +02:00
Ricardo Wurmus 20185e4fe7
gnu: Add simgear.
* gnu/packages/games.scm (simgear): New variable.
2019-04-14 14:45:47 +02:00
Ricardo Wurmus df8ab77450
gnu: Add openscenegraph-3.4.
* gnu/packages/graphics.scm (openscenegraph-3.4): New variable.
2019-04-14 14:45:47 +02:00
Christopher Baines cabe8f1844
gnu: Add sqitch.
* gnu/packages/databases.scm (sqitch): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 7b233133ce
gnu: Add perl-string-shellquote.
* gnu/packages/perl.scm (perl-string-shellquote): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 55916fa226
gnu: Add perl-mysql-config.
* gnu/packages/databases.scm (perl-mysql-config): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 3840c51555
gnu: Add perl-test-version.
* gnu/packages/perl-check.scm (perl-test-version): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 709a9e9214
gnu: Add perl-test-file-contents.
* gnu/packages/perl-check.scm (perl-test-file-contents): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 402cfebf5c
gnu: Add perl-test-file.
* gnu/packages/perl-check.scm (perl-test-file): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 9c5551c4cc
gnu: Add perl-test-dir.
* gnu/packages/perl-check.scm (perl-test-dir): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines c1a4e783b2
gnu: Add perl-test-checkdeps.
* gnu/packages/perl-check.scm (perl-test-checkdeps): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 618d52a607
gnu: Add perl-uri-db.
* gnu/packages/perl-web.scm (perl-uri-db): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines ce6bea4439
gnu: Add perl-uri-nested.
* gnu/packages/perl-web.scm (perl-uri-nested): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 9273ebfeab
gnu: Add perl-template-tiny.
* gnu/packages/perl.scm (perl-template-tiny): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines e748fbe2ac
gnu: Add perl-string-formatter.
* gnu/packages/perl.scm (perl-string-formatter): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines f73d4b1fdc
gnu: Add perl-io-pager.
* gnu/packages/perl.scm (perl-io-pager): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 54a51789fd
gnu: Add perl-tie-handle-offset.
* gnu/packages/perl.scm (perl-tie-handle-offset): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines 366b76c1cd
gnu: Add perl-cpan-distnameinfo.
* gnu/packages/perl.scm (perl-cpan-distnameinfo): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines ef9902d37e
gnu: Add perl-config-gitlike.
* gnu/packages/perl.scm (perl-config-gitlike): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines 41c685f51c
gnu: Add perl-http-tinyish.
* gnu/packages/web.scm (perl-http-tinyish): New variable.
2019-04-14 10:45:57 +01:00
Rutger Helling 1b7436aeb5
gnu: wine-staging: Update to 4.6.
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.6.
* gnu/packages/wine.scm (wine-staging): Update to 4.6.
2019-04-14 09:34:43 +02:00
Nicolò Balzarotti 296ea15cf3
gnu: Add r-rex.
* gnu/packages/cran.scm (r-rex): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2019-04-13 11:12:15 +02:00
Ricardo Wurmus 472af99950
gnu: Add marble-marcher.
* gnu/packages/games.scm (marble-marcher): New variable.
2019-04-13 11:06:33 +02:00
Mark H Weaver 5069baedb8
gnu: emacs: Update to 26.2.
* gnu/packages/emacs.scm (emacs): Update to 26.2.
2019-04-12 18:42:43 -04:00
Julien Lepiller ee6c4b62b8
gnu: opam: Update to 2.0.4.
* gnu/packages/ocaml.scm (opam): Update to 2.0.4.
2019-04-12 22:08:28 +02:00
Christopher Baines 81343b9a34
gnu: Fix uri for perl-template-toolkit.
* gnu/packages/perl.scm (perl-template-toolkit)[source]: Fix origin uri.
2019-04-12 20:56:21 +01:00
Ricardo Wurmus e768c37e3f
gnu: r-rpart: Update to 4.1-15.
* gnu/packages/statistics.scm (r-rpart): Update to 4.1-15.
2019-04-12 19:27:39 +02:00
Ricardo Wurmus 7f290982dc
gnu: r-reticulate: Update to 1.12.
* gnu/packages/cran.scm (r-reticulate): Update to 1.12.
2019-04-12 18:34:02 +02:00
Ludovic Courtès c8e070dad7
build: Fix typo in Makefile.am conditional.
Reported by Jonathan Brielmaier <jonathan.brielmaier@web.de>
in <https://bugs.gnu.org/35138>.

This is a followup to a7ad4505b7.

* gnu/local.mk [!ENABLE_INSTALLER]: Use 'else', not 'elif'.
2019-04-12 17:56:23 +02:00
Ludovic Courtès 13fd0a3087
install: Use a font with more glyphs on tty2.
* gnu/system/install.scm (%installation-services): For
'console-font-service-type', use LatGrkCyr-8x16 on tty2.
2019-04-12 17:56:23 +02:00
Ludovic Courtès c7dc604253
installer: Choosing a locale opens the translated manual on tty2.
Suggested by Florian Pelz.

* gnu/system/install.scm (%installation-node-names): New variable.
(log-to-info): Expect the chosen locale as an argument.  Compute the
language, Info file name, and node name.  Install the locale.
(documentation-shepherd-service): Add 'locale' parameter to the 'start'
action and honor it.  Set GUIX_LOCPATH and TERM as environment variables
for the process.
* gnu/installer.scm (apply-locale): Use (gnu services herd).  Call
'stop-service' and 'start-service' with the chosen locale.
2019-04-12 17:56:23 +02:00
Ludovic Courtès 126d4c12ce
install: Add standalone documentation service.
* gnu/system/install.scm (log-to-info): Add 'tty' and 'user'
parameters.  Open the tty and change UIDs/GIDs.
(documentation-shepherd-service): New procedure.
(%documentation-users, documentation-service-type): New variables.
(%installation-services): Use it instead of 'mingetty-service'.
2019-04-12 17:56:23 +02:00
Danny Milosavljevic 16cb1c51ad
gnu: fc-host-tools: Fix fc-loadtool.
* gnu/packages/embedded.scm (fc-host-tools)[arguments]<#:phases>
[patch-installation-paths]: Modify.
2019-04-12 16:30:10 +02:00
Jelle Licht 21d56a8237
gnu: emacs-direnv: Update to 1.5.0.
* gnu/packages/emacs-xyz.scm (emacs-direnv): Update to 1.5.0.
2019-04-12 14:00:58 +02:00
Eric Bavier 89647ff1d4
gnu: idris: Run tests.
* gnu/packages/patches/idris-test-no-node.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris)[origin]: Use it.
[native-inputs]: New field.
[arguments]: Remove "#:tests? #f".  Add custom 'check' phase after 'install'.
2019-04-11 19:34:01 -05:00
Eric Bavier e16bc71015
gnu: idris: Enable FFI and GMP support.
* gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi.
[arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags.
2019-04-11 19:34:01 -05:00
Eric Bavier fb038f32ae
gnu: Add ghc-libffi.
* gnu/packages/haskell.scm (ghc-libffi): New variable.
2019-04-11 19:34:00 -05:00
Eric Bavier a4df9ba4ec
gnu: idris: Upgrade to 1.3.1.
* gnu/packages/idris.scm (idris): Upgrade to 1.3.1.
[arguments]: Remove 'update-constraints' phase.
2019-04-11 19:34:00 -05:00
Danny Milosavljevic 55548cdc6a
gnu: rust: Enable parallel tests starting with 1.26.
* gnu/packages/rust.scm (rust-1.26)[arguments]<#:phases>[check]: Enable
parallel tests.
2019-04-12 00:26:29 +02:00
Ricardo Wurmus b2521eed91
gnu: r-ggthemes: Update to 4.1.1.
* gnu/packages/statistics.scm (r-ggthemes): Update to 4.1.1.
2019-04-11 23:37:25 +02:00
Ricardo Wurmus 5bd8ad8bde
gnu: r-plotly: Update to 4.9.0.
* gnu/packages/statistics.scm (r-plotly): Update to 4.9.0.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus c0fcbdfa9d
gnu: r-plotrix: Update to 3.7-5.
* gnu/packages/statistics.scm (r-plotrix): Update to 3.7-5.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus eacfa685d7
gnu: r-devtools: Update to 2.0.2.
* gnu/packages/statistics.scm (r-devtools): Update to 2.0.2.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 6e95f0e153
gnu: r-backports: Update to 1.1.4.
* gnu/packages/statistics.scm (r-backports): Update to 1.1.4.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 9fc1cdc928
gnu: r-rversions: Update to 1.1.0.
* gnu/packages/statistics.scm (r-rversions): Update to 1.1.0.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 67c6770d39
gnu: r-data-table: Update to 1.12.2.
* gnu/packages/statistics.scm (r-data-table): Update to 1.12.2.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus e9437c5b4a
gnu: r-rlang: Update to 0.3.4.
* gnu/packages/statistics.scm (r-rlang): Update to 0.3.4.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 00d14a4156
gnu: r-ggplot2: Update to 3.1.1.
* gnu/packages/statistics.scm (r-ggplot2): Update to 3.1.1.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 79d8fdcce3
gnu: r-nlme: Update to 3.1-139.
* gnu/packages/statistics.scm (r-nlme): Update to 3.1-139.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 9f2a87d1bf
gnu: r-pracma: Update to 2.2.5.
* gnu/packages/maths.scm (r-pracma): Update to 2.2.5.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus be5385eb83
gnu: r-wgcna: Update to 1.67.
* gnu/packages/cran.scm (r-wgcna): Update to 1.67.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus d1ed092e83
gnu: r-reinforcelearn: Update to 0.2.1.
* gnu/packages/cran.scm (r-reinforcelearn): Update to 0.2.1.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 000b3ef96f
gnu: r-huge: Update to 1.3.2.
* gnu/packages/cran.scm (r-huge): Update to 1.3.2.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 4c920fbbd5
gnu: r-summarytools: Update to 0.9.3.
* gnu/packages/cran.scm (r-summarytools): Update to 0.9.3.
[propagated-inputs]: Add r-tibble.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus a108ef6209
gnu: r-remotes: Update to 2.0.4.
* gnu/packages/cran.scm (r-remotes): Update to 2.0.4.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus 3517101521
gnu: r-usethis: Update to 1.5.0.
* gnu/packages/cran.scm (r-usethis): Update to 1.5.0.
[propagated-inputs]: Add r-purrr, r-withr, and r-yaml.
2019-04-11 23:37:24 +02:00
Ricardo Wurmus a26bd4718b
gnu: r-tinytex: Update to 0.12.
* gnu/packages/cran.scm (r-tinytex): Update to 0.12.
2019-04-11 23:37:23 +02:00
Ricardo Wurmus 1235f0d3a2
gnu: r-broom: Update to 0.5.2.
* gnu/packages/cran.scm (r-broom): Update to 0.5.2.
2019-04-11 23:37:23 +02:00
Ricardo Wurmus a315d49633
gnu: r-ddalpha: Update to 1.3.9.
* gnu/packages/cran.scm (r-ddalpha): Update to 1.3.9.
2019-04-11 23:37:23 +02:00
Ricardo Wurmus 1e0b0a2ec2
gnu: r-rvest: Update to 0.3.3.
* gnu/packages/cran.scm (r-rvest): Update to 0.3.3.
2019-04-11 23:37:23 +02:00
Ricardo Wurmus c4a50a8a47
gnu: r-genomicfeatures: Update to 1.34.8.
* gnu/packages/bioinformatics.scm (r-genomicfeatures): Update to 1.34.8.
2019-04-11 23:37:19 +02:00
Eric Bavier a6de569ea2
gnu: creduce: Upgrade to 2.8.0.
* gnu/packages/debug.scm (creduce): Upgrade to 2.8.0.
[inputs]: Use llvm-6 and clang-6.  Remove perl-sys-cpu.
[arguments]: Use custom 'check phase.
2019-04-11 12:17:01 -05:00
Ricardo Wurmus c2f6f4e500
gnu: Add python2-checkm-genome.
* gnu/packages/bioinformatics.scm (python2-checkm-genome): New variable.
2019-04-11 17:54:57 +02:00
Ricardo Wurmus 4fa16c9ae6
gnu: Add tensorflow.
* gnu/packages/machine-learning.scm (tensorflow): New variable.
2019-04-11 17:54:57 +02:00
Danny Milosavljevic d0a39b928c
gnu: make-linux-libre: Install "Module.symvers".
* gnu/packages/linux.scm (make-linux-libre): Install "Module.symvers".
2019-04-11 17:54:11 +02:00
Pierre Neidhardt 6a8c4b9e11
gnu: Add vhba-module.
* gnu/packages/linux.scm (vhba-module): New variable.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-04-11 17:52:52 +02:00
Ricardo Wurmus 12327d7447
gnu: guitarix: Update to 0.38.1.
* gnu/packages/audio.scm (guitarix): Update to 0.38.1.
2019-04-11 17:18:08 +02:00
Ricardo Wurmus 36f4f1e297
gnu: Add pplacer.
* gnu/packages/bioinformatics.scm (pplacer, pplacer-scripts): New variables.
2019-04-11 17:18:08 +02:00
Ricardo Wurmus fb168a310e
gnu: ocaml-mcl: Do not use unstable tarball.
* gnu/packages/machine-learning.scm (ocaml-mcl)[source]: Use git-fetch.
2019-04-11 17:18:08 +02:00
Ricardo Wurmus b24aaeec45
gnu: ocaml-mcl: Build with latest OCaml.
* gnu/packages/machine-learning.scm (ocaml-mcl)[arguments]: Remove #:ocaml
and #:findlib arguments; patch code in build phase.
[native-inputs]: Add ocamlbuild.
2019-04-11 17:17:22 +02:00
Ricardo Wurmus ddb5dc08a7
gnu: Add ocaml-gsl-1.
* gnu/packages/ocaml.scm (ocaml-gsl-1): New variable.
2019-04-11 17:11:41 +02:00
Tobias Geerinckx-Rice e70771f08e
gnu: httrack: Correct licence prefix.
This follows up on commit ed132a57c1.

* gnu/packages/web.scm (httrack)[license]: Use the right prefix.
2019-04-11 14:25:05 +02:00
Nicolas Goaziou ed132a57c1
gnu: Add httrack.
* gnu/packages/web.scm (httrack): New variable.
2019-04-11 14:04:54 +02:00
HiPhish 9abfbd79cb
gnu: neovim: Depend on Lua 5.1, not 5.2.
* gnu/packages/vim.scm (neovim): Use correct Lua version as dependencies

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Vagrant Cascadian 8b87b1bf00
gnu: arm-trusted-firmware: Update to 2.1.
* gnu/packages/firmware (arm-trusted-firmware): Update to 2.1.
  (arm-trusted-firmware-sun50i-a64)[source]: Inherit from
  arm-trusted-firmware.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung 585fb83acb
gnu: Add emacs-evil-visualstar.
* gnu/packages/emacs-xyz.scm (emacs-evil-visualstar): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung 80955ad634
gnu: Add emacs-evil-visual-replace.
* gnu/packages/emacs-xyz.scm (emacs-evil-visual-replace): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung a99e7f524e
gnu: Add emacs-evil-nerd-commenter.
* gnu/packages/emacs-xyz.scm (emacs-evil-nerd-commenter): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung 6d53111385
gnu: Add emacs-evil-expat.
* gnu/packages/emacs-xyz.scm (emacs-evil-expat): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung f89cc6bdf9
gnu: Add emacs-evil-lion.
* gnu/packages/emacs-xyz.scm (emacs-evil-lion): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:40 +02:00
Brian Leung 2feaffb17c
gnu: Add emacs-evil-text-object-python.
* gnu/packages/emacs-xyz.scm (emacs-evil-text-object-python): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
Brian Leung 91af509751
gnu: Add emacs-evil-indent-plus.
* gnu/packages/emacs-xyz.scm (emacs-evil-indent-plus): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
Brian Leung f74a90bf6c
gnu: Add emacs-evil-replace-with-register.
* gnu/packages/emacs-xyz.scm (emacs-evil-replace-with-register): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
Brian Leung eccf816b64
gnu: Add emacs-evil-exchange.
* gnu/packages/emacs-xyz.scm (emacs-evil-exchange): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
Brian Leung ab0471e9fc
gnu: Add emacs-janpath-evil-numbers.
* gnu/packages/emacs-xyz.scm (emacs-janpath-evil-numbers): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
Ivan Petkov 6d511a53cf
gnu: rust: Update to 1.33.0
* gnu/packages/rust.scm (rust): Rename to...
(rust-1.32): ...this.
(rust): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-11 13:46:39 +02:00
frozenpigs 02394462fc
services: sddm: Switch back to using ‘startx’.
* gnu/services/sddm.scm (sddm-configuration-file):
Use XORG-START-COMMAND.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2019-04-11 05:42:41 +02:00
Tobias Geerinckx-Rice f86b4b56b1
gnu: sbcl-trivial-garbage: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-trivial-garbage)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:41 +02:00
Tobias Geerinckx-Rice 0471c00109
gnu: sbcl-babel: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-babel)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:41 +02:00
Tobias Geerinckx-Rice 9769caa991
gnu: sbcl-trivial-features: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-trivial-features)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:41 +02:00
Tobias Geerinckx-Rice 4d2c51dec2
gnu: stumpwm: Don't use unstable tarball.
* gnu/packages/lisp.scm (stumpwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:41 +02:00
Tobias Geerinckx-Rice eabcf02efd
gnu: sbcl-cl-ppcre: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-cl-ppcre)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 574edcc006
gnu: sbcl-flexi-streams: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-flexi-streams)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 02fbb5c304
gnu: sbcl-fiveam: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-fiveam)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 8fa2bcc793
gnu: python-glob2: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-glob2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 5b77ebe15c
gnu: python-dukpy: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-dukpy)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 1a04d42195
gnu: python-flasgger: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-flasgger)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 1961d18791
gnu: python-schematics: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-schematics)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:40 +02:00
Tobias Geerinckx-Rice 3e3ff8ad13
gnu: python-tlsh: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-tlsh)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:39 +02:00
Tobias Geerinckx-Rice 8524d13011
gnu: python-honcho: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-honcho)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:39 +02:00
Tobias Geerinckx-Rice 768fea0fd4
gnu: python-gridmap: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-gridmap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:39 +02:00
Tobias Geerinckx-Rice 5c44505b6d
gnu: java-cglib: Don't use unstable tarball.
* gnu/packages/java.scm (java-cglib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 8f33d05e22
gnu: tippecanoe: Don't use unstable tarball.
* gnu/packages/geo.scm (tippecanoe)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 82b47fd9d1
gnu: osm2pgsql: Don't use unstable tarball.
* gnu/packages/geo.scm (osm2pgsql)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice f4daf25066
gnu: libosmium: Don't use unstable tarball.
* gnu/packages/geo.scm (libosmium)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice ca72dd2cb5
gnu: openlibm: Don't use unstable tarball.
* gnu/packages/maths.scm (openlibm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 830971bf3a
gnu: opencascade-oce: Don't use unstable tarball.
* gnu/packages/maths.scm (opencascade-oce)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice 88efbab2d9
gnu: emacs-auto-yasnippet: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-auto-yasnippet)[source]: Use GIT-FILE-NAME.
2019-04-11 05:42:38 +02:00
Tobias Geerinckx-Rice ba50c3e8d0
gnu: emacs-academic-phrases: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-academic-phrases)[source]: Use GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice d4dcb84bbe
gnu: emacs-download-region: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-download-region)[source]: Use GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice 5db874d1df
gnu: gctp: Don't use unstable tarball.
* gnu/packages/maths.scm (gctp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice 7848205b24
gnu: ocaml-utop: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-utop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice fd2582bd7f
gnu: ocaml-lambda-term: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-lambda-term)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice f4f3e8ce4d
gnu: ocaml-zed: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-zed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice 55f9f9b081
gnu: ocaml-jbuilder: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-jbuilder)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 677a88e075
gnu: ocaml-piqilib: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-piqilib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 554d98db77
gnu: optcomp: Don't use unstable tarball.
* gnu/packages/ocaml.scm (optcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice e4bb29ddfa
gnu: ocaml4.02-uri: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-uri)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 21b1845dde
gnu: ocaml4.02-ezjsonm: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice 07c3711d0f
gnu: ocaml-re: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-re)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice f6a99fbfa2
gnu: ocaml-seq: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-seq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:42:22 +02:00
Tobias Geerinckx-Rice 2209b362a5
gnu: ocaml4.02-ppx-deriving: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-deriving)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
Fix indentation.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice f8b8e60e2c
gnu: ocaml-ulex: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ulex)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice 71117a36b6
gnu: ocaml4.02-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:08 +02:00
Tobias Geerinckx-Rice ef59cf9d3b
gnu: ocaml-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:41:55 +02:00
Tobias Geerinckx-Rice e3c7ac732f
gnu: ocaml-bisect: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-bisect)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice b01339816a
gnu: ocaml-qcheck: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-qcheck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice 34f615a2c1
gnu: ocaml-num: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-num)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice d5dee1de7c
gnu: camlp4@4.02+6: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.02)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice 93b3dc523e
gnu: emacs-mkmcc-gnuplot-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-mkmcc-gnuplot-mode)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice a287c7fdbc
gnu: emacs-git-annex: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-git-annex)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice 20f28d0b7d
gnu: emacs-mu4e-conversation: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-mu4e-conversation)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice 106f265575
gnu: emacs-package-lint: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-package-lint)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice 76cd61504e
gnu: emacs-image+: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-image+)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Tobias Geerinckx-Rice 559eb2976f
gnu: emacs-helm-ls-git: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-ls-git)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:50 +02:00
Tobias Geerinckx-Rice de3bb0e077
gnu: emacs-helm-flycheck: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-flycheck)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:50 +02:00
Tobias Geerinckx-Rice cfb041aa42
gnu: emacs-helm-emms: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-emms)[source]: Use GIT-FILE-NAME.
2019-04-11 05:32:50 +02:00
Tobias Geerinckx-Rice 8886857500
gnu: texlive-generic-listofitems: Fix typo in synopsis.
* gnu/packages/tex.scm (texlive-generic-listofitems)[synopsis]: Fix typo.
2019-04-11 05:32:49 +02:00
Tobias Geerinckx-Rice f714bb3ddb
gnu: gimp: Fix typo in description.
* gnu/packages/gimp.scm (gimp-resynthesizer)[description]: Fix typo.
2019-04-11 05:32:49 +02:00
Tobias Geerinckx-Rice b4733a1a6f
gnu: clamav: Update to 0.101.2.
* gnu/packages/antivirus.scm (clamav): Update to 0.101.2.
2019-04-11 05:32:49 +02:00
Tobias Geerinckx-Rice 819cba3cd8
gnu: fasm: Update to 1.73.10.
* gnu/packages/assembly.scm (fasm): Update to 1.73.10.
2019-04-11 05:32:49 +02:00
Tobias Geerinckx-Rice 4b27b09a3a
gnu: hangups: Update to 0.4.9.
* gnu/packages/messaging.scm (hangups): Update to 0.4.9.
[native-inputs]: Add python-httpretty and python-pytest.
2019-04-11 05:32:49 +02:00
Tobias Geerinckx-Rice 5e869bde79
gnu: Add python-httpretty.
* gnu/packages/web.scm (python-httpretty): New public variable.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice 0437c682f5
gnu: links: Update to 2.19.
* gnu/packages/web-browsers.scm (links): Update to 2.19.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice 5dcd4007b6
gnu: links: Don't use NAME in source URI.
* gnu/packages/web-browsers.scm (links)[source]: Hard-code NAME.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice cf287faa6b
gnu: ansible: Update to 2.7.10.
* gnu/packages/admin.scm (ansible): Update to 2.7.10.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice 58d20bf01a
gnu: surfraw: Update to 2.3.0.
* gnu/packages/web.scm (surfraw): Update to 2.3.0.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice 20d509643c
gnu: stunnel: Update to 5.53.
* gnu/packages/web.scm (stunnel): Update to 5.53.
2019-04-11 05:32:48 +02:00
Tobias Geerinckx-Rice 079db05675
gnu: xmobar: Don't use NAME in source URI.
* gnu/packages/wm.scm (xmobar)[source]: Hard-code NAME.
2019-04-11 05:32:47 +02:00
Tobias Geerinckx-Rice 4b9e4ac73d
gnu: polybar: Update to 3.3.1.
* gnu/packages/wm.scm (polybar): Update to 3.3.1.
2019-04-11 05:32:47 +02:00
Tobias Geerinckx-Rice 2188eb7654
gnu: duplicity: Update to 0.7.18.2.
* gnu/packages/backup.scm (duplicity): Update to 0.7.18.2.
2019-04-11 05:32:47 +02:00
Tobias Geerinckx-Rice d514bb1346
gnu: xcompmgr: Use GIT-FILE-NAME.
* gnu/packages/xorg.scm (xcompmgr)[source]: Use GIT-FILE-NAME.
2019-04-11 05:26:46 +02:00
Tobias Geerinckx-Rice 5b6a159aa8
gnu: xcompmgr: Update to 1.1.8.
* gnu/packages/xorg.scm (xcompmgr): Update to 1.1.8.
2019-04-11 05:26:46 +02:00
Tobias Geerinckx-Rice a35003c209
gnu: xcompmgr: Don't use NAME in source tag.
* gnu/packages/xorg.scm (xcompmgr)[source]: Hard-code NAME.
2019-04-11 05:26:46 +02:00
Tobias Geerinckx-Rice 89ab360e01
gnu: cifs-utils: Update to 6.9.
* gnu/packages/samba.scm (cifs-utils): Update to 6.9.
2019-04-11 05:26:45 +02:00
Tobias Geerinckx-Rice 1a0a4a6970
gnu: cifs-utils: Don't use NAME in source URI.
* gnu/packages/samba.scm (cifs-utils)[source]: Hard-code NAME.
2019-04-11 05:26:45 +02:00
Tobias Geerinckx-Rice e02ecf5c3a
gnu: youtube-dl: Update to 2019.04.07.
* gnu/packages/video.scm (youtube-dl): Update to 2019.04.07.
2019-04-11 05:26:45 +02:00
Tobias Geerinckx-Rice 10eefb7092
gnu: beep: Update to 1.4.4.
* gnu/packages/terminals.scm (beep): Update to 1.4.4.
2019-04-11 05:26:44 +02:00
Tobias Geerinckx-Rice 30c9e096e0
gnu: noice: Update to 0.8.
* gnu/packages/suckless.scm (noice): Update to 0.8.
2019-04-11 05:26:44 +02:00
Tobias Geerinckx-Rice afa4f88841
gnu: noice: Don't use NAME in source URI.
* gnu/packages/suckless.scm (noice)[source]: Hard-code NAME.
2019-04-11 05:26:44 +02:00
Tobias Geerinckx-Rice 0e68435751
gnu: autojump: Update to 22.5.3.
* gnu/packages/admin.scm (autojump): Update to 22.5.3.
2019-04-11 05:26:44 +02:00
Tobias Geerinckx-Rice 24d459ceca
gnu: autojump: Don't use unstable tarball.
* gnu/packages/admin.scm (autojump)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-04-11 05:26:44 +02:00
Tobias Geerinckx-Rice 7710b8f8ad
gnu: acpica: Update to 20190405.
* gnu/packages/admin.scm (acpica): Update to 20190405.
2019-04-11 05:26:43 +02:00
Tobias Geerinckx-Rice 3e461b71bc
gnu: nestopia-ue: Don't use unstable tarball.
* gnu/packages/emulators.scm (nestopia-ue)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:43 +02:00
Tobias Geerinckx-Rice 225157a0b2
gnu: mupen64plus-ui-console: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-ui-console)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:43 +02:00
Tobias Geerinckx-Rice d42d0a0b08
gnu: mupen64plus-video-rice: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-rice)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:43 +02:00
Tobias Geerinckx-Rice e5e7a1676d
gnu: mupen64plus-video-glide64mk2: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-glide64mk2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:42 +02:00
Tobias Geerinckx-Rice 6253618621
gnu: mupen64plus-video-glide64: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-glide64)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:42 +02:00
Tobias Geerinckx-Rice 2074c8bf13
gnu: mupen64plus-video-arachnoid: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-arachnoid)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:42 +02:00
Tobias Geerinckx-Rice 052650c840
gnu: mupen64plus-rsp-z64: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-rsp-z64)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:42 +02:00
Tobias Geerinckx-Rice c4f0c8baa9
gnu: mupen64plus-rsp-hle: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-rsp-hle)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:42 +02:00
Tobias Geerinckx-Rice ef5ef8f55f
gnu: mupen64plus-input-sdl: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-input-sdl)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:26:41 +02:00
Tobias Geerinckx-Rice 8c6d45cb51
gnu: mupen64plus-audio-sdl: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-audio-sdl)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:05:09 +02:00
Leo Famulari b3a476624c
gnu: dovecot-trees: Fix typo.
* gnu/packages/mail.scm (dovecot-trees)[description]: Fix typo.
2019-04-10 19:27:30 -04:00
Julien Lepiller e9b86fa0f1
gnu: opam: Unbundle dependencies.
* gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system.
[source]: Use unbundled sources.
[arguments]: Update.
[inputs, native-inputs, propagated-inputs]: Add missing dependencies.
2019-04-10 21:39:28 +02:00
Julien Lepiller ec9d932562
gnu: Add ocaml-dose3.
* gnu/packages/ocaml.scm (ocaml-dose3): New variable.
* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
New file.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
2019-04-10 21:39:20 +02:00
Julien Lepiller c4262cc932
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
2019-04-10 21:39:17 +02:00
Julien Lepiller 718fadb8ca
gnu: Add ocaml-cudf.
* gnu/packages/ocaml.scm (ocaml-cudf): New variable.
2019-04-10 21:39:15 +02:00
Julien Lepiller bb338a7f80
gnu: Add ocaml-extlib.
* gnu/packages/ocaml.scm (ocaml-extlib): New variable.
2019-04-10 21:39:13 +02:00
Julien Lepiller b6bba90e92
gnu: ocaml-cmdliner: Update to 1.0.3.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3.
2019-04-10 21:39:10 +02:00
Julien Lepiller d1358ab633
gnu: Add ocaml-opam-file-format.
* gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable.
2019-04-10 21:39:07 +02:00
Tobias Geerinckx-Rice 81a9ab87fc
gnu: emacs-nix-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-nix-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-10 20:54:21 +02:00
Tobias Geerinckx-Rice 8e65ada235
gnu: emacs-helm-mu: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-mu)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-10 20:54:21 +02:00
Tobias Geerinckx-Rice 5a6e6f5df2
gnu: emacs-helm-exwm: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-exwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-10 20:54:21 +02:00
Tobias Geerinckx-Rice 6141df6689
gnu: emacs-zotxt: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-zotxt)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-10 20:54:21 +02:00