Revert "Added K Framework package."
This reverts commit de021109. The package doesn't compile: https://github.com/NixOS/nixpkgs/pull/7419#issuecomment-135972366.
parent
fe0d91a0
Please register or sign in to comment
This reverts commit de021109. The package doesn't compile: https://github.com/NixOS/nixpkgs/pull/7419#issuecomment-135972366.