public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3

Browse Source
This commit is contained in:
Cyril Cohen
2020-03-03 14:10:12 +01:00
committed by Vincent Laporte
parent 4c00e6f654
commit 66a7f5d4e2
2 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/elpi/default.nix
View File

@@ -4,13 +4,13 @@
buildDunePackage rec {
pname = "elpi";
version = "1.7.0";
version = "1.10.2";
src = fetchFromGitHub {
owner = "LPCIC";
repo = "elpi";
rev = "v${version}";
sha256 = "1q6s3x4gba0hdymlgj4rf1bny4v7ac4jj7q134cwd3sxiwqcyhww";
sha256 = "0w5z0pxyshqawq7w5rw3nqii49y88rizvwqf202pl11xqi14icsn";
};
minimumOCamlVersion = "4.04";