diff options
| author | Ryan Mulligan <ryan@ryantm.com> | 2018-03-19 21:03:33 -0700 |
|---|---|---|
| committer | Ryan Mulligan <ryan@ryantm.com> | 2018-03-19 21:03:33 -0700 |
| commit | 7770e378a1fe98a7f57682ccd8f86298713c5650 (patch) | |
| tree | 09809eaf5134ce4388047484ad4921820169a9a1 /pkgs/development/python-modules/python-sql | |
| parent | 8b097fc7f66a657467e566ea1c1ff94f66c5b03a (diff) | |
AgdaStdlib: 0.14 -> 0.15
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 0.15 with grep in /nix/store/6787gs55hpa46z4507ji4jz5za51lyqy-agda-stdlib-0.15
- directory tree listing: https://gist.github.com/386f03ce4900379ef75d5d01bcc2cebb
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions