diff options
| author | Ryan Mulligan <ryan@ryantm.com> | 2018-02-24 13:56:56 -0800 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-02-25 16:18:46 +0100 |
| commit | 81f04d6b494ab9f119b0ebaebc220da7dc5caf09 (patch) | |
| tree | 828e413ab1f45c3e239564d13b70010c3471700a /pkgs/development/python-modules/python-sql | |
| parent | 3c04b54205eb46bd3c50de470def4e237aca10c8 (diff) | |
acl2: 7.4 -> 8.0
Semi-automatic update; builds on NixOS
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions
