Merge pull request #125970 from chuahou/master
commit
515f84f386
|
@ -1,9 +1,10 @@
|
||||||
{lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages}:
|
{ lib, stdenv, fetchurl, qtbase, qtx11extras, ncurses5, xorg, zlib, python27Packages }:
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "fdr-4.2.3";
|
pname = "fdr";
|
||||||
|
version = "4.2.7";
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://www.cs.ox.ac.uk/projects/fdr/downloads/fdr-3789-linux-x86_64.tar.gz";
|
url = "https://dl.cocotec.io/fdr/fdr-3814-linux-x86_64.tar.gz";
|
||||||
sha256 = "0n2yqichym5xdawlgk3r7yha88k7ycnx6585jfrcm7043sls1i88";
|
sha256 = "0cajz1gz4slq9nfhm8dqdgxl0kc950838n0lrf8jw4vl54gv6chh";
|
||||||
};
|
};
|
||||||
|
|
||||||
libPath = lib.makeLibraryPath [
|
libPath = lib.makeLibraryPath [
|
||||||
|
@ -59,7 +60,7 @@ stdenv.mkDerivation {
|
||||||
'';
|
'';
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
homepage = "https://www.cs.ox.ac.uk/projects/fdr/";
|
homepage = "https://cocotec.io/fdr/";
|
||||||
description = "The CSP refinement checker";
|
description = "The CSP refinement checker";
|
||||||
license = licenses.unfreeRedistributable;
|
license = licenses.unfreeRedistributable;
|
||||||
platforms = platforms.linux;
|
platforms = platforms.linux;
|
||||||
|
|
Loading…
Reference in New Issue