nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-29 16:24:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

pakcs: 2.2.0 -> 2.2.1

Browse Source
This commit is contained in:
gnidorah 2020-10-27 14:02:44 +03:00
parent 2deeb58f49
commit 30c889090a
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/compilers/pakcs/default.nix
View File

@ -4,13 +4,14 @@
, curl, git, unzip, gnutar, coreutils, sqlite }:
let
name = "pakcs-2.2.0";
pname = "pakcs";
version = "2.2.1";
# Don't switch to development release without a reason, because its
# source updates without version bump. Prefer current release instead.
# Don't switch to "Current release" without a reason, because its
# source updates without version bump. Prefer last from "Older releases" instead.
src = fetchurl {
url = "https://www.informatik.uni-kiel.de/~pakcs/download/${name}-src.tar.gz";
sha256 = "0c0a6cp9lwha5i90kv9ya2zi1ggnvkf4gwjfzbffgwwa77s2wz2l";
url = "https://www.informatik.uni-kiel.de/~pakcs/download/pakcs-${version}-src.tar.gz";
sha256 = "1jyg29j8r8pgcin7ixdya6c3zzfjdi66rghpwrfnkk133fz4iz7s";
};
curry-frontend = (haskellPackages.override {
@ -26,7 +27,7 @@ let
};
}).curry-frontend;
in stdenv.mkDerivation {
inherit name src;
inherit pname version src;
buildInputs = [ swiProlog ];
nativeBuildInputs = [ which makeWrapper ];