add what4-domains

cc @fdedden
This commit is contained in:
Jens Petersen 2026-09-06 18:41:54 +08:00
parent c34a280bfc
commit f9b5c884c0

View File

@ -1896,6 +1896,7 @@ packages:
- parameterized-utils - parameterized-utils
- s-cargot - s-cargot
- what4 - what4
- what4-domains
- zenc - zenc
# copilot tests: # copilot tests:
- hedgehog-classes - hedgehog-classes