summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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> pukkamustard2020-12-301-13/+41
* gnu: Add ocaml-dot-merlin-reader.•••* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard2020-12-301-0/+27
* 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> pukkamustard2020-12-301-4/+2
* gnu: Add ocaml-mdx.•••* gnu/packages/ocaml.scm (ocaml-mdx): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard2020-12-301-0/+49
* gnu: Add ocaml-version.•••* gnu/packages/ocaml.scm (ocaml-version): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard2020-12-301-0/+26
* 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> pukkamustard2020-12-301-21/+39
* 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> pukkamustard2020-12-301-3/+25
* 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> pukkamustard2020-12-301-2/+2
* gnu: Add ocaml-ounit2.•••* gnu/packages/ocaml.xyz (ocaml-ounit2): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard2020-12-301-0/+26
* 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> pukkamustard2020-12-301-24/+25
* 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> pukkamustard2020-12-301-18/+20
* 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> pukkamustard2020-12-301-62/+75
* 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> pukkamustard2020-12-301-25/+35
* 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> pukkamustard2020-12-301-64/+1
* gnu: Add sdcv.•••* gnu/packages/dictionaries.scm (sdcv): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> luhux2020-12-301-0/+51
* gnu: Add python-migen.•••* gnu/packages/fpga.scm (python-migen): New variable. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Vinicius Monego2020-12-301-0/+29
* gnu: Add ksshaskpass.•••* gnu/packages/kde-plasma.scm (ksshaskpass): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il> Z5722020-12-301-0/+30
* 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> Vincent Legoll2020-12-301-2/+2
* gnu: kjumpingcube: Update to 20.12.0.•••* gnu/packages/games.scm (kjumpingcube): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: ksquares: Update to 20.12.0.•••* gnu/packages/games.scm (ksquares): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kreversi: Update to 20.08.3.•••* gnu/packages/games.scm (kreversi): Update to 20.08.3. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-4/+4
* gnu: knavalbattle: Update to 20.12.0.•••* gnu/packages/games.scm (knavalbattle): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-4/+4
* gnu: killbots: Update to 20.12.0.•••* gnu/packages/games.scm (killbots): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: bovo: Update to 20.12.0.•••* gnu/packages/games.scm (bovo): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kspaceduel: Update to 20.12.0.•••* gnu/packages/games.scm (kspaceduel): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kapman: Update to 20.12.0.•••* gnu/packages/games.scm (kapman): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kubrick: Update to 20.12.0.•••* gnu/packages/games.scm (kubrick): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kiriki: Update to 20.12.0.•••* gnu/packages/games.scm (kiriki): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: ksirk: Update to 20.12.0.•••* gnu/packages/games.scm (ksirk): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: granatier: Update to 20.12.0.•••* gnu/packages/games.scm (granatier): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: bomber: Update to 20.12.0.•••* gnu/packages/games.scm (bomber): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: knetwalk: Update to 20.12.0.•••* gnu/packages/games.scm (knetwalk): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kblackbox: Update to 20.12.0.•••* gnu/packages/games.scm (kblackbox): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kgoldrunner: Update to 20.12.0.•••* gnu/packages/games.scm (kgoldrunner): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-4/+4
* gnu: ksudoku: Update to 20.12.0.•••* gnu/packages/games.scm (ksudoku): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kbounce: Update to 20.12.0.•••* gnu/packages/games.scm (kbounce): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: konquest: Update to 20.12.0.•••* gnu/packages/games.scm (konquest): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kmines: Update to 20.12.0.•••* gnu/packages/games.scm (kmines): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kbreakout: Update to 20.12.0.•••* gnu/packages/games.scm (kbreakout): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kajongg: Update to 20.12.0.•••* gnu/packages/games.scm (kajongg): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kshisen: Update to 20.12.0.•••* gnu/packages/games.scm (kshisen): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: kmahjongg: Update to 20.12.0.•••* gnu/packages/games.scm (kmahjongg): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* gnu: libkmahjongg: Update to 20.12.0.•••* gnu/packages/games.scm (libkmahjongg): Update to 20.12.0. [source]: Download from new upstream URI. Efraim Flashner2020-12-301-3/+3
* 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. Efraim Flashner2020-12-301-4/+11
* 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> Vincent Legoll2020-12-301-2/+2
* 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> Vincent Legoll2020-12-301-2/+2
* 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> Vincent Legoll2020-12-301-42/+44
* gnu: emacs-tramp: Update to 2.5.0.•••* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.5.0. Nicolas Goaziou2020-12-301-2/+2
* gnu: emacs-auctex: Update to 13.0.1.•••* gnu/packages/emacs-xyz.scm (emacs-auctex): Update to 13.0.1. Nicolas Goaziou2020-12-301-2/+2
* 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. Leo Famulari2020-12-291-2/+2
generated by cgit v1.2.3 (git 2.47.1) at 2025-01-21 13:39:07 +0000