diff options
| author | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-06-23 14:17:43 -0500 |
|---|---|---|
| committer | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-06-24 13:27:56 -0500 |
| commit | c454c6855ee7fa149e0086a7e8a2ef33f700e932 (patch) | |
| tree | b60f9cb9af24fefd7fef058e9dbc6613a60144e1 /pkgs/development/python-modules/rangehttpserver | |
| parent | 65db0350fe3962c41b8604046ec9166976f80793 (diff) | |
idris2: 0.3.0 → 0.4.0
v0.4.0:
- Added gmp as a build dependency
- Removed bootstrap-test (test still available and more general)
- Renamed bootstrap-build to bootstrap (bootstrap previously did
bootstrap-build and bootstrap-test)
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions