nixpkgs/pkgs/applications/editors/emacs-modes/proofgeneral
Mateusz Kowalczyk 007f80c1d0 Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
2014-11-06 00:48:16 +00:00
..
4.2.nix
4.3pre.nix Turn more licenses into lib.licenses style 2014-11-06 00:48:16 +00:00
pg.patch