dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

cryptoverif: 2.08pl1 -> 2.09

Browse Source 
f32a46b5ac/CHANGES
This commit is contained in:
Martin Joerg 2024-05-30 10:32:47 +02:00 committed by Vincent Laporte
parent 209a02747d
commit df5a102839
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/applications/science/logic/cryptoverif/default.nix
View File

@ -1,12 +1,12 @@
{ lib, stdenv, fetchurl, ocaml }:
stdenv.mkDerivation rec {
stdenv.mkDerivation (finalAttrs: {
pname = "cryptoverif";
version = "2.08pl1";
version = "2.09";
src = fetchurl {
url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${version}.tar.gz";
hash = "sha256-rmORSZuhds9W2WpNgYf4AJM2jgEUPoJit4G64qLqj5w=";
url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz";
hash = "sha256-FJlPZgTUZ+6HzhG/B0dOiVIjDvoCnF6yg2E9UriSojw=";
};
/* Fix up the frontend to load the 'default' cryptoverif library
@ -48,4 +48,4 @@ stdenv.mkDerivation rec {
platforms = lib.platforms.unix;
maintainers = [ lib.maintainers.thoughtpolice ];
};
}
})