dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

pakcs: 2.0.2 -> 2.1.1

Browse Source
This commit is contained in:
gnidorah 2019-03-17 00:15:35 +03:00
parent 3042cdc267
commit 50ff1e15cf
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,13 +4,13 @@
, curl, git, unzip, gnutar, coreutils, sqlite }:
let
name = "pakcs-2.0.2";
name = "pakcs-2.1.1";
# Don't switch to development release without a reason, because its
# source updates without version bump. Prefer current release instead.
src = fetchurl {
url = "https://www.informatik.uni-kiel.de/~pakcs/download/${name}-src.tar.gz";
sha256 = "1hm80gvpsifbsfi13i0iiv7f2b72ymw98bbrm6a8hjsbnfw55jvg";
sha256 = "112v9ynqfbbm4x770mcfrai9v5bh7c3zn7jka80pv6v4y65r778c";
};
curry-frontend = (haskellPackages.override {

4
pkgs/top-level/all-packages.nix
View File

@ -4764,9 +4764,7 @@ in
pagmo2 = callPackage ../development/libraries/pagmo2 { };
pakcs = callPackage ../development/compilers/pakcs {
haskellPackages = haskell.packages.ghc844;
};
pakcs = callPackage ../development/compilers/pakcs { };
pal = callPackage ../tools/misc/pal { };