nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 21:10:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,059,007 Commits 259 Branches 81 Tags
python-updates
Commit Graph

1 Commits

Author SHA1 Message Date
sempiternal-aurora
a03c186ee9 eprover: fix cross compilation 2026-04-02 19:53:32 +11:00