Commit Graph

43261 Commits

Author SHA1 Message Date
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