Added ansigraph & minisat.

This commit is contained in:
Andreas Ländle 2025-05-15 09:48:36 +02:00
parent fad750c8a9
commit 24814a74de

View File

@ -5328,6 +5328,7 @@ packages:
- aeson-optics
- alsa-mixer
- animalcase
- ansigraph
- appar
- arrows
- asn1-encoding
@ -5578,6 +5579,7 @@ packages:
- mersenne-random-pure64
- mfsolve
- microstache
- minisat
- minisat-solver
- missing-foreign
- mmap