nixpkgs/pkgs/applications/science/logic/cvc4
Austin Seipp 6cfc2caaeb nixpkgs/cvc4: touchups, add myself as maintainer
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-14 19:48:11 -05:00
..
default.nix nixpkgs/cvc4: touchups, add myself as maintainer 2015-06-14 19:48:11 -05:00