ocamlPackages.apron: 0.9.12 → 0.9.13

gstqt5
Vincent Laporte 2020-09-15 07:26:11 +02:00 committed by Vincent Laporte
parent 4e155d6be9
commit c06b0edde2
1 changed files with 2 additions and 2 deletions

View File

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-apron-${version}";
version = "0.9.12";
version = "0.9.13";
src = fetchFromGitHub {
owner = "antoinemine";
repo = "apron";
rev = "v${version}";
sha256 = "0bciv4wz52p57q0aggmvixvqrsd1slflfyrm1z6fy5c44f4fmjjn";
sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy";
};
buildInputs = [ perl gmp mpfr ppl ocaml findlib camlidl ];