diff options
| author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2021-03-10 16:25:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-10 16:25:32 +0100 |
| commit | 1550a4fe6bc4e6daacba73eb305ec62492846466 (patch) | |
| tree | e8cb8000ac725b12034dff80344e3145fdde9e47 /pkgs/development/python-modules/rangehttpserver | |
| parent | 7cad6e22eadbb016da5a29a284d40640f66f3c66 (diff) | |
coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)
- This is the first packages which uses Dune in order to build and install
so I had to refactor build-support/coq/default.nix in order to support it.
- I added a new feature: one can now release.v.sha256 empty to try to download
with a fake sha256, hence failures are reported and one can copy paste the
sha256 given by the error message.
- I updated the documentation of languages-frameworks/coq.section.md accordingly.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions