diff options
author | Chua Hou <human+github@chuahou.dev> | 2021-06-07 00:01:45 +0800 |
---|---|---|
committer | Chua Hou <human+github@chuahou.dev> | 2021-06-07 11:42:30 +0800 |
commit | f38ee1290806d24d1cd49511fb76ff60599bdf19 (patch) | |
tree | 5d9a6636511fdb8d249421d7a8b6d6f629781d25 /pkgs | |
parent | c43e0f48735f2e839b656b7b1ec792babeed6a15 (diff) | |
download | nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar.gz nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar.bz2 nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar.lz nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar.xz nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.tar.zst nixpkgs-f38ee1290806d24d1cd49511fb76ff60599bdf19.zip |
fdr: 4.2.3 -> 4.2.7
New releases/homepage are hosted on cocotec.io.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/programming/fdr/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/applications/science/programming/fdr/default.nix b/pkgs/applications/science/programming/fdr/default.nix index 8beecf2def9..62e4c6876fd 100644 --- a/pkgs/applications/science/programming/fdr/default.nix +++ b/pkgs/applications/science/programming/fdr/default.nix @@ -1,9 +1,10 @@ -{lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages}: +{ lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages }: stdenv.mkDerivation { - name = "fdr-4.2.3"; + pname = "fdr"; + version = "4.2.7"; src = fetchurl { - url = "https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3789-linux-x86_64.tar.gz"; - sha256 = "0n2yqichym5xdawlgk3r7yha88k7ycnx6585jfrcm7043sls1i88"; + url = "https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz"; + sha256 = "0cajz1gz4slq9nfhm8dqdgxl0kc950838n0lrf8jw4vl54gv6chh"; }; libPath = lib.makeLibraryPath [ @@ -59,7 +60,7 @@ stdenv.mkDerivation { ''; meta = with lib; { - homepage = "https://www.cs.ox.ac.uk/projects/fdr/"; + homepage = "https://cocotec.io/fdr/"; description = "The CSP refinement checker"; license = licenses.unfreeRedistributable; platforms = platforms.linux; |