nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 21:53:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
d0ed7ee0b0
nixpkgs/pkgs/applications/science/logic/potassco
History
Felix Buehler cb448459d0 potassco: switch to fetchFromGitHub
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