mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-03 02:51:18 +00:00
424936ed33
Co-authored-by: Gabriel Ebner <gebner@gebner.org> Update pkgs/applications/science/logic/cvc4/default.nix Co-authored-by: Gabriel Ebner <gebner@gebner.org> |
||
---|---|---|
.. | ||
default.nix | ||
minisat-fenv.patch |