8 commits

Author	SHA1	Message	Date
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