mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-01 01:20:17 +02:00
9c83a461e5
Reported in https://github.com/Z3Prover/z3/issues/5776 and fixed in
|
||
---|---|---|
.. | ||
default.nix |