nixpkgs/pkgs/development/tools/analysis/spin
Pascal Wittmann 95ece9efe5
spin: switch back to dropbox mirror
see #38542 for details
2018-04-07 17:39:54 +02:00
..
default.nix spin: switch back to dropbox mirror 2018-04-07 17:39:54 +02:00