summary refs log tree commit diff
AgeCommit message (Collapse)Author
2020-12-30gnu: Add ocaml-ounit2.pukkamustard
* gnu/packages/ocaml.xyz (ocaml-ounit2): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30gnu: Add ocaml-sexplib.pukkamustard
* 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-30gnu: Add ocaml-parsexp.pukkamustard
* 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-30gnu: Add ocaml-base.pukkamustard
* 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-30gnu: Add ocaml-sexplib0.pukkamustard
* 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-30gnu: Remove ocaml-js-build-tools.pukkamustard
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-30gnu: Add sdcv.luhux
* gnu/packages/dictionaries.scm (sdcv): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-12-30gnu: Add python-migen.Vinicius Monego
* gnu/packages/fpga.scm (python-migen): New variable. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2020-12-30gnu: Add ksshaskpass.Z572
* gnu/packages/kde-plasma.scm (ksshaskpass): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-12-30gnu: leptonica: Update to 1.80.0.Vincent Legoll
* gnu/packages/image.scm (leptonica): Update to 1.80.0. Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30gnu: kjumpingcube: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kjumpingcube): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: ksquares: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (ksquares): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kreversi: Update to 20.08.3.Efraim Flashner
* gnu/packages/games.scm (kreversi): Update to 20.08.3. [source]: Download from new upstream URI.
2020-12-30gnu: knavalbattle: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (knavalbattle): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: killbots: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (killbots): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: bovo: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (bovo): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kspaceduel: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kspaceduel): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kapman: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kapman): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kubrick: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kubrick): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kiriki: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kiriki): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: ksirk: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (ksirk): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: granatier: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (granatier): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: bomber: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (bomber): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: knetwalk: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (knetwalk): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kblackbox: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kblackbox): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kgoldrunner: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kgoldrunner): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: ksudoku: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (ksudoku): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kbounce: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kbounce): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: konquest: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (konquest): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kmines: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kmines): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kbreakout: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kbreakout): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kajongg: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kajongg): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kshisen: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kshisen): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kmahjongg: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kmahjongg): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: libkmahjongg: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (libkmahjongg): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-30gnu: kajongg: Wrap binary with pythonpath.Efraim Flashner
* 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-30gnu: milkytracker: Update to 1.03.00.Vincent Legoll
* gnu/packages/music.scm (milkytracker): Update to 1.03.00. Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30gnu: timidity++: Update to 2.15.0.Vincent Legoll
* gnu/packages/audio.scm (timidity++): Update to 2.15.0. Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30gnu: tigervnc-client: Update to 1.11.0.Vincent Legoll
* gnu/packages/vnc.scm (tigervnc-client): Update to 1.11.0. [inputs]: Add pixman. Signed-off-by: Leo Famulari <leo@famulari.name>
2020-12-30gnu: emacs-tramp: Update to 2.5.0.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.5.0.
2020-12-30gnu: emacs-auctex: Update to 13.0.1.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.0.1.
2020-12-29gnu: linux-libre 4.4: Update to 4.4.249.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.4-version): Update to 4.4.249. (linux-libre-4.4-pristine-source): Update hash.
2020-12-29gnu: linux-libre 4.9: Update to 4.9.249.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.249. (linux-libre-4.9-pristine-source): Update hash.
2020-12-29gnu: linux-libre 4.14: Update to 4.14.213.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.213. (linux-libre-4.14-pristine-source): Update hash.
2020-12-30gnu: python2-pyqt: Don't propagate python-sip.Efraim Flashner
* gnu/packages/qt.scm (python2-pyqt)[native-inputs]: Move python2-sip ... [propagated-inputs]: ... to here.
2020-12-30gnu: python2-pyqt-4: Update to 4.12.3.Efraim Flashner
* gnu/packages/qt.scm (python2-pyqt-4): Update to 4.12.3.
2020-12-29gnu: readosm: Update source hash.Christopher Baines
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-29gnu: kfourinline: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kfourinline): Update to 20.12.0. [source]: Download from new upstream URI. [inputs]: Remove kdelibs4support.
2020-12-29gnu: kolf: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (kolf): Update to 20.12.0. [source]: Download from new upstream URI.
2020-12-29gnu: ktuberling: Update to 20.12.0.Efraim Flashner
* gnu/packages/games.scm (ktuberling): Update to 20.12.0. [source]: Update to new upstream URI. [native-inputs]: Add kdoctools. [inputs]: Remove kdelibs4support. Add kio, python-wrapper.