ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-20 04:02:40 +03:00
Code Issues Projects Releases Wiki Activity
feb117e32c
nixpkgs/pkgs/development/tools/analysis/spin
History
Zhaofeng Li 3d81dfd990 spin: Add iSpin GUI
2023-01-27 00:42:30 -07:00
..
default.nix