From 1a0d41b34dd18828d5f38f3d8e31517df6aa0f57 Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Tue, 3 Sep 2019 23:14:45 +0200 Subject: gnu: ocaml-utop: Update to 2.4.1. * gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.1. (ocaml-lamdba-term): Update to 2.0.2. (ocaml-zed): Update to 2.0.3. --- gnu/packages/ocaml.scm | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index d66910cb4a..32e2a6e69a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3033,7 +3033,7 @@ function that follows the prototype of POSIX's wcwidth.") (define-public ocaml-zed (package (name "ocaml-zed") - (version "1.6") + (version "2.0.3") (source (origin (method git-fetch) @@ -3042,14 +3042,15 @@ function that follows the prototype of POSIX's wcwidth.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "00hhxcjf3bj3w2qm8nzs9x6vrqkadf4i0277s5whzy2rmiknj63v")))) + (base32 "0pa9awinqr0plp4b2az78dwpvh01pwaljnn5ydg8mc6hi7rmir55")))) (build-system dune-build-system) (arguments `(#:jbuild? #t #:test-target ".")) (propagated-inputs - `(("camomile" ,ocaml-camomile) - ("react" ,ocaml-react))) + `(("ocaml-camomile" ,ocaml-camomile) + ("ocaml-charinfo-width" ,ocaml-charinfo-width) + ("ocaml-react" ,ocaml-react))) (home-page "https://github.com/diml/zed") (synopsis "Abstract engine for text editing in OCaml") (description "Zed is an abstract engine for text edition. It can be used @@ -3060,7 +3061,7 @@ connect an engine to your inputs and rendering functions to get an editor.") (define-public ocaml-lambda-term (package (name "ocaml-lambda-term") - (version "1.13") + (version "2.0.2") (source (origin (method git-fetch) @@ -3069,7 +3070,7 @@ connect an engine to your inputs and rendering functions to get an editor.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0wwib20b2ir3h2g9zwhzn04cv160psb805skp8v23wqgyn5cnbh8")))) + (base32 "0zcjy6fvf0d3i2ssz96asl889n3r6bplyzk7xvb2s3dkxbgcisyy")))) (build-system dune-build-system) (arguments `(#:build-flags (list "--profile" "release") @@ -3091,7 +3092,7 @@ instead of bindings to a C library.") (define-public ocaml-utop (package (name "ocaml-utop") - (version "2.3.0") + (version "2.4.1") (source (origin (method git-fetch) @@ -3100,7 +3101,7 @@ instead of bindings to a C library.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "0xvibb97vzzh7yabr5ajhilriwz8cg4c506lxq0bd7ss3aci9han")))) + (base32 "1jm3sagissbw8012mnppknsxl9dqd9514b891b64disqhdb5awg3")))) (build-system dune-build-system) (arguments `(#:jbuild? #t -- cgit v1.2.3 113a63cf04a6b4b49a4679'>gnu: u-boot: Update to 2019.04....Vagrant Cascadian 2019-04-03gnu: Add configuration for depthcharge bootloader....Timothy Sample 2019-03-24bootloader: Add a 'keyboard-layout' field....Ludovic Courtès 2019-03-16bootloader: Use 'invoke/quiet' when running 'grub-install' and co....Ludovic Courtès 2019-03-13Remove traces of "GuixSD"....Ludovic Courtès 2018-11-22gnu: Add u-boot-pinebook....Vagrant Cascadian 2018-11-18bootloader: De-monadify configuration file generators....Ludovic Courtès 2018-09-14gnu: Rename "banana-pi" to "bananapi"....Danny Milosavljevic 2018-06-26bootloader: grub-efi: Identify as "GuixSD" instead of "grub"....Marius Bakke 2018-06-26bootloader: grub-efi: Support EFI directories relative to MOUNT-POINT....Marius Bakke 2018-06-01bootloader: grub: Use 'with-extensions'....Ludovic Courtès 2018-06-01bootloader: grub: Simplify 'svg->png'....Ludovic Courtès 2018-05-29system: Add u-boot-puma-rk3399....Vagrant Cascadian 2018-05-28file-systems: Remove 'title' field and add <file-system-label>....Ludovic Courtès 2018-05-18system: Add u-boot-pine64-plus installer....Vagrant Cascadian 2018-05-12bootloader: extlinux: Fix menu support with u-boot....Vagrant Cascadian 2018-05-11system: Add u-boot-novena installer....Vagrant Cascadian 2018-05-11system: Add wandboard installer....Vagrant Cascadian 2018-05-11system: Add mx6cuboxi installer....Vagrant Cascadian 2018-02-18gnu: Pass "--target=i386-pc" when installing GRUB for legacy BIOS....Ricardo Wurmus 2018-01-22system: Add A20 OLinuXino LIME installer....Danny Milosavljevic 2018-01-20system: Add Nintendo NES Classic Edition installer....Danny Milosavljevic 2018-01-20system: Add A20 OLinuXino MICRO installer....Danny Milosavljevic 2018-01-20system: Add A20 OLinuXino LIME2 installer....Danny Milosavljevic 2018-01-20system: Add Banana Pi M2 Ultra installer....Danny Milosavljevic 2017-12-15system: Add BeagleBone Black installer....Mathieu Othacehe 2017-12-15bootloader: Factorize write-file-on-device....Mathieu Othacehe 2017-12-04bootloader: extlinux: Stop using dd binary....Mathieu Othacehe 2017-11-23bootloader: extlinux: Fix device tree path....Mathieu Othacehe 2017-09-11system: Introduce a disjoint UUID type....Ludovic Courtès 2017-08-20gnu: grub-efi-bootloader: Specialize grub-install invocation....Andy Wingo 2017-08-03vm: Use grub-hybrid's grub-mkrescue....Danny Milosavljevic 2017-07-28bootloader: Use <menu-entry> for the bootloader side....Danny Milosavljevic 2017-07-15bootloader: Add u-boot....Danny Milosavljevic 2017-07-02gnu: Switch guile-cairo and dependents to Guile 2.2 again....Ludovic Courtès 2017-06-21bootloader: extlinux: Add extlinux-bootloader-gpt....Mathieu Othacehe 2017-06-08bootloader: Use menu-entry to define custom bootloader entries....Mathieu Othacehe 2017-05-21bootloader: extlinux: Add a warning message on top of generated conf file....Mathieu Othacehe 2017-05-18bootloader: extlinux: Remove syslinux-bootloader....Mathieu Othacehe 2017-05-18bootloader: extlinux: Remove undefined symbols from export list....Mathieu Othacehe 2017-05-16bootloader: Add extlinux support....Mathieu Othacehe