diff options
| author | laMudri <lamudri@gmail.com> | 2016-05-21 16:02:15 +0100 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-05-21 17:27:19 +0100 |
| commit | 68e1419cb8eca6e306ec0a75f37621ae7aefabed (patch) | |
| tree | 6258d5cd6aa4d7edb079ddd3209c97697b18d633 /pkgs/development/python-modules/python-sql | |
| parent | d541e0dc1c05f5514bf30f8039e687adddb45616 (diff) | |
Agda: prebuild all of the new builtin modules
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions