JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
113a95c7b3
nixpkgs/pkgs/development/tools/analysis/spin
History
Zhaofeng Li 3d81dfd990 spin: Add iSpin GUI
2023-01-27 00:42:30 -07:00
..
default.nix