diff options
| author | Peter Simons <simons@cryp.to> | 2011-11-26 13:06:36 +0000 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2011-11-26 13:06:36 +0000 |
| commit | 88a8730beb1315297f96b816239524185839c2b2 (patch) | |
| tree | 9659597ab768c85f7e6489989d45d29f2cfd20a9 /pkgs/applications/science/logic/isabelle | |
| parent | a7b50dc5de0bcb3fda7b256ffce7e1a6026654ca (diff) | |
| download | nixlib-88a8730beb1315297f96b816239524185839c2b2.tar nixlib-88a8730beb1315297f96b816239524185839c2b2.tar.gz nixlib-88a8730beb1315297f96b816239524185839c2b2.tar.bz2 nixlib-88a8730beb1315297f96b816239524185839c2b2.tar.lz nixlib-88a8730beb1315297f96b816239524185839c2b2.tar.xz nixlib-88a8730beb1315297f96b816239524185839c2b2.tar.zst nixlib-88a8730beb1315297f96b816239524185839c2b2.zip | |
haskell-iteratee: added version 0.8.7.3
svn path=/nixpkgs/trunk/; revision=30572
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
0 files changed, 0 insertions, 0 deletions