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

why3: 1.5.0 → 1.5.1

Browse Source
This commit is contained in:
Vincent Laporte 2022-09-16 13:29:18 +02:00
parent d7772a6871
commit cccc3b53f4
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,11 +3,11 @@
stdenv.mkDerivation rec {
pname = "why3";
version = "1.5.0";
version = "1.5.1";
src = fetchurl {
url = "https://why3.gitlabpages.inria.fr/releases/${pname}-${version}.tar.gz";
sha256 = "sha256:0qjh49pyqmg3xi09fn4lyzz23i6h18y9sgc8ayscvx3bwr3vcqhr";
sha256 = "sha256-vNR7WeiSvg+763GcovoZBFDfncekJMeqNegP4fVw06I=";
};
buildInputs = with ocamlPackages; [