diff options
| author | Enrico Tassi <Enrico.Tassi@Inria.fr> | 2022-02-08 14:17:39 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-16 17:57:06 +0100 |
| commit | bdc4892773d224746667399dc5b24f9a7e3a28c4 (patch) | |
| tree | 4a9d77eaf372beaa5eac4949655ce31a7ed475f2 | |
| parent | 6feacda6d842e069a8812f28be662a74cab64d5f (diff) | |
| download | nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar.gz nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar.bz2 nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar.lz nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar.xz nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.tar.zst nixpkgs-bdc4892773d224746667399dc5b24f9a7e3a28c4.zip | |
elpi: 1.13.8 -> 1.14.1
| -rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 4412f568508..0770f3a48d4 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -2,11 +2,12 @@ , re, perl, ncurses , ppxlib, ppx_deriving , ppxlib_0_15, ppx_deriving_0_15 -, version ? "1.13.7" +, version ? "1.14.1" }: with lib; let fetched = import ../../../build-support/coq/meta-fetch/default.nix {inherit lib stdenv fetchzip; } ({ + release."1.14.1".sha256 = "sha256-BZPVL8ymjrE9kVGyf6bpc+GA2spS5JBpkUtZi04nPis="; release."1.13.7".sha256 = "10fnwz30bsvj7ii1vg4l1li5pd7n0qqmwj18snkdr5j9gk0apc1r"; release."1.13.5".sha256 = "02a6r23mximrdvs6kgv6rp0r2dgk7zynbs99nn7lphw2c4189kka"; release."1.13.1".sha256 = "12a9nbdvg9gybpw63lx3nw5wnxfznpraprb0wj3l68v1w43xq044"; |