diff options
| author | Shea Levy <shea@shealevy.com> | 2021-07-23 07:42:26 -0400 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2021-07-23 07:42:26 -0400 |
| commit | 36935f973699f7ed87b5d64497f50661c6261e4d (patch) | |
| tree | 8b6c08200bec5481e27186007ee6f8f568ce8864 /pkgs/development/python-modules/rangehttpserver | |
| parent | 5c96c4d2845fd6224a2a8709d67b21369a4206c8 (diff) | |
agdaPackages.cubical: 0.2 -> 0.3pred5030a9
0.2 does not build with agda 2.6.2
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions