| commit | 18af058be8cc0cd6f35768aa557f4ea0f31da26e | |
| author | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Mon, 3 Jan 2011 13:49:15 +0000 (3 13:49 +0000) | ||
| committer | maggesi <maggesi@70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb> | |
| Mon, 3 Jan 2011 13:49:15 +0000 (3 13:49 +0000) | ||
| tree | 38dff0d09285b38a59ea2e531f7aa07723146d38 | treesnapshot (tar.gz zip) |
| parent | 6adc8aa75b2a494e571416b513f3c9dee1c0e116 | commitdiff |
* Coq: fix compilation of coqide (path to lablgkt)
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@25360 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
git-svn-id: https://svn.nixos.org/repos/nix/nixpkgs/trunk@25360 70bd8c7a-acb8-0310-9f0d-9cc1c95dcdbb
| pkgs/applications/science/logic/coq/default.nix | diffblobblamehistory |