diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-10-11 23:27:57 +0100 |
---|---|---|
committer | Aristid Breitkreuz <aristidb@gmail.com> | 2014-10-12 16:21:02 +0200 |
commit | 531b44562a5f5f1f2318d5b6f2763036639739bd (patch) | |
tree | bc926b2549c9229d52fdc30e147dd50c7b0985d0 /pkgs/applications/science/logic/why3 | |
parent | 950adbe4873b4f9e7537f58b984ad51655a32681 (diff) |
why3: update from 0.83 to 0.85
Diffstat (limited to 'pkgs/applications/science/logic/why3')
-rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index 71ff1cc7fb479..70149522393a0 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -2,21 +2,21 @@ stdenv.mkDerivation rec { name = "why3-${version}"; - version = "0.83"; + version = "0.85"; src = fetchurl { - url = "https://gforge.inria.fr/frs/download.php/33490/${name}.tar.gz"; - sha256 = "1jcs5vj91ppbgh4q4hch89b63wgakjhg35pm3r4jwhp377lnggya"; + url = "https://gforge.inria.fr/frs/download.php/34074/why3-0.85.tar.gz"; + sha256 = "0sj1pd50lqvnvyss1f8ysgigdi64s91rrpdrmp7crmcy1npa8apf"; }; buildInputs = with ocamlPackages; [ coq ocaml findlib lablgtk ocamlgraph zarith ]; - meta = { - description = "why is a software verification platform"; + meta = with stdenv.lib; { + description = "A platform for deductive program verification"; homepage = "http://why3.lri.fr/"; - license = stdenv.lib.licenses.lgpl21; - platforms = stdenv.lib.platforms.linux; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + license = licenses.lgpl21; + platforms = platforms.unix; + maintainers = with maintainers; [ thoughtpolice vbgl ]; }; } |