public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #50487 from gnidorah/pakcs 

pakcs: 2.0.2-b9 -> 2.0.2
This commit is contained in:
Jörg Thalheim 2018-11-17 10:35:01 +00:00 committed by GitHub
parent 80738ed9dc 7142a3a8ec
commit 55992b07a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,9 +6,11 @@
let
name = "pakcs-2.0.2";
# 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 = "086nbsfv363cwrfxzhs54ggdwwkh1ms0pn0v1a4lvqlksjm7jdhv";
sha256 = "1hm80gvpsifbsfi13i0iiv7f2b72ymw98bbrm6a8hjsbnfw55jvg";
};
curry-frontend = (haskellPackages.override {