depot/third_party/nixpkgs/pkgs/applications/science/logic/potassco
Default email 1ae14203fc Project import generated by Copybara.
GitOrigin-RevId: 68398d2dd50efc2d878bf0f83bbc8bc323b6b0e0
2021-01-17 01:15:33 +01:00
..
clingcon.nix Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
clingo.nix Project import generated by Copybara. 2021-01-17 01:15:33 +01:00
clingo.upstream Project import generated by Copybara. 2020-04-24 19:36:52 -04:00