depot/third_party/nixpkgs/pkgs/applications/science/logic/cbmc
Default email c594a97518 Project import generated by Copybara.
GitOrigin-RevId: 301aada7a64812853f2e2634a530ef5d34505048
2022-10-21 20:38:19 +02:00
..
0001-Do-not-download-sources-in-cmake.patch Project import generated by Copybara. 2022-08-21 15:32:41 +02:00
default.nix Project import generated by Copybara. 2022-10-21 20:38:19 +02:00