nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 20:03:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
414,237 Commits 204 Branches 125 Tags 6.1 GiB
1085ad554f
Commit Graph

3 Commits

Author SHA1 Message Date
R. Ryantm
616e78d316 cvc5: 1.0.1 -> 1.0.2 2022-08-29 17:17:59 +00:00
R. Ryantm
f238ea8ee8 cvc5: 1.0.0 -> 1.0.1 2022-07-28 10:49:58 +00:00
Shadaj Laddad
74b7319023 cvc5: init at 1.0.0 2022-04-06 21:20:40 +00:00