nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-05 11:44:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
fe9344689d
nixpkgs/pkgs/applications/science/logic/cvc5
History
github-actions[bot] 3431cedfe3
Merge master into staging-next
2023-09-22 12:01:02 +00:00
..
default.nix Merge master into staging-next 2023-09-22 12:01:02 +00:00