Peter Simons 69b648ea95 Revert "Added K Framework package." ... This reverts commit de0211090334c2d562ee8560a298d5f5f76b40b3. The package doesn't compile: https://github.com/NixOS/nixpkgs/pull/7419#issuecomment-135972366.		2015-08-29 15:38:33 +02:00
..
plm	New package PLM: Programmer's Learning Machine	2015-02-13 16:06:19 +01:00