diff options
| author | laMudri <lamudri@gmail.com> | 2016-06-07 10:54:32 +0100 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-06-07 11:19:12 +0100 |
| commit | 949ede3d2fa91315868801b542c26b76e5d3333b (patch) | |
| tree | 74cfaf0a4f75060c56b5fd3b0309336e67f1f008 /pkgs/development/python-modules/python-sql | |
| parent | 2e712b501c62b9ec11882421427591e80e48ccbc (diff) | |
agda-prelude: 2014-09-27 -> 2016-04-18
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions