nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-27 22:44:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
5df645dd28
nixpkgs/pkgs/development/tools/analysis/spin
History
Pascal Wittmann 5df645dd28 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
..
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