nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-28 07:43:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
3734044c2d
nixpkgs/pkgs/applications/science/logic/cvc5
History
Vincent Laporte 62441cb5da cvc5: 1.0.6 → 1.0.7
2023-09-04 08:32:07 +02:00
..
default.nix cvc5: 1.0.6 → 1.0.7 2023-09-04 08:32:07 +02:00