diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2011-11-26 18:45:15 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-11-26 18:45:15 +0000 |
commit | bf394d80ec1d03bbed699c42f98bdba2ab71913c (patch) | |
tree | 657bf4e8f1eba4abf45914e0584b079cf49ba1a4 /pkgs/applications/science/logic/satallax | |
parent | 499b2c47d9f419f01e1bf9e9faf50942c8d03a5c (diff) | |
download | nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar.gz nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar.bz2 nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar.lz nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar.xz nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.tar.zst nixpkgs-bf394d80ec1d03bbed699c42f98bdba2ab71913c.zip |
Update url for Isabelle2011
svn path=/nixpkgs/trunk/; revision=30574
Diffstat (limited to 'pkgs/applications/science/logic/satallax')
0 files changed, 0 insertions, 0 deletions