nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-01 18:44:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
120cde3c5d
nixpkgs/pkgs/applications/science/logic/potassco
History
Robert Scott 17b62c338f
Merge pull request #175039 from azahi/clingcon-fix 
clingcon: fix build
2022-05-28 12:40:54 +01:00
..
clingcon_limits.patch clingcon: fix build 2022-05-28 02:21:13 +03:00
clingcon.nix clingcon: fix build 2022-05-28 02:21:13 +03:00
clingo.nix clingo: 5.5.1 -> 5.5.2 2022-05-25 07:48:30 +00:00