1 { lib, stdenv, fetchFromGitHub }:
3 stdenv.mkDerivation rec {
5 version = "unstable-2019-03-11";
7 src = fetchFromGitHub {
10 rev = "4b36ed83c8fbb074f2dc5777fe1c0ab4d73cc7d9";
11 sha256 = "18zwlwsiiksivjpg6agmbmg0zsw2fl9475ss66b6pgcsya2q4afs";
15 install -Dm755 Src/swarm $out/bin/swarm
16 install -Dm644 Doc/swarm.1 $out/share/man/man1/swarm.1
20 description = "Verification script generator for Spin";
21 homepage = "http://spinroot.com/";
22 license = licenses.free;
23 platforms = platforms.unix;
24 maintainers = with maintainers; [ abbradar ];