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
Efraim Flashner
89761f0ef1
gnu: python2-pyqt: Don't propagate python-sip.
...
* gnu/packages/qt.scm (python2-pyqt)[native-inputs]: Move python2-sip ...
[propagated-inputs]: ... to here.
2020-12-30 00:41:57 +02:00