nixpkgs/pkgs/development/tools/analysis/spin
2014-07-14 19:57:33 +02:00
..
default.nix spin: update from 5.1.7 to 6.3.2, clean up and fetch sources as a different user agent (the default curl agent string is blocked) 2014-07-14 19:57:33 +02:00