diff options
| author | laMudri <lamudri@gmail.com> | 2016-06-07 10:52:55 +0100 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-06-07 11:17:37 +0100 |
| commit | 2e712b501c62b9ec11882421427591e80e48ccbc (patch) | |
| tree | 8b3237616573120a5a71bc3b065c7d2f07798da9 /pkgs/development/python-modules/python-sql | |
| parent | 55cde25347eaff5943da56b16a6177866d5ffe8c (diff) | |
agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions