diff options
| author | Marco <marco.maggesi@gmail.com> | 2015-06-03 11:06:51 +0200 |
|---|---|---|
| committer | Marco <marco.maggesi@gmail.com> | 2015-06-03 11:17:39 +0200 |
| commit | 3af4c7065dfceb6e76537f2e9fe023a1e191c722 (patch) | |
| tree | 9018ba638b1051f666d7118499ef86253101bfb5 /pkgs/development/python-modules/python-sql | |
| parent | 6e0ca8cd11333be9e79451a154f73be827c0d495 (diff) | |
Update HOL Light to svn r232 (2015-05-31)
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions