diff options
| author | mingmingrr <12855406+mingmingrr@users.noreply.github.com> | 2025-06-01 11:21:59 -0400 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-06-23 08:55:54 +0200 |
| commit | a74b6c323b37586fbc97b87e323125407cc2204f (patch) | |
| tree | 767f8d9c5e22156df6214423b94e68ced569a867 /pkgs/development/python-modules/rangehttpserver | |
| parent | 8c9edecd5df313613f05e0d708d2e5670c326d52 (diff) | |
cvc5: enable libpoly and drop antlr
libpoly needed to run with --nl-conv
antlr parser support was dropped in 1.0.6
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions