diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2012-05-16 22:04:02 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2012-05-16 22:04:02 +0000 |
commit | cfc8538326100117fca6cec3df4bb7f8e22ef182 (patch) | |
tree | 1567d5c68b7712f4d0c9186520a728dde6e51f10 /pkgs/tools | |
parent | 503576d27708c1196bed931d78de8ab848aa4246 (diff) |
Updating coq and ssreflect to patch level 4.
svn path=/nixpkgs/trunk/; revision=34146
Diffstat (limited to 'pkgs/tools')
0 files changed, 0 insertions, 0 deletions