Commit graph

71553 commits

Author SHA1 Message Date
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
Efraim Flashner
376a467443
gnu: python2-pyqt-4: Update to 4.12.3.
* gnu/packages/qt.scm (python2-pyqt-4): Update to 4.12.3.
2020-12-30 00:22:27 +02:00
Christopher Baines
b7ab88bc32
gnu: readosm: Update source hash.
Looks like the tarball was changed by upstream, lots of timestamps changed
from 2020-08-02 to 2020-08-23, and there were some minor changes to file
contents.

* gnu/packages/geo.scm (source): Update hash.
2020-12-29 21:49:28 +00:00