void-packages/srcpkgs/picosat
..
template picosat: split libpicosat, enable trace 2021-07-03 23:32:16 +02:00