diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-03-07 09:56:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-07 09:56:18 +0100 |
| commit | dcfccdfc3361dbf9b07893e5e6021740cf3793a6 (patch) | |
| tree | 62c7e68965b2d0a713eee9235bae1d23a84f0388 /pkgs/applications/science/logic | |
| parent | d0e0acadbb121280896075dc8b79b9838f91b89d (diff) | |
| download | nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar.gz nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar.bz2 nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar.lz nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar.xz nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.tar.zst nixpkgs-dcfccdfc3361dbf9b07893e5e6021740cf3793a6.zip | |
acgtk: 1.5.0 → 1.5.1 (#81539)
Co-authored-by: Jon <jonringer@users.noreply.github.com>
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/acgtk/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/acgtk/default.nix b/pkgs/applications/science/logic/acgtk/default.nix index 729aef4e21c..b7dc9571247 100644 --- a/pkgs/applications/science/logic/acgtk/default.nix +++ b/pkgs/applications/science/logic/acgtk/default.nix @@ -2,15 +2,16 @@ stdenv.mkDerivation { - name = "acgtk-1.5.0"; + pname = "acgtk"; + version = "1.5.1"; src = fetchurl { - url = http://calligramme.loria.fr/acg/software/acg-1.5.0-20181019.tar.gz; - sha256 = "14n003gxzw5w79hlpw1ja4nq97jqf9zqyg00ihvpxw4bv9jlm8jm"; + url = https://acg.loria.fr/software/acg-1.5.1-20191113.tar.gz; + sha256 = "17595qfwhzz5q091ak6i6bg5wlppbn8zfn58x3hmmmjvx2yfajn1"; }; buildInputs = [ dune ] ++ (with ocamlPackages; [ - ocaml findlib ansiterminal cairo2 fmt logs menhir mtime ocf + ocaml findlib ansiterminal cairo2 cmdliner fmt logs menhir mtime yojson ]); buildPhase = "dune build"; @@ -18,7 +19,7 @@ stdenv.mkDerivation { inherit (dune) installPhase; meta = with stdenv.lib; { - homepage = http://calligramme.loria.fr/acg/; + homepage = https://acg.loria.fr/; description = "A toolkit for developing ACG signatures and lexicon"; license = licenses.cecill20; inherit (ocamlPackages.ocaml.meta) platforms; |