diff options
| author | Sergei Trofimovich <slyich@gmail.com> | 2023-02-02 11:54:12 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-02 11:54:12 +0000 |
| commit | a67949a3fca213ae0c6eddceaa0ec744ed670db5 (patch) | |
| tree | 11dc2b5cafe4f466740aed4c6778f23e47cf1f9b /pkgs/development/coq-modules/HoTT | |
| parent | b5a491579de92570ad8d42a4acaa0d1091d414d8 (diff) | |
| parent | ab04f4777b5e0fca66e2ebd51cc23eb7848b8269 (diff) | |
Merge pull request #211571 from bouk/bouk/boost-add-zstd-lzma
boost: add zstd and lzma support
Diffstat (limited to 'pkgs/development/coq-modules/HoTT')
0 files changed, 0 insertions, 0 deletions