diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-08-02 13:57:57 +0000 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-08-02 13:57:57 +0000 |
| commit | fd268b4852d39c18e604c584dd49a611dc795a9b (patch) | |
| tree | 735b9815cd2e4d6c74a6124e81b59b7d5bfdd304 /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | 9ef0f1b93532be0c006f266f482d841ef4b25a0e (diff) | |
| download | nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar.gz nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar.bz2 nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar.lz nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar.xz nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.tar.zst nixpkgs-fd268b4852d39c18e604c584dd49a611dc795a9b.zip | |
* Add callPackage etc.
svn path=/nixpkgs/trunk/; revision=22876
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
0 files changed, 0 insertions, 0 deletions