| commit | 3d55bf022e9f36efa157d6bcd9c81da1c4114e7e | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Fri, 11 Dec 2009 16:18:27 +0000 (11 16:18 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Fri, 11 Dec 2009 16:18:27 +0000 (11 16:18 +0000) | ||
| tree | c866fd32bdf63ab92d6ac1846f1dd4c4a7dbfa94 | treesnapshot (tar.gz zip) |
| parent | bf930a247e82cd25478ec4eb01cf246e4a6f16ab | commitdiff |
Add expression for ProofGeneral
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18904 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@18904 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/editors/emacs-modes/proofgeneral/default.nix | [new file with mode: 0644] | blob |
| pkgs/top-level/all-packages.nix | diffblobblamehistory |