nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-20 11:05:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

fdr: 4.2.3 -> 4.2.7

Browse Source 
New releases/homepage are hosted on cocotec.io.
This commit is contained in:
Chua Hou 2021-06-07 00:01:45 +08:00
parent c43e0f4873
commit f38ee12908
No known key found for this signature in database
GPG Key ID: A7F9181F143648FD
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/programming/fdr/default.nix
View File

@ -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;