mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-21 12:59:04 +02:00
7006d97373
Also add install check to verify all dependencies (ie. z3) work |
||
---|---|---|
.. | ||
bochs | ||
boogie |