Commit graph

71456 commits

Author SHA1 Message Date
pukkamustard f6979a7d9f
gnu: ocaml-yojson: Make dependencies propagated-inputs.
* gnu/packages/ocaml.scm (ocaml-yojson): Make dependencies propagated-inputs.
(ocaml4.07-merlin)[inputs]: Remove ocaml-biniou and ocaml-easy-format.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:18 +01:00
pukkamustard b13544751f
gnu: Add ocaml-mdx.
* gnu/packages/ocaml.scm (ocaml-mdx): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:15 +01:00
pukkamustard c0bfff6aca
gnu: Add ocaml-version.
* gnu/packages/ocaml.scm (ocaml-version): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:11 +01:00
pukkamustard 9e02c4acb3
gnu: Add ocaml-odoc.
* gnu/packages/ocaml.scm (ocaml-odoc): New variable.
(ocaml4.07-odoc): Inherit from ocaml-odoc and update to 1.5.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:08 +01:00
pukkamustard ad6a057724
gnu: ocaml-markup: Update to 1.0.0.
* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.0.
(ocaml-markup0.8.0): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:04 +01:00
pukkamustard 1a5bca9b3b
gnu: ocaml-tyxml: Update to 4.4.0.
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.4.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:01 +01:00
pukkamustard 349699bbc2
gnu: Add ocaml-ounit2.
* gnu/packages/ocaml.xyz (ocaml-ounit2): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:58 +01:00
pukkamustard 5de771a49a
gnu: Add ocaml-sexplib.
* gnu/packages/ocaml.scm (ocaml-sexplib): New variable.
(ocaml4.07-sexplib): Inherit from ocaml-sexplib.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:54 +01:00
pukkamustard 662307c30a
gnu: Add ocaml-parsexp.
* gnu/packages/ocaml.scm (ocaml-parsexp): New variable.
(ocaml4.07-parsexp): Inherit from ocaml-parsexp.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:51 +01:00
pukkamustard 55c2851a19
gnu: Add ocaml-base.
* gnu/packages/ocaml.scm (ocaml-base): New variable.
(ocaml4.07-base): Inherit from ocaml-base.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:47 +01:00
pukkamustard adb30e517b
gnu: Add ocaml-sexplib0.
* gnu/packages/ocaml.scm (ocaml-sexplib0): New variable.
(ocaml4.07-sexplib0): Inherit from ocaml-sexplib0.
(janestreet-origin): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:44 +01:00
pukkamustard 77ca156ab2
gnu: Remove ocaml-js-build-tools.
The package is deprecated and no longer maintained. It is recommended
to use dune instead.

* gnu/packages/ocaml.xyz (ocaml-js-build-tools, janestreet-origin)
(janestreet-arguments): Remove variables.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:39 +01:00
luhux d1d092f198
gnu: Add sdcv.
* gnu/packages/dictionaries.scm (sdcv): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-12-30 15:20:08 +02:00
Vinicius Monego 44a4810a75
gnu: Add python-migen.
* gnu/packages/fpga.scm (python-migen): New variable.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2020-12-30 11:59:58 +01:00
Z572 c386de05fb
gnu: Add ksshaskpass.
* gnu/packages/kde-plasma.scm (ksshaskpass): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-12-30 12:37:56 +02:00
Vincent Legoll bd15cd595b
gnu: leptonica: Update to 1.80.0.
* gnu/packages/image.scm (leptonica): Update to 1.80.0.

Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30 03:48:59 -05:00
Efraim Flashner 4303e33c86
gnu: kjumpingcube: Update to 20.12.0.
* gnu/packages/games.scm (kjumpingcube): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:39 +02:00
Efraim Flashner 189cd35a2a
gnu: ksquares: Update to 20.12.0.
* gnu/packages/games.scm (ksquares): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:39 +02:00
Efraim Flashner c739700992
gnu: kreversi: Update to 20.08.3.
* gnu/packages/games.scm (kreversi): Update to 20.08.3.
[source]: Download from new upstream URI.
2020-12-30 10:41:39 +02:00
Efraim Flashner ebae645bb8
gnu: knavalbattle: Update to 20.12.0.
* gnu/packages/games.scm (knavalbattle): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:35 +02:00
Efraim Flashner 6dfd1fbd4d
gnu: killbots: Update to 20.12.0.
* gnu/packages/games.scm (killbots): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:18 +02:00
Efraim Flashner 491a6e4867
gnu: bovo: Update to 20.12.0.
* gnu/packages/games.scm (bovo): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:18 +02:00
Efraim Flashner 2129bf0c60
gnu: kspaceduel: Update to 20.12.0.
* gnu/packages/games.scm (kspaceduel): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:18 +02:00
Efraim Flashner 8fd37c7a22
gnu: kapman: Update to 20.12.0.
* gnu/packages/games.scm (kapman): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 8e36d0c407
gnu: kubrick: Update to 20.12.0.
* gnu/packages/games.scm (kubrick): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 4c10278e56
gnu: kiriki: Update to 20.12.0.
* gnu/packages/games.scm (kiriki): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner ee32e0f120
gnu: ksirk: Update to 20.12.0.
* gnu/packages/games.scm (ksirk): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 2c876ee0f1
gnu: granatier: Update to 20.12.0.
* gnu/packages/games.scm (granatier): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner de8f4bcc45
gnu: bomber: Update to 20.12.0.
* gnu/packages/games.scm (bomber): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 2ab9e58da3
gnu: knetwalk: Update to 20.12.0.
* gnu/packages/games.scm (knetwalk): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 25557055fa
gnu: kblackbox: Update to 20.12.0.
* gnu/packages/games.scm (kblackbox): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:17 +02:00
Efraim Flashner 7341ab7e08
gnu: kgoldrunner: Update to 20.12.0.
* gnu/packages/games.scm (kgoldrunner): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner 656cc08398
gnu: ksudoku: Update to 20.12.0.
* gnu/packages/games.scm (ksudoku): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner e9d0f4ad39
gnu: kbounce: Update to 20.12.0.
* gnu/packages/games.scm (kbounce): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner 57c6361db6
gnu: konquest: Update to 20.12.0.
* gnu/packages/games.scm (konquest): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner d84222586c
gnu: kmines: Update to 20.12.0.
* gnu/packages/games.scm (kmines): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner 8ad4c4841d
gnu: kbreakout: Update to 20.12.0.
* gnu/packages/games.scm (kbreakout): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner 01497efa84
gnu: kajongg: Update to 20.12.0.
* gnu/packages/games.scm (kajongg): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:16 +02:00
Efraim Flashner 455f9ec4a0
gnu: kshisen: Update to 20.12.0.
* gnu/packages/games.scm (kshisen): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:15 +02:00
Efraim Flashner 7daf6bcbfc
gnu: kmahjongg: Update to 20.12.0.
* gnu/packages/games.scm (kmahjongg): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:15 +02:00
Efraim Flashner 4cd1fac51f
gnu: libkmahjongg: Update to 20.12.0.
* gnu/packages/games.scm (libkmahjongg): Update to 20.12.0.
[source]: Download from new upstream URI.
2020-12-30 10:41:15 +02:00
Efraim Flashner 50793bd41a
gnu: kajongg: Wrap binary with pythonpath.
* gnu/packages/games.scm (kajongg)[arguments]: Add phase to wrap binary
with PYTHONPATH.
[propagated-inputs]: Move python-twisted, python-pyqt ...
[inputs]: ... to here.
2020-12-30 10:41:07 +02:00
Vincent Legoll e87a2dea55
gnu: milkytracker: Update to 1.03.00.
* gnu/packages/music.scm (milkytracker): Update to 1.03.00.

Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30 03:32:45 -05:00
Vincent Legoll 0c31e86b8c
gnu: timidity++: Update to 2.15.0.
* gnu/packages/audio.scm (timidity++): Update to 2.15.0.

Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30 03:05:53 -05:00
Vincent Legoll 776c700aaf
gnu: tigervnc-client: Update to 1.11.0.
* gnu/packages/vnc.scm (tigervnc-client): Update to 1.11.0.
[inputs]: Add pixman.

Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30 03:01:55 -05:00
Nicolas Goaziou 2dc0555480
gnu: emacs-tramp: Update to 2.5.0.
* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.5.0.
2020-12-30 02:15:33 +01:00
Nicolas Goaziou 5b3ec8c452
gnu: emacs-auctex: Update to 13.0.1.
* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.0.1.
2020-12-30 02:15:11 +01:00
Leo Famulari 8e128df5bf
gnu: linux-libre 4.4: Update to 4.4.249.
* gnu/packages/linux.scm (linux-libre-4.4-version): Update to 4.4.249.
(linux-libre-4.4-pristine-source): Update hash.
2020-12-29 18:51:27 -05:00
Leo Famulari 3a6276ee06
gnu: linux-libre 4.9: Update to 4.9.249.
* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.249.
(linux-libre-4.9-pristine-source): Update hash.
2020-12-29 18:51:27 -05:00
Leo Famulari 4697544a01
gnu: linux-libre 4.14: Update to 4.14.213.
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.213.
(linux-libre-4.14-pristine-source): Update hash.
2020-12-29 18:51:21 -05:00