ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-21 12:52:41 +03:00
Code Issues Projects Releases Wiki Activity
410,748 Commits 96 Branches 102 Tags 4.5 GiB
eaecf0149a
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