nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-13 00:14:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
507,776 Commits 171 Branches 125 Tags 7.2 GiB
495875182e
Commit Graph

6 Commits

Author SHA1 Message Date
R. Ryantm
bb270775f2 cvc5: 1.0.4 -> 1.0.5 2023-03-25 01:00:12 +00:00
Vincent Laporte
30c3b90903 cvc5: 1.0.3 → 1.0.4 2023-02-22 07:07:13 +01:00
R. Ryantm
cdc2972120 cvc5: 1.0.2 -> 1.0.3 2022-12-15 20:56:58 +00:00
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