tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom

coq-flocq: 2.5.0 -> 2.5.1

Vincent Laporte 2027caa8 3553258b

+3 -3
unified split
+3 -3
pkgs/development/coq-modules/flocq/default.nix
··· 3 stdenv.mkDerivation rec { 4 5 name = "coq-flocq-${coq.coq-version}-${version}"; 6 - version = "2.5.0"; 7 8 src = fetchurl { 9 - url = https://gforge.inria.fr/frs/download.php/file/35091/flocq-2.5.0.tar.gz; 10 - sha256 = "0v3qiaz7vxfc5nk8rxwi39mik7hm7p5kb040q2pimb69qgfl6vml"; 11 }; 12 13 buildInputs = [ coq.ocaml coq.camlp5 bash which autoconf automake ];
··· 3 stdenv.mkDerivation rec { 4 5 name = "coq-flocq-${coq.coq-version}-${version}"; 6 + version = "2.5.1"; 7 8 src = fetchurl { 9 + url = https://gforge.inria.fr/frs/download.php/file/35430/flocq-2.5.1.tar.gz; 10 + sha256 = "1a0gznvg32ckxgs3jzznc1368p8x2ny4vfwrnavb3h0ljcl1mlzy"; 11 }; 12 13 buildInputs = [ coq.ocaml coq.camlp5 bash which autoconf automake ];