summary refs log tree commit diff
path: root/pkgs/applications/science/logic/isabelle/default.nix
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2011-11-26 13:06:42 +0000
committerPeter Simons <simons@cryp.to>2011-11-26 13:06:42 +0000
commit499b2c47d9f419f01e1bf9e9faf50942c8d03a5c (patch)
treed46b16a4514c85d0b530dc04981ff71d08d299d8 /pkgs/applications/science/logic/isabelle/default.nix
parent88a8730beb1315297f96b816239524185839c2b2 (diff)
downloadnixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar.gz
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar.bz2
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar.lz
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar.xz
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.tar.zst
nixpkgs-499b2c47d9f419f01e1bf9e9faf50942c8d03a5c.zip
haskell-hakyll: updated to version 3.2.3.0
svn path=/nixpkgs/trunk/; revision=30573
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
0 files changed, 0 insertions, 0 deletions