public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
01d7d24dbb2df5e70c460dc7e5c59f30979cd82a
nixpkgs/pkgs/development/tools/analysis/spin
History
Pascal Wittmann 06e2fdc62e spin: update from 6.4.1 to 6.4.3
2015-04-28 09:57:10 +02:00
..
default.nix
spin: update from 6.4.1 to 6.4.3
2015-04-28 09:57:10 +02:00