diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-05 18:44:42 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-05 18:44:42 +0000 |
commit | c0f343b7527e5c706dfc687b4bd0f17143afd0ef (patch) | |
tree | 5b035aa851b94d17fc3393a5bbd868be71c173b2 /pkgs/development/libraries/libssh2 | |
parent | 5f8b8ae1d1577aea8b7fccf68abd5fc777135287 (diff) | |
download | nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.gz nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.bz2 nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.lz nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.xz nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.tar.zst nixpkgs-c0f343b7527e5c706dfc687b4bd0f17143afd0ef.zip |
Update Coq to version 8.2pl2 (patch by roconnor)
svn path=/nixpkgs/trunk/; revision=22971
Diffstat (limited to 'pkgs/development/libraries/libssh2')
0 files changed, 0 insertions, 0 deletions