diff options
| author | Joachim Fasting <joachifm@users.noreply.github.com> | 2016-05-23 08:23:55 +0200 |
|---|---|---|
| committer | Joachim Fasting <joachifm@users.noreply.github.com> | 2016-05-23 08:23:55 +0200 |
| commit | ce4f6c215f2f34435638113421dd291a57d16715 (patch) | |
| tree | ba83247c37925861c01f23b08833f205b2f8190d /pkgs/development/python-modules/python-sql | |
| parent | 7817d0901d44ba97e5862e94840098e2b97d8631 (diff) | |
| parent | 6343cf8ae7e593db58d476e36396ecb9670bd501 (diff) | |
Merge pull request #15595 from laMudri/agda-stdlib
Agda: 2.4.2.3 -> 2.5.1
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions