nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 20:54:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,971 Commits 458 Branches 81 Tags
python-updates
Commit Graph

3 Commits

Author SHA1 Message Date
kyehn
7a241300bc yices: remove with lib 2025-08-25 23:39:46 +00:00
kyehn
40b17486d6 yices: 2.6.5 -> 2.7.0 2025-08-25 23:39:46 +00:00
jopejoe1
b738a8a90b yices: move to by-name 2025-08-21 18:49:02 +02:00