Nicolas Goaziou
6cac86c985
gnu: Add rust-headers-0.2.
...
* gnu/packages/crates-io.scm (rust-headers-0.2): New variable.
2020-12-30 19:48:22 +01:00
Nicolas Goaziou
775991f049
gnu: Add rust-headers-core-0.1.
...
* gnu/packages/crates-io.scm (rust-headers-core-0.1): New variable.
2020-12-30 19:48:22 +01:00
Ricardo Wurmus
958789035f
gnu: gzochi: Update to 0.13.
...
* gnu/packages/game-development.scm (gzochi): Update to 0.13.
[inputs]: Replace guile-2.2 with guile-3.0.
2020-12-30 19:44:45 +01:00
Maxim Cournoyer
7e5d56ee81
gnu: onionshare: Replace pycrypto by pycryptodome.
...
The later is maintained, unlike the former (unchanged since 2013).
* gnu/packages/tor.scm (onionshare)[inputs]: Replace python-pycrypto by
python-pycryptodome.
2020-12-30 13:09:33 -05:00
Maxim Cournoyer
452cd4094e
gnu: Add python-caniusepython3.
...
* gnu/packages/python-xyz.scm (python-caniusepython3): New variable.
2020-12-30 10:19:10 -05:00
Wiktor Żelazny
05c8c4f61f
gnu: Add r-mlr3tuning.
...
* gnu/packages/cran.scm (r-mlr3tuning): New variable.
2020-12-30 15:24:55 +01:00
Wiktor Żelazny
debb5ad5e0
gnu: Add r-bbotk.
...
* gnu/packages/cran.scm (r-bbotk): New variable.
2020-12-30 15:24:48 +01:00
Wiktor Żelazny
db785e3548
gnu: Add r-mlr3learners.
...
* gnu/packages/cran.scm (r-mlr3learners): New variable.
2020-12-30 15:24:41 +01:00
Ricardo Wurmus
2005aa4b1b
gnu: Add js-xmldom-sre.
...
* gnu/packages/javascript.scm (js-xmldom-sre): New variable.
2020-12-30 15:08:31 +01:00
Ricardo Wurmus
4408c4d046
gnu: Add js-commander.
...
* gnu/packages/javascript.scm (js-commander): New variable.
2020-12-30 15:08:31 +01:00
pukkamustard
8b036927a4
gnu: Add ocaml-merlin.
...
* gnu/packages/ocaml.scm (ocaml-merlin): New variable.
(ocaml4.07-merlin): Inherit from ocaml-merlin.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:32 +01:00
pukkamustard
995685738e
gnu: Add ocaml-dot-merlin-reader.
...
* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:29 +01:00
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