diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-27 12:08:31 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-27 12:09:19 +0200 |
| commit | 2e5f2e0bbf5a34b6d49293a1c2099123a781fc52 (patch) | |
| tree | 36e083e3af2334b5132879a663fb7a5bad9737ea /dune-workspace | |
| parent | 08f1534588695c295e84234082120b7065c8a324 (diff) | |
chore(manifest): add pkg-config and gmp library
Diffstat (limited to 'dune-workspace')
0 files changed, 0 insertions, 0 deletions