nixpkgs/pkgs/applications/science/logic/potassco
2021-12-23 19:11:17 +01:00
..
clingcon.nix clingcon: 3.3.0 -> 5.0.0 2021-12-16 20:28:19 +01:00
clingo.nix potassco: switch to fetchFromGitHub 2021-12-23 19:11:17 +01:00
clingo.upstream