diff options
| author | Peder Bergebakken Sundt <pbsds@hotmail.com> | 2023-11-29 15:10:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-29 15:10:45 +0100 |
| commit | 52185213f6d008cbe0138362ad35ec3ef883db48 (patch) | |
| tree | e44ee6a0960b0bb99caeffaa308247cd6f91bbb8 /pkgs/development/coq-modules/Verdi/default.nix | |
| parent | a10facb775d194000eb9e123041fc87e40f423bf (diff) | |
| parent | 0f45ffcaff7250e9f61dd3c6f3b3bb1191ea477a (diff) | |
Merge pull request #270895 from NixOS/backport-270506-to-release-23.11
[Backport release-23.11] python311Packages.hdbscan: fix build
Diffstat (limited to 'pkgs/development/coq-modules/Verdi/default.nix')
0 files changed, 0 insertions, 0 deletions