philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
nixpkgs/pkgs/applications/editors/emacs-modes/proofgeneral
History
John Wiegley 073933101e proofgeneral: Delete default.nix for proofgeneral
2014-06-20 22:36:06 -07:00
..
4.2.nix
4.3pre.nix