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

why3: 1.6.0 → 1.7.0

Browse Source
This commit is contained in:
Vincent Laporte 2023-11-30 05:41:53 +01:00
parent 556712bb7c
commit ef6c49fa50
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/logic/why3/default.nix
View File

@ -1,13 +1,18 @@
{ callPackage, fetchurl, lib, stdenv
, ocamlPackages, coqPackages, rubber, hevea, emacs }:
, ocamlPackages, coqPackages, rubber, hevea, emacs
, version ? "1.7.0"
}:
stdenv.mkDerivation rec {
pname = "why3";
version = "1.6.0";
inherit version;
src = fetchurl {
url = "https://why3.gitlabpages.inria.fr/releases/${pname}-${version}.tar.gz";
hash = "sha256-hFvM6kHScaCtcHCc6Vezl9CR7BFbiKPoTEh7kj0ZJxw=";
hash = {
"1.7.0" = "sha256-rygrjzuJVukOvpuXTG/yeoEP98ZFkLQHObgc3My1PVY=";
"1.6.0" = "sha256-hFvM6kHScaCtcHCc6Vezl9CR7BFbiKPoTEh7kj0ZJxw=";
}."${version}";
};
strictDeps = true;

4
pkgs/top-level/all-packages.nix
View File

@ -19167,7 +19167,9 @@ with pkgs;
fprettify = callPackage ../development/tools/fprettify { };
framac = callPackage ../development/tools/analysis/frama-c { };
framac = callPackage ../development/tools/analysis/frama-c {
why3 = pkgs.why3.override { version = "1.6.0"; };
};
frame = callPackage ../development/libraries/frame { };