elpi: 1.6.0 -> 1.7.0

This commit is contained in:
Marco Maggesi 2019-10-07 15:47:37 +02:00
parent abbf89ddb3
commit c70d7fa760

View file

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