diff options
| author | laMudri <lamudri@gmail.com> | 2016-05-21 16:05:08 +0100 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-05-21 17:27:31 +0100 |
| commit | 072ce88eb9b3774321bd70103027a5561f22b72b (patch) | |
| tree | 3fbbcc5338cf361b5bc6e9ffd159cc905a2937d5 /pkgs/development/python-modules/python-sql | |
| parent | 68e1419cb8eca6e306ec0a75f37621ae7aefabed (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