Karn Kallio
4587bbbca2
pakcs: update hash for latest version.
2014-04-23 10:54:58 +02:00
Karn Kallio
db21a0da97
pakcs: update hash for 1.11.3 release, which was updated without a version change.
2014-03-31 21:40:50 +02:00
Karn Kallio
19027ca0a6
pakcs: advance version to 1.11.3, which is compatible with SWI Prolog 6.6
2014-02-05 23:06:51 +01:00
Karn Kallio
5c95ebf300
pakcs: update to version 1.11.2
2013-05-10 14:41:29 +02:00
Eelco Dolstra
a5606a1d9a
pakcs: Disable in Hydra because the build doesn't terminate
...
It appears to loop saying:
ERROR: load_files/2: No permission to load source `/tmp/nix-build-pakcs-1.10.0.drv-1/pakcs/lib/.curry/pakcs/Prelude.pl' (Non-module file already loaded into module prologbasics; trying to load into user)
http://hydra.nixos.org/build/4760096
2013-04-26 11:09:13 +02:00
Peter Simons
7596ce3dbb
Remove myself as maintainer of these packages.
2012-09-11 18:22:31 +02:00
Karn Kallio
ea102b34f6
Patch PAKCS to build with GHC 7.4.1 .
...
Also fix symbolic links to emacs lisp files.
svn path=/nixpkgs/trunk/; revision=34430
2012-06-11 06:05:18 +00:00
Peter Simons
7873ce2793
pakcs: updated to version 1.10.0
...
svn path=/nixpkgs/trunk/; revision=32839
2012-03-06 22:27:20 +00:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Peter Simons
c9a0666da7
pkgs/development/compilers/pakcs: minor cosmetic changes
...
svn path=/nixpkgs/trunk/; revision=29354
2011-09-19 16:38:43 +00:00
Karn Kallio
7df7521dd1
Add the PAKCS (Portland Aachen Kiel Curry System) Curry compiler to Nixpkgs.
...
svn path=/nixpkgs/trunk/; revision=26497
2011-03-24 19:22:30 +00:00
