mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 22:50:49 +00:00
Code Issues Wiki Activity

Merge pull request #57768 from gnidorah/pakcs

Browse source 
pakcs: 2.0.2 -> 2.1.1
This commit is contained in:
Ryan Mulligan 2019-04-02 07:26:40 -07:00 committed by GitHub
parent 3da8111bee 50ff1e15cf
commit 91daa7d3ac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -4823,9 +4823,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 { };