diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-11 16:18:27 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-11 16:18:27 +0000 |
commit | 218bdaf214b13cdd01de00ca00285e36a718e72a (patch) | |
tree | c866fd32bdf63ab92d6ac1846f1dd4c4a7dbfa94 /pkgs/applications/science | |
parent | f7fb37244040fd1c3e098cf268b3318fccb3af78 (diff) | |
download | nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.gz nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.bz2 nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.lz nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.xz nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.zst nixpkgs-218bdaf214b13cdd01de00ca00285e36a718e72a.zip |
Add expression for ProofGeneral
svn path=/nixpkgs/trunk/; revision=18904
Diffstat (limited to 'pkgs/applications/science')
0 files changed, 0 insertions, 0 deletions