diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2017-10-13 15:35:27 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2017-10-13 15:35:27 +0100 |
| commit | 0ef6e215ff74df480db984aac0c832b0a57d98f8 (patch) | |
| tree | 321a632427656d663359dbff9b8c6396c0312775 /pkgs/development/python-modules/python-sql | |
| parent | 6e7f35c0b6d1af609d2a8cce216a92f86ed15550 (diff) | |
Agda: package builds fine these days
Tested with 8.0.2 and 8.2.1.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions