git.iko.soy/tix

on master help sign in

src/Tix/Typechecker.hs+1−1

compare with master

unifiedsplit

@@ -373,7 +373,7 @@ infer (Fix (Compose (Ann src x))) = runReader src $ case x of

373 rhst <- infer rhs

373 rhst <- infer rhs

374 rest <- NTypeVariable <$> freshSrc

374 rest <- NTypeVariable <$> freshSrc

375 lhst ~~ (rhst :-> rest)

375 lhst ~~ (rhst :-> rest)

376− return rhst

376+ return rest

377 NBinary NConcat lhs rhs -> do

377 NBinary NConcat lhs rhs -> do

378 lhst <- infer lhs

378 lhst <- infer lhs

379 rhst <- infer rhs

379 rhst <- infer rhs

test/golden/importless/0.11.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/0.12.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/1.6.txt+1−1

@@ -1 +1 @@

1−∀ α. { mkDerivation = { minimumOTPVersion = String; sha256 = String; version = String } -> α } -> { minimumOTPVersion = String; sha256 = String; version = String }

1+∀ α. { mkDerivation = { minimumOTPVersion = String; sha256 = String; version = String } -> α } -> α

test/golden/importless/3.10.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.12.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.13.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.6.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.7.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.8.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/3.9.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. { callPackage = Path -> α } -> β

test/golden/importless/4.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ. { Foundation = α; callPackage = Path -> β; libobjc = γ } -> δ

test/golden/importless/6.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ. { Foundation = α; callPackage = Path -> β; libobjc = γ } -> δ

test/golden/importless/825_40_1.txt+1−1

@@ -1 +1 @@

1−∀ α β. { appleDerivation = { installPhase = String; nativeBuildInputs = [α] } -> β; ed = α; unifdef = α } -> { installPhase = String; nativeBuildInputs = [α] }

1+∀ α β. { appleDerivation = { installPhase = String; nativeBuildInputs = [α] } -> β; ed = α; unifdef = α } -> β

test/golden/importless/R18.txt+1−1

@@ -1 +1 @@

1−∀ α β. { fetchpatch = { sha256 = String; url = String } -> α; mkDerivation = { patches = [{ sha256 = String; url = String }]; sha256 = String; version = String } -> β } -> { patches = [{ sha256 = String; url = String }]; sha256 = String; version = String }

1+∀ α β. { fetchpatch = { sha256 = String; url = String } -> α; mkDerivation = { patches = [α]; sha256 = String; version = String } -> β } -> β

test/golden/importless/R19.txt+1−1

@@ -1 +1 @@

1−∀ α β. { fetchpatch = { name = String; sha256 = String; url = String } -> α; mkDerivation = { patches = [{ name = String; sha256 = String; url = String }]; prePatch = String; sha256 = String; version = String } -> β } -> { patches = [{ name = String; sha256 = String; url = String }]; prePatch = String; sha256 = String; version = String }

1+∀ α β. { fetchpatch = { name = String; sha256 = String; url = String } -> α; mkDerivation = { patches = [α]; prePatch = String; sha256 = String; version = String } -> β } -> β

test/golden/importless/R20.txt+1−1

@@ -1 +1 @@

1−∀ α. { mkDerivation = { prePatch = String; sha256 = String; version = String } -> α } -> { prePatch = String; sha256 = String; version = String }

1+∀ α. { mkDerivation = { prePatch = String; sha256 = String; version = String } -> α } -> α

test/golden/importless/R21.txt+1−1

@@ -1 +1 @@

1−∀ α. { mkDerivation = { prePatch = String; sha256 = String; version = String } -> α } -> { prePatch = String; sha256 = String; version = String }

1+∀ α. { mkDerivation = { prePatch = String; sha256 = String; version = String } -> α } -> α

test/golden/importless/addons.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { addons = { 10 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 11 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 12 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; google_tv_addon = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 13 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; google_tv_addon = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 14 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 15 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 16 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 17 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 18 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 19 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 21 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 22 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 23 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 24 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 25 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 3 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 4 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 5 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 6 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 7 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 8 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } }; 9 = { google_apis = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; extras = { extras;android;gapid;1 = { archives = { linux = { sha1 = String; url = String }; macosx = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;android;gapid;3 = { archives = { linux = { sha1 = String; url = String }; macosx = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;android;m2repository = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;Android_Emulator_Hypervisor_Driver = { archives = { }; displayName = String; name = String; path = String; revision = String }; extras;google;admob_ads_sdk = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;analytics_sdk_v2 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;auto = { archives = { linux = { sha1 = String; url = String }; macosx = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;gcm = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;google_play_services = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;google_play_services_froyo = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;instantapps = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;m2repository = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;market_apk_expansion = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;market_licensing = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;simulators = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;google;usb_driver = { archives = { }; displayName = String; name = String; path = String; revision = String }; extras;google;webdriver = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-alpha4 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-alpha8 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta1 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta2 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta3 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta4 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta5 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.1 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.2 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-alpha4 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-alpha8 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta1 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta2 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta3 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta4 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta5 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.1 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.2 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { addons = { 10 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 11 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 12 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; google_tv_addon = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 13 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; google_tv_addon = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 14 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 15 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 16 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 17 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 18 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 19 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 21 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 22 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 23 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 24 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 25 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 3 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 4 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 5 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 6 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 7 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 8 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } }; 9 = { google_apis = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; extras = { extras;android;gapid;1 = { archives = { linux = α; macosx = α }; displayName = String; name = String; path = String; revision = String }; extras;android;gapid;3 = { archives = { linux = α; macosx = α }; displayName = String; name = String; path = String; revision = String }; extras;android;m2repository = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;Android_Emulator_Hypervisor_Driver = { archives = { }; displayName = String; name = String; path = String; revision = String }; extras;google;admob_ads_sdk = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;analytics_sdk_v2 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;auto = { archives = { linux = α; macosx = α }; displayName = String; name = String; path = String; revision = String }; extras;google;gcm = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;google_play_services = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;google_play_services_froyo = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;instantapps = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;m2repository = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;market_apk_expansion = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;market_licensing = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;simulators = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;google;usb_driver = { archives = { }; displayName = String; name = String; path = String; revision = String }; extras;google;webdriver = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-alpha4 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-alpha8 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta1 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta2 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta3 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta4 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.0-beta5 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.1 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout-solver;1.0.2 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-alpha4 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-alpha8 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta1 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta2 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta3 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta4 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.0-beta5 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.1 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; extras;m2repository;com;android;support;constraint;constraint-layout;1.0.2 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }

test/golden/importless/aggregator.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { buildEnv = { name = String; paths = α; postBuild = String } -> β; kmod = γ; modules = α; name = String; stdenvNoCC = δ } -> { name = String; paths = α; postBuild = String }

1+∀ α β γ δ. { buildEnv = { name = String; paths = α; postBuild = String } -> β; kmod = γ; modules = α; name = String; stdenvNoCC = δ } -> β

test/golden/importless/appliance.txt+1−1

@@ -1 +1 @@

1−∀ γ. { fetchzip = { meta = { hydraPlatforms = ∀ α. α }; name = String; sha256 = String; url = String } -> γ } -> { meta = { hydraPlatforms = ∀ β. β }; name = String; sha256 = String; url = String }

1+∀ β. { fetchzip = { meta = { hydraPlatforms = ∀ α. α }; name = String; sha256 = String; url = String } -> β } -> β

test/golden/importless/asdf-finalizers.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/aspell-with-dicts.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { aspell = α; aspellDicts = [α]; buildEnv = { buildInputs = [β]; name = String; paths = [α]; postBuild = String } -> γ; makeWrapper = β } -> [α] -> δ -> { buildInputs = [β]; name = String; paths = [α]; postBuild = String }

1+∀ α β γ δ. { aspell = α; aspellDicts = β; buildEnv = { buildInputs = [γ]; name = String; paths = [α]; postBuild = String } -> δ; makeWrapper = γ } -> β -> [α] -> δ

test/golden/importless/bash-4.4-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/bash-5.0-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/bash-tools-test.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε. { bazel = α; bazelTest = { bazelPkg = α; bazelScript = String; name = String } -> β; distDir = γ; runLocal = String -> δ; writeText = String -> String -> ε } -> β

test/golden/importless/bluedevil.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { bluez-qt = α; extra-cmake-modules = β; kcoreaddons = α; kdbusaddons = α; kded = α; ki18n = α; kiconthemes = α; kio = α; knotifications = α; kwidgetsaddons = α; kwindowsystem = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; plasma-framework = α; qtdeclarative = α; shared-mime-info = β } -> { buildInputs = [α]; name = String; nativeBuildInputs = [β] }

1+∀ α β γ. { bluez-qt = α; extra-cmake-modules = β; kcoreaddons = α; kdbusaddons = α; kded = α; ki18n = α; kiconthemes = α; kio = α; knotifications = α; kwidgetsaddons = α; kwindowsystem = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; plasma-framework = α; qtdeclarative = α; shared-mime-info = β } -> γ

test/golden/importless/bower-packages.txtnew file+1

@@ -0,0 +1 @@

1+∀ β γ. { buildEnv = { ignoreCollisions = Bool; name = String; paths = ∀ α. [α] } -> β; fetchbower = String -> γ } -> β

test/golden/importless/breeze-grub.txt+1−1

@@ -1 +1 @@

1−∀ α. { mkDerivation = { installPhase = String; name = String } -> α } -> { installPhase = String; name = String }

1+∀ α. { mkDerivation = { installPhase = String; name = String } -> α } -> α

test/golden/importless/breeze-qt5.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; fftw = β; frameworkintegration = β; kcmutils = β; kconfigwidgets = β; kcoreaddons = β; kdecoration = β; kguiaddons = β; ki18n = β; kwayland = β; kwindowsystem = β; mkDerivation = { cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β]; sname = String } -> γ; plasma-framework = β; qtdeclarative = β; qtx11extras = β } -> { cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β]; sname = String }

1+∀ α β γ. { extra-cmake-modules = α; fftw = β; frameworkintegration = β; kcmutils = β; kconfigwidgets = β; kcoreaddons = β; kdecoration = β; kguiaddons = β; ki18n = β; kwayland = β; kwindowsystem = β; mkDerivation = { cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β]; sname = String } -> γ; plasma-framework = β; qtdeclarative = β; qtx11extras = β } -> γ

test/golden/importless/buildOcamlJane.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { buildOcaml = { buildInputs = [α]; buildPhase = String; configurePhase = String; dontAddPrefix = Bool; hasSharedObjects = Bool; hash = String; installPhase = String; minimumSupportedOcamlVersion = String; name = β; src = { sha256 = String; url = String }; version = String } -> γ; fetchurl = { sha256 = String; url = String } -> δ; js_build_tools = α; ocaml_oasis = α; opaline = α } -> { buildInputs = [α]; hash = String; minimumSupportedOcamlVersion = String; name = β; version = String } -> { buildInputs = [α]; buildPhase = String; configurePhase = String; dontAddPrefix = Bool; hasSharedObjects = Bool; hash = String; installPhase = String; minimumSupportedOcamlVersion = String; name = β; src = { sha256 = String; url = String }; version = String }

1+∀ α β γ δ. { buildOcaml = { buildInputs = [α]; buildPhase = String; configurePhase = String; dontAddPrefix = Bool; hasSharedObjects = Bool; hash = String; installPhase = String; minimumSupportedOcamlVersion = String; name = β; src = γ; version = String } -> δ; fetchurl = { sha256 = String; url = String } -> γ; js_build_tools = α; ocaml_oasis = α; opaline = α } -> { buildInputs = [α]; hash = String; minimumSupportedOcamlVersion = String; name = β; version = String } -> δ

test/golden/importless/cl-log.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/compyte.txt+1−1

@@ -1 +1 @@

1−∀ α β. { fetchFromGitHub = { owner = String; repo = String; rev = String; sha256 = String } -> α; mkDerivation = { installPhase = String; pname = String; src = { owner = String; repo = String; rev = String; sha256 = String }; version = String } -> β } -> { installPhase = String; pname = String; src = { owner = String; repo = String; rev = String; sha256 = String }; version = String }

1+∀ α β. { fetchFromGitHub = { owner = String; repo = String; rev = String; sha256 = String } -> α; mkDerivation = { installPhase = String; pname = String; src = α; version = String } -> β } -> β

test/golden/importless/db3.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/desktop_items.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { makeDesktopItem = { categories = String; desktopName = String; exec = String; extraEntries = String; icon = String; mimeType = String; name = String } -> α; pname = β; suiteName = γ } -> { planmaker = { categories = String; desktopName = String; exec = String; extraEntries = String; icon = String; mimeType = String; name = String }; presentations = { categories = String; desktopName = String; exec = String; extraEntries = String; icon = String; mimeType = String; name = String }; textmaker = { categories = String; desktopName = String; exec = String; extraEntries = String; icon = String; mimeType = String; name = String } }

1+∀ α β γ. { makeDesktopItem = { categories = String; desktopName = String; exec = String; extraEntries = String; icon = String; mimeType = String; name = String } -> α; pname = β; suiteName = γ } -> { planmaker = α; presentations = α; textmaker = α }

test/golden/importless/discover.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { appstream-qt = α; discount = α; extra-cmake-modules = β; flatpak = α; fwupd = α; gettext = β; karchive = α; kconfig = α; kcrash = α; kdbusaddons = α; kdeclarative = α; kdoctools = β; kio = α; kirigami2 = α; kitemmodels = α; knewstuff = α; kwindowsystem = α; kxmlgui = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; ostree = α; packagekit-qt = α; pcre = α; plasma-framework = α; python = β; qtquickcontrols2 = α; utillinux = α } -> { buildInputs = [α]; name = String; nativeBuildInputs = [β] }

1+∀ α β γ. { appstream-qt = α; discount = α; extra-cmake-modules = β; flatpak = α; fwupd = α; gettext = β; karchive = α; kconfig = α; kcrash = α; kdbusaddons = α; kdeclarative = α; kdoctools = β; kio = α; kirigami2 = α; kitemmodels = α; knewstuff = α; kwindowsystem = α; kxmlgui = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; ostree = α; packagekit-qt = α; pcre = α; plasma-framework = α; python = β; qtquickcontrols2 = α; utillinux = α } -> γ

test/golden/importless/eos.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; parasites = [String]; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; parasites = [String]; src = β; version = String }

test/golden/importless/garbage-pools.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/gawk-with-extensions.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ. { extensions = [α]; gawk = α; makeWrapper = α; runCommand = String -> β } -> γ

test/golden/importless/grub2-theme.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchzip = { sha256 = String; url = String } -> α } -> { sha256 = String; url = String }

1+∀ α. { fetchzip = { sha256 = String; url = String } -> α } -> α

test/golden/importless/info.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ. { callPackage = Path -> α; perl = β; texinfo = β } -> γ

test/golden/importless/kactivitymanagerd.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { boost = α; extra-cmake-modules = β; kconfig = α; kcoreaddons = α; kcrash = α; kdbusaddons = α; kglobalaccel = α; ki18n = α; kio = α; kwindowsystem = α; kxmlgui = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ } -> { buildInputs = [α]; name = String; nativeBuildInputs = [β] }

1+∀ α β γ. { boost = α; extra-cmake-modules = β; kconfig = α; kcoreaddons = α; kcrash = α; kdbusaddons = α; kglobalaccel = α; ki18n = α; kio = α; kwindowsystem = α; kxmlgui = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ } -> γ

test/golden/importless/kde-cli-tools.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { extra-cmake-modules = α; kactivities = β; kcmutils = β; kconfig = β; kdesu = β; kdoctools = α; ki18n = β; kiconthemes = β; kinit = β; kio = β; kwindowsystem = β; lib = γ; mkDerivation = { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postInstall = String; preFixup = String } -> δ; plasma-workspace = β; qtsvg = β; qtx11extras = β } -> { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postInstall = String; preFixup = String }

1+∀ α β γ δ. { extra-cmake-modules = α; kactivities = β; kcmutils = β; kconfig = β; kdesu = β; kdoctools = α; ki18n = β; kiconthemes = β; kinit = β; kio = β; kwindowsystem = β; lib = γ; mkDerivation = { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postInstall = String; preFixup = String } -> δ; plasma-workspace = β; qtsvg = β; qtx11extras = β } -> δ

test/golden/importless/kdeplasma-addons.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; ibus = β; kcmutils = β; kconfig = β; kconfigwidgets = β; kcoreaddons = β; kdelibs4support = β; kdoctools = α; kholidays = β; kio = β; knewstuff = β; kpurpose = β; kross = β; krunner = β; kservice = β; ksysguard = β; kunitconversion = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; plasma-workspace = β; qtdeclarative = β; qtwebengine = β; qtx11extras = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; ibus = β; kcmutils = β; kconfig = β; kconfigwidgets = β; kcoreaddons = β; kdelibs4support = β; kdoctools = α; kholidays = β; kio = β; knewstuff = β; kpurpose = β; kross = β; krunner = β; kservice = β; ksysguard = β; kunitconversion = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; plasma-workspace = β; qtdeclarative = β; qtwebengine = β; qtx11extras = β } -> γ

test/golden/importless/kdewebkit.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kio = β; kparts = β; mkDerivation = { buildInputs = [β]; cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [γ] } -> δ; qtwebkit = γ } -> { buildInputs = [β]; cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [γ] }

1+∀ α β γ δ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kio = β; kparts = β; mkDerivation = { buildInputs = [β]; cmakeFlags = [String]; name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [γ] } -> δ; qtwebkit = γ } -> δ

test/golden/importless/kgamma5.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kconfig = β; kconfigwidgets = β; kdoctools = α; ki18n = β; libXxf86vm = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtx11extras = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kconfig = β; kconfigwidgets = β; kdoctools = α; ki18n = β; libXxf86vm = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtx11extras = β } -> γ

test/golden/importless/kglobalaccel.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kcrash = β; kdbusaddons = β; kservice = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [γ] } -> δ; qtbase = γ; qttools = β; qtx11extras = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [γ] }

1+∀ α β γ δ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kcrash = β; kdbusaddons = β; kservice = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [γ] } -> δ; qtbase = γ; qttools = β; qtx11extras = β } -> δ

test/golden/importless/khelpcenter.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; grantlee = β; kcmutils = β; kconfig = β; kcoreaddons = β; kdbusaddons = β; kdelibs4support = β; kdoctools = α; khtml = β; ki18n = β; kinit = β; kservice = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; xapian = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; grantlee = β; kcmutils = β; kconfig = β; kcoreaddons = β; kdbusaddons = β; kdelibs4support = β; kdoctools = α; khtml = β; ki18n = β; kinit = β; kservice = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; xapian = β } -> γ

test/golden/importless/khotkeys.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ ε. { extra-cmake-modules = α; kcmutils = β; kdbusaddons = β; kdelibs4support = β; kdoctools = α; kglobalaccel = β; ki18n = β; kio = β; kxmlgui = β; lib = γ; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> δ; plasma-framework = β; plasma-workspace = β; qtbase = ε; qtx11extras = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] }

1+∀ α β γ δ ε. { extra-cmake-modules = α; kcmutils = β; kdbusaddons = β; kdelibs4support = β; kdoctools = α; kglobalaccel = β; ki18n = β; kio = β; kxmlgui = β; lib = γ; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> δ; plasma-framework = β; plasma-workspace = β; qtbase = ε; qtx11extras = β } -> δ

test/golden/importless/kinfocenter.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kcompletion = β; kconfig = β; kconfigwidgets = β; kcoreaddons = β; kdbusaddons = β; kdeclarative = β; kdelibs4support = β; kdoctools = α; ki18n = β; kiconthemes = β; kio = β; kirigami2 = β; kpackage = β; kservice = β; kwayland = β; kwidgetsaddons = β; kxmlgui = β; libGLU = β; libraw1394 = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; pciutils = β; solid = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kcompletion = β; kconfig = β; kconfigwidgets = β; kcoreaddons = β; kdbusaddons = β; kdeclarative = β; kdelibs4support = β; kdoctools = α; ki18n = β; kiconthemes = β; kio = β; kirigami2 = β; kpackage = β; kservice = β; kwayland = β; kwidgetsaddons = β; kxmlgui = β; libGLU = β; libraw1394 = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; pciutils = β; solid = β } -> γ

test/golden/importless/kmenuedit.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kdbusaddons = β; kdelibs4support = β; kdoctools = α; khotkeys = β; ki18n = β; kiconthemes = β; kio = β; kxmlgui = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; sonnet = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kdbusaddons = β; kdelibs4support = β; kdoctools = α; khotkeys = β; ki18n = β; kiconthemes = β; kio = β; kxmlgui = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; sonnet = β } -> γ

test/golden/importless/knotes.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { akonadi = α; akonadi-notes = α; akonadi-search = α; extra-cmake-modules = β; grantlee = α; grantleetheme = α; kcalendarcore = α; kcalutils = α; kcmutils = α; kcompletion = α; kconfig = α; kconfigwidgets = α; kcoreaddons = α; kcrash = α; kdbusaddons = α; kdelibs4support = α; kdnssd = α; kdoctools = β; kglobalaccel = α; kiconthemes = α; kitemmodels = α; kitemviews = α; kmime = α; knewstuff = α; knotifications = α; knotifyconfig = α; kontactinterface = α; kparts = α; kpimtextedit = α; ktextwidgets = α; kwidgetsaddons = α; kwindowsystem = α; libkdepim = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; pimcommon = α; qtx11extras = α } -> { buildInputs = [α]; name = String; nativeBuildInputs = [β] }

1+∀ α β γ. { akonadi = α; akonadi-notes = α; akonadi-search = α; extra-cmake-modules = β; grantlee = α; grantleetheme = α; kcalendarcore = α; kcalutils = α; kcmutils = α; kcompletion = α; kconfig = α; kconfigwidgets = α; kcoreaddons = α; kcrash = α; kdbusaddons = α; kdelibs4support = α; kdnssd = α; kdoctools = β; kglobalaccel = α; kiconthemes = α; kitemmodels = α; kitemviews = α; kmime = α; knewstuff = α; knotifications = α; knotifyconfig = α; kontactinterface = α; kparts = α; kpimtextedit = α; ktextwidgets = α; kwidgetsaddons = α; kwindowsystem = α; libkdepim = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; pimcommon = α; qtx11extras = α } -> γ

test/golden/importless/kscreen.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kconfig = β; kconfigwidgets = β; kdbusaddons = β; kdeclarative = β; kglobalaccel = β; ki18n = β; kwidgetsaddons = β; kwindowsystem = β; kxmlgui = β; libkscreen = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; qtgraphicaleffects = β; qtsensors = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kconfig = β; kconfigwidgets = β; kdbusaddons = β; kdeclarative = β; kglobalaccel = β; ki18n = β; kwidgetsaddons = β; kwindowsystem = β; kxmlgui = β; libkscreen = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; qtgraphicaleffects = β; qtsensors = β } -> γ

test/golden/importless/kscreenlocker.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kcrash = β; kdeclarative = β; kdelibs4support = β; kdoctools = α; kglobalaccel = β; kidletime = β; kwayland = β; libXcursor = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> γ; pam = β; plasma-framework = β; qtdeclarative = β; qtx11extras = β; wayland = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] }

1+∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kcrash = β; kdeclarative = β; kdelibs4support = β; kdoctools = α; kglobalaccel = β; kidletime = β; kwayland = β; libXcursor = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> γ; pam = β; plasma-framework = β; qtdeclarative = β; qtx11extras = β; wayland = β } -> γ

test/golden/importless/ksshaskpass.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdoctools = α; ki18n = β; kwallet = β; kwidgetsaddons = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdoctools = α; ki18n = β; kwallet = β; kwidgetsaddons = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> γ

test/golden/importless/ksysguard.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kdelibs4support = β; kdoctools = α; ki18n = β; kiconthemes = β; kitemviews = β; knewstuff = β; libcap = β; libksysguard = β; libpcap = β; lm_sensors = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kdelibs4support = β; kdoctools = α; ki18n = β; kiconthemes = β; kitemviews = β; knewstuff = β; libcap = β; libksysguard = β; libpcap = β; lm_sensors = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ } -> γ

test/golden/importless/kwallet-pam.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { extra-cmake-modules = α; kwallet = β; lib = γ; libgcrypt = β; mkDerivation = { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postFixup = String; postPatch = String } -> δ; pam = β; qtbase = β; socat = β } -> { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postFixup = String; postPatch = String }

1+∀ α β γ δ. { extra-cmake-modules = α; kwallet = β; lib = γ; libgcrypt = β; mkDerivation = { buildInputs = [β]; dontWrapQtApps = Bool; name = String; nativeBuildInputs = [α]; postFixup = String; postPatch = String } -> δ; pam = β; qtbase = β; socat = β } -> δ

test/golden/importless/kwayland-integration.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kguiaddons = β; kidletime = β; kwayland = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kguiaddons = β; kidletime = β; kwayland = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> γ

test/golden/importless/kwrited.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdbusaddons = β; ki18n = β; knotifications = β; kpty = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdbusaddons = β; ki18n = β; knotifications = β; kpty = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> γ

test/golden/importless/libkomparediff2.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcodecs = β; ki18n = β; kio = β; kxmlgui = β; mkDerivation = { name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [β] } -> γ } -> { name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [β] }

1+∀ α β γ. { extra-cmake-modules = α; kcodecs = β; ki18n = β; kio = β; kxmlgui = β; mkDerivation = { name = String; nativeBuildInputs = [α]; propagatedBuildInputs = [β] } -> γ } -> γ

test/golden/importless/maintainer-list.txtdeleted−1

@@ -1 +0,0 @@

1−{ Adjective-Object = { email = String; github = String; githubId = Integer; name = String }; AluisioASG = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; AndersonTorres = { email = String; github = String; githubId = Integer; name = String }; Anton-Latukha = { email = String; github = String; githubId = Integer; name = String }; Baughn = { email = String; github = String; githubId = Integer; name = String }; CRTified = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; CharlesHD = { email = String; github = String; githubId = Integer; name = String }; ChengCat = { email = String; github = String; githubId = Integer; name = String }; Chili-Man = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; CrazedProgrammer = { email = String; github = String; githubId = Integer; name = String }; CrystalGamma = { email = String; github = String; githubId = Integer; name = String }; DamienCassou = { email = String; github = String; githubId = Integer; name = String }; DerGuteMoritz = { email = String; github = String; githubId = Integer; name = String }; DerTim1 = { email = String; github = String; githubId = Integer; name = String }; Dje4321 = { email = String; github = String; githubId = Integer; name = String }; DmitryTsygankov = { email = String; github = String; githubId = Integer; name = String }; Enteee = { email = String; github = String; githubId = Integer; name = String }; Esteth = { email = String; name = String }; FireyFly = { email = String; github = String; githubId = Integer; name = String }; Flakebi = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; FlorianFranzen = { email = String; github = String; githubId = Integer; name = String }; Fresheyeball = { email = String; github = String; githubId = Integer; name = String }; Frostman = { email = String; github = String; githubId = Integer; name = String }; Gonzih = { email = String; github = String; githubId = Integer; name = String }; GuillaumeDesforges = { email = String; github = String; githubId = Integer; name = String }; HaoZeke = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; KarlJoad = { email = String; github = String; githubId = Integer; name = String }; KibaFox = { email = String; github = String; githubId = Integer; name = String }; Luflosi = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; MP2E = { email = String; github = String; githubId = Integer; name = String }; McSinyx = { email = String; github = String; githubId = Integer; name = String }; Mogria = { email = String; github = String; githubId = Integer; name = String }; MostAwesomeDude = { email = String; github = String; githubId = Integer; name = String }; MtP = { email = String; github = String; githubId = Integer; name = String }; Nate-Devv = { email = String; name = String }; NikolaMandic = { email = String; github = String; githubId = Integer; name = String }; OPNA2608 = { email = String; github = String; githubId = Integer; name = String }; Phlogistique = { email = String; github = String; githubId = Integer; name = String }; Profpatsch = { email = String; github = String; githubId = Integer; name = String }; RaghavSood = { email = String; github = String; githubId = Integer; name = String }; SShrike = { email = String; github = String; githubId = Integer; name = String }; Scriptkiddi = { email = String; github = String; githubId = Integer; name = String }; SeanZicari = { email = String; github = String; githubId = Integer; name = String }; ShamrockLee = { email = String; github = String; githubId = Integer; name = String }; SlothOfAnarchy = { email = String; github = String; githubId = Integer; name = String }; StijnDW = { email = String; github = String; githubId = Integer; name = String }; StillerHarpo = { email = String; github = String; githubId = Integer; name = String }; SuperSandro2000 = { email = String; github = String; githubId = Integer; name = String }; SuprDewd = { email = String; github = String; githubId = Integer; name = String }; TethysSvensson = { email = String; github = String; githubId = Integer; name = String }; TheBrainScrambler = { email = String; github = String; githubId = Integer; name = String }; ThomasMader = { email = String; github = String; githubId = Integer; name = String }; Thra11 = { email = String; github = String; githubId = Integer; name = String }; WhittlesJr = { email = String; github = String; githubId = Integer; name = String }; Yumasi = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; Zimmi48 = { email = String; github = String; githubId = Integer; name = String }; _0x4A6F = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; _1000101 = { email = String; github = String; githubId = Integer; name = String }; a1russell = { email = String; github = String; githubId = Integer; name = String }; aanderse = { email = String; github = String; githubId = Integer; name = String }; aaronjanse = { email = String; github = String; githubId = Integer; name = String }; aaronschif = { email = String; github = String; githubId = Integer; name = String }; abaldeau = { email = String; github = String; githubId = Integer; name = String }; abbe = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; abbradar = { email = String; github = String; githubId = Integer; name = String }; abhi18av = { email = String; github = String; githubId = Integer; name = String }; abigailbuccaneer = { email = String; github = String; githubId = Integer; name = String }; aborsu = { email = String; github = String; githubId = Integer; name = String }; aboseley = { email = String; github = String; githubId = Integer; name = String }; abuibrahim = { email = String; github = String; githubId = Integer; name = String }; acairncross = { email = String; github = String; githubId = Integer; name = String }; aciceri = { email = String; github = String; githubId = Integer; name = String }; acowley = { email = String; github = String; githubId = Integer; name = String }; adamt = { email = String; github = String; githubId = Integer; name = String }; adelbertc = { email = String; github = String; githubId = Integer; name = String }; adev = { email = String; github = String; githubId = Integer; name = String }; adisbladis = { email = String; github = String; githubId = Integer; name = String }; adnelson = { email = String; github = String; githubId = Integer; name = String }; adolfogc = { email = String; github = String; githubId = Integer; name = String }; adsr = { email = String; github = String; githubId = Integer; name = String }; aerialx = { email = String; github = String; githubId = Integer; name = String }; aespinosa = { email = String; github = String; githubId = Integer; name = String }; aethelz = { email = String; github = String; githubId = Integer; name = String }; aflatter = { email = String; github = String; githubId = Integer; name = String }; afldcr = { email = String; github = String; githubId = Integer; name = String }; aforemny = { email = String; github = String; githubId = Integer; name = String }; afranchuk = { email = String; github = String; githubId = Integer; name = String }; aherrmann = { email = String; github = String; githubId = Integer; name = String }; ahrzb = { email = String; github = String; githubId = Integer; name = String }; ahuzik = { email = String; github = String; githubId = Integer; name = String }; aij = { email = String; github = String; githubId = Integer; name = String }; ajgrf = { email = String; github = String; githubId = Integer; name = String }; ajs124 = { email = String; github = String; githubId = Integer; name = String }; ak = { email = String; github = String; githubId = Integer; name = String }; akaWolf = { email = String; github = String; githubId = Integer; name = String }; akamaus = { email = String; github = String; githubId = Integer; name = String }; akavel = { email = String; github = String; githubId = Integer; name = String }; akc = { email = String; github = String; githubId = Integer; name = String }; akru = { email = String; github = String; githubId = Integer; name = String }; albakham = { email = String; github = String; githubId = Integer; name = String }; alerque = { email = String; github = String; githubId = Integer; name = String }; alexarice = { email = String; github = String; githubId = Integer; name = String }; alexbakker = { email = String; github = String; githubId = Integer; name = String }; alexbiehl = { email = String; github = String; githubId = Integer; name = String }; alexchapman = { email = String; github = String; githubId = Integer; name = String }; alexfmpe = { email = String; github = String; githubId = Integer; name = String }; alexvorobiev = { email = String; github = String; githubId = Integer; name = String }; algorith = { email = String; name = String }; alibabzo = { email = String; github = String; githubId = Integer; name = String }; alkeryn = { email = String; github = String; githubId = Integer; name = String }; all = { email = String; name = String }; allonsy = { email = String; github = String; githubId = Integer; name = String }; almac = { email = String; github = String; githubId = Integer; name = String }; alunduil = { email = String; github = String; githubId = Integer; name = String }; alva = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; amar1729 = { email = String; github = String; githubId = Integer; name = String }; ambrop72 = { email = String; github = String; githubId = Integer; name = String }; amiddelk = { email = String; github = String; githubId = Integer; name = String }; amiloradovsky = { email = String; github = String; githubId = Integer; name = String }; aminechikhaoui = { email = String; github = String; githubId = Integer; name = String }; amorsillo = { email = String; github = String; githubId = Integer; name = String }; andehen = { email = String; github = String; githubId = Integer; name = String }; andersk = { email = String; github = String; githubId = Integer; name = String }; anderslundstedt = { email = String; github = String; githubId = Integer; name = String }; anderspapitto = { email = String; github = String; githubId = Integer; name = String }; andir = { email = String; github = String; githubId = Integer; name = String }; andreabedini = { email = String; github = String; githubId = Integer; name = String }; andres = { email = String; github = String; githubId = Integer; name = String }; andrestylianos = { email = String; github = String; githubId = Integer; name = String }; andrew-d = { email = String; github = String; githubId = Integer; name = String }; andrewchambers = { email = String; github = String; githubId = Integer; name = String }; andrewrk = { email = String; github = String; githubId = Integer; name = String }; andsild = { email = String; github = String; githubId = Integer; name = String }; aneeshusa = { email = String; github = String; githubId = Integer; name = String }; angristan = { email = String; github = String; githubId = Integer; name = String }; ankhers = { email = String; github = String; githubId = Integer; name = String }; anmonteiro = { email = String; github = String; githubId = Integer; name = String }; anna328p = { email = String; github = String; githubId = Integer; name = String }; anpryl = { email = String; github = String; githubId = Integer; name = String }; antoinerg = { email = String; github = String; githubId = Integer; name = String }; anton-dessiatov = { email = String; github = String; githubId = Integer; name = String }; antono = { email = String; github = String; githubId = Integer; name = String }; antonxy = { email = String; github = String; githubId = Integer; name = String }; apeschar = { email = String; github = String; githubId = Integer; name = String }; apeyroux = { email = String; github = String; githubId = Integer; name = String }; ar1a = { email = String; github = String; githubId = Integer; name = String }; arcadio = { email = String; github = String; githubId = Integer; name = String }; arcnmx = { email = String; github = String; githubId = Integer; name = String }; ardumont = { email = String; github = String; githubId = Integer; name = String }; arianvp = { email = String; github = String; githubId = Integer; name = String }; aristid = { email = String; github = String; githubId = Integer; name = String }; ariutta = { email = String; github = String; githubId = Integer; name = String }; arnarg = { email = String; github = String; githubId = Integer; name = String }; arnoldfarkas = { email = String; github = String; githubId = Integer; name = String }; arobyn = { email = String; github = String; githubId = Integer; name = String }; artemist = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; arthur = { email = String; github = String; githubId = Integer; name = String }; artturin = { email = String; github = String; githubId = Integer; name = String }; arturcygan = { email = String; github = String; githubId = Integer; name = String }; artuuge = { email = String; github = String; githubId = Integer; name = String }; asbachb = { email = String; github = String; githubId = Integer; name = String }; ashalkhakov = { email = String; github = String; githubId = Integer; name = String }; ashgillman = { email = String; github = String; githubId = Integer; name = String }; ashkitten = { email = String; github = String; githubId = Integer; name = String }; aske = { email = String; github = String; githubId = Integer; name = String }; asppsa = { email = String; github = String; githubId = Integer; name = String }; astro = { email = String; github = String; githubId = Integer; name = String }; astsmtl = { email = String; github = String; githubId = Integer; name = String }; asymmetric = { email = String; github = String; githubId = Integer; name = String }; aszlig = { email = String; github = String; githubId = Integer; name = String }; atemu = { email = String; github = String; githubId = Integer; name = String }; athas = { email = String; github = String; githubId = Integer; name = String }; atkinschang = { email = String; github = String; githubId = Integer; name = String }; atnnn = { email = String; github = String; githubId = Integer; name = String }; auntie = { email = String; github = String; githubId = Integer; name = String }; austinbutler = { email = String; github = String; githubId = Integer; name = String }; avaq = { email = String; github = String; githubId = Integer; name = String }; averelld = { email = String; github = String; githubId = Integer; name = String }; avery = { email = String; github = String; githubId = Integer; name = String }; avitex = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; avnik = { email = String; github = String; githubId = Integer; name = String }; aw = { email = String; github = String; githubId = Integer; name = String }; aycanirican = { email = String; github = String; githubId = Integer; name = String }; b4dm4n = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; babariviere = { email = String; github = String; githubId = Integer; name = String }; bachp = { email = String; github = String; githubId = Integer; name = String }; backuitist = { email = String; github = String; githubId = Integer; name = String }; badi = { email = String; github = String; githubId = Integer; name = String }; balajisivaraman = { email = String; name = String }; balsoft = { email = String; github = String; githubId = Integer; name = String }; bandresen = { email = String; github = String; githubId = Integer; name = String }; baracoder = { email = String; github = String; githubId = Integer; name = String }; barrucadu = { email = String; github = String; githubId = Integer; name = String }; basvandijk = { email = String; github = String; githubId = Integer; name = String }; bb010g = { email = String; github = String; githubId = Integer; name = String }; bbarker = { email = String; github = String; githubId = Integer; name = String }; bbigras = { email = String; github = String; githubId = Integer; name = String }; bcarrell = { email = String; github = String; githubId = Integer; name = String }; bcdarwin = { email = String; github = String; githubId = Integer; name = String }; bdesham = { email = String; github = String; githubId = Integer; name = String }; bdimcheff = { email = String; github = String; githubId = Integer; name = String }; bendlas = { email = String; github = String; githubId = Integer; name = String }; benley = { email = String; github = String; githubId = Integer; name = String }; bennofs = { email = String; github = String; githubId = Integer; name = String }; benpye = { email = String; github = String; githubId = Integer; name = String }; benwbooth = { email = String; github = String; githubId = Integer; name = String }; berce = { email = String; github = String; githubId = Integer; name = String }; berdario = { email = String; github = String; githubId = Integer; name = String }; bergey = { email = String; github = String; githubId = Integer; name = String }; betaboon = { email = String; github = String; githubId = Integer; name = String }; bfortz = { email = String; github = String; githubId = Integer; name = String }; bgamari = { email = String; github = String; githubId = Integer; name = String }; bhall = { email = String; github = String; githubId = Integer; name = String }; bhipple = { email = String; github = String; githubId = Integer; name = String }; bhougland = { email = String; github = String; githubId = Integer; name = String }; binarin = { email = String; github = String; githubId = Integer; name = String }; bjg = { email = String; name = String }; bjornfor = { email = String; github = String; githubId = Integer; name = String }; bkchr = { email = String; github = String; githubId = Integer; name = String }; blaggacao = { email = String; github = String; githubId = Integer; name = String }; blanky0230 = { email = String; github = String; githubId = Integer; name = String }; blitz = { email = String; github = String; githubId = Integer; name = String }; bluescreen303 = { email = String; github = String; githubId = Integer; name = String }; bmilanov = { email = String; github = String; githubId = Integer; name = String }; bobakker = { email = String; github = String; githubId = Integer; name = String }; bobvanderlinden = { email = String; github = String; githubId = Integer; name = String }; bodil = { email = String; github = String; githubId = Integer; name = String }; boj = { email = String; github = String; githubId = Integer; name = String }; boothead = { email = String; github = String; githubId = Integer; name = String }; borisbabic = { email = String; github = String; githubId = Integer; name = String }; bosu = { email = String; github = String; githubId = Integer; name = String }; bouk = { email = String; github = String; githubId = Integer; name = String }; bradediger = { email = String; github = String; githubId = Integer; name = String }; brainrape = { email = String; github = String; githubId = Integer; name = String }; bramd = { email = String; github = String; githubId = Integer; name = String }; braydenjw = { email = String; github = String; githubId = Integer; name = String }; breakds = { email = String; github = String; githubId = Integer; name = String }; brettlyons = { email = String; github = String; githubId = Integer; name = String }; brian-dawn = { email = String; github = String; githubId = Integer; name = String }; brianhicks = { email = String; github = String; githubId = Integer; name = String }; bricewge = { email = String; github = String; githubId = Integer; name = String }; bstrik = { email = String; github = String; githubId = Integer; name = String }; btlvr = { email = String; github = String; githubId = Integer; name = String }; buffet = { email = String; github = String; githubId = Integer; name = String }; bugworm = { email = String; github = String; githubId = Integer; name = String }; bzizou = { email = String; github = String; githubId = Integer; name = String }; c00w = { email = String; github = String; githubId = Integer; name = String }; c0bw3b = { email = String; github = String; githubId = Integer; name = String }; c0deaddict = { email = String; github = String; githubId = Integer; name = String }; caadar = { email = String; github = String; githubId = Integer; name = String }; cab404 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; calbrecht = { email = String; github = String; githubId = Integer; name = String }; callahad = { email = String; github = String; githubId = Integer; name = String }; calvertvl = { email = String; github = String; githubId = Integer; name = String }; campadrenalin = { email = String; github = String; githubId = Integer; name = String }; candeira = { email = String; github = String; githubId = Integer; name = String }; canndrew = { email = String; github = String; githubId = Integer; name = String }; cap = { email = String; github = String; githubId = Integer; name = String }; carlosdagos = { email = String; github = String; githubId = Integer; name = String }; carlsverre = { email = String; github = String; githubId = Integer; name = String }; cartr = { email = String; github = String; githubId = Integer; name = String }; casey = { email = String; github = String; githubId = Integer; name = String }; catern = { email = String; github = String; githubId = Integer; name = String }; caugner = { email = String; github = String; githubId = Integer; name = String }; cbley = { email = String; github = String; githubId = Integer; name = String }; ccellado = { email = String; github = String; githubId = Integer; name = String }; cdepillabout = { email = String; github = String; githubId = Integer; name = String }; ceedubs = { email = String; github = String; githubId = Integer; name = String }; cfouche = { email = String; github = String; githubId = Integer; name = String }; cfsmp3 = { email = String; github = String; githubId = Integer; name = String }; cge = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; chaduffy = { email = String; github = String; githubId = Integer; name = String }; changlinli = { email = String; github = String; githubId = Integer; name = String }; chaoflow = { email = String; github = String; githubId = Integer; name = String }; chattered = { email = String; name = String }; chessai = { email = String; github = String; githubId = Integer; name = String }; chiiruno = { email = String; github = String; githubId = Integer; name = String }; chiroptical = { email = String; github = String; githubId = Integer; name = String }; chkno = { email = String; github = String; githubId = Integer; name = String }; choochootrain = { email = String; github = String; githubId = Integer; name = String }; chpatrick = { email = String; github = String; githubId = Integer; name = String }; chreekat = { email = String; github = String; githubId = Integer; name = String }; chris-martin = { email = String; github = String; githubId = Integer; name = String }; chrisaw = { email = String; github = String; githubId = Integer; name = String }; chrisjefferson = { email = String; github = String; githubId = Integer; name = String }; chrisrosset = { email = String; github = String; githubId = Integer; name = String }; christianharke = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; christopherpoole = { email = String; github = String; githubId = Integer; name = String }; ciil = { email = String; github = String; githubId = Integer; name = String }; cizra = { email = String; github = String; githubId = Integer; name = String }; ck3d = { email = String; github = String; githubId = Integer; name = String }; ckauhaus = { email = String; github = String; githubId = Integer; name = String }; cko = { email = String; github = String; githubId = Integer; name = String }; clacke = { email = String; github = String; githubId = Integer; name = String }; cleverca22 = { email = String; github = String; githubId = Integer; name = String }; clkamp = { email = String; github = String; githubId = Integer; name = String }; cmacrae = { email = String; github = String; githubId = Integer; name = String }; cmcdragonkai = { email = String; github = String; githubId = Integer; name = String }; cmfwyp = { email = String; github = String; githubId = Integer; name = String }; cobbal = { email = String; github = String; githubId = Integer; name = String }; coconnor = { email = String; github = String; githubId = Integer; name = String }; codsl = { email = String; github = String; githubId = Integer; name = String }; codyopel = { email = String; github = String; githubId = Integer; name = String }; cohencyril = { email = String; github = String; githubId = Integer; name = String }; cole-h = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; colemickens = { email = String; github = String; githubId = Integer; name = String }; colescott = { email = String; github = String; githubId = Integer; name = String }; conradmearns = { email = String; github = String; githubId = Integer; name = String }; contrun = { email = String; github = String; githubId = Integer; name = String }; copumpkin = { email = String; github = String; githubId = Integer; name = String }; corngood = { email = String; github = String; githubId = Integer; name = String }; coroa = { email = String; github = String; githubId = Integer; name = String }; costrouc = { email = String; github = String; githubId = Integer; name = String }; couchemar = { email = String; github = String; githubId = Integer; name = String }; cpages = { email = String; github = String; githubId = Integer; name = String }; cpcloud = { email = String; github = String; githubId = Integer; name = String }; cpu = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; craigem = { email = String; github = String; githubId = Integer; name = String }; cransom = { email = String; github = String; githubId = Integer; name = String }; cript0nauta = { email = String; github = String; githubId = Integer; name = String }; cryptix = { email = String; github = String; githubId = Integer; name = String }; csingley = { email = String; github = String; githubId = Integer; name = String }; cstrahan = { email = String; github = String; githubId = Integer; name = String }; cswank = { email = String; github = String; githubId = Integer; name = String }; cust0dian = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; cwoac = { email = String; github = String; githubId = Integer; name = String }; cypherpunk2140 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; cyplo = { email = String; github = String; githubId = Integer; name = String }; d-goldin = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; dadada = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; dalance = { email = String; github = String; githubId = Integer; name = String }; danbst = { email = String; github = String; githubId = Integer; name = String }; dancek = { email = String; github = String; githubId = Integer; name = String }; dandellion = { email = String; github = String; githubId = Integer; name = String }; danderson = { email = String; github = String; githubId = Integer; name = String }; danharaj = { email = String; github = String; githubId = Integer; name = String }; danieldk = { email = String; github = String; githubId = Integer; name = String }; danielfullmer = { email = String; github = String; githubId = Integer; name = String }; das-g = { email = String; github = String; githubId = Integer; name = String }; das_j = { email = String; github = String; githubId = Integer; name = String }; dasj19 = { email = String; github = String; githubId = Integer; name = String }; dasuxullebt = { email = String; name = String }; davegallant = { email = String; github = String; githubId = Integer; name = String }; david-sawatzke = { email = String; github = String; githubId = Integer; name = String }; david50407 = { email = String; github = String; githubId = Integer; name = String }; davidak = { email = String; github = String; githubId = Integer; name = String }; davidrusu = { email = String; github = String; githubId = Integer; name = String }; davidtwco = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; davorb = { email = String; github = String; githubId = Integer; name = String }; dawidsowa = { email = String; github = String; githubId = Integer; name = String }; dbohdan = { email = String; github = String; githubId = Integer; name = String }; dbrock = { email = String; github = String; githubId = Integer; name = String }; ddelabru = { email = String; github = String; githubId = Integer; name = String }; dduan = { email = String; github = String; githubId = Integer; name = String }; deepfire = { email = String; github = String; githubId = Integer; name = String }; deifactor = { email = String; github = String; githubId = Integer; name = String }; delan = { email = String; github = String; githubId = Integer; name = String }; delroth = { email = String; github = String; githubId = Integer; name = String }; deltaevo = { email = String; github = String; githubId = Integer; name = String }; demin-dmitriy = { email = String; github = String; githubId = Integer; name = String }; demize = { email = String; github = String; githubId = Integer; name = String }; demyanrogozhin = { email = String; github = String; githubId = Integer; name = String }; derchris = { email = String; github = String; githubId = Integer; name = String }; dermetfan = { email = String; github = String; githubId = Integer; name = String }; desiderius = { email = String; github = String; githubId = Integer; name = String }; devhell = { email = String; github = String; githubId = Integer; name = String }; dezgeg = { email = String; github = String; githubId = Integer; name = String }; dfordivam = { email = String; github = String; githubId = Integer; name = String }; dfoxfranke = { email = String; github = String; githubId = Integer; name = String }; dgonyeo = { email = String; github = String; githubId = Integer; name = String }; dhkl = { email = String; github = String; githubId = Integer; name = String }; dipinhora = { email = String; github = String; githubId = Integer; name = String }; dirkx = { email = String; github = String; githubId = Integer; name = String }; disassembler = { email = String; github = String; githubId = Integer; name = String }; disserman = { email = String; github = String; githubId = Integer; name = String }; dizfer = { email = String; github = String; githubId = Integer; name = String }; dkabot = { email = String; github = String; githubId = Integer; name = String }; dmalikov = { email = String; github = String; githubId = Integer; name = String }; dmjio = { email = String; github = String; githubId = Integer; name = String }; dmrauh = { email = String; github = String; githubId = Integer; name = String }; dmvianna = { email = String; github = String; githubId = Integer; name = String }; dochang = { email = String; github = String; githubId = Integer; name = String }; domenkozar = { email = String; github = String; githubId = Integer; name = String }; dominikh = { email = String; github = String; githubId = Integer; name = String }; doronbehar = { email = String; github = String; githubId = Integer; name = String }; dotlambda = { email = String; github = String; githubId = Integer; name = String }; doublec = { email = String; github = String; githubId = Integer; name = String }; dpaetzel = { email = String; github = String; githubId = Integer; name = String }; dpausp = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; dpflug = { email = String; github = String; githubId = Integer; name = String }; dramaturg = { email = String; github = String; githubId = Integer; name = String }; drets = { email = String; github = String; githubId = Integer; name = String }; drewkett = { email = String; name = String }; drewrisinger = { email = String; github = String; githubId = Integer; name = String }; dsferruzza = { email = String; github = String; githubId = Integer; name = String }; dtzWill = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; dump_stack = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; dwarfmaster = { email = String; github = String; githubId = Integer; name = String }; dxf = { email = String; github = String; githubId = Integer; name = String }; dysinger = { email = String; github = String; githubId = Integer; name = String }; dywedir = { email = String; github = String; githubId = Integer; name = String }; dzabraev = { email = String; github = String; githubId = Integer; name = String }; e-user = { email = String; github = String; githubId = Integer; name = String }; eadwu = { email = String; github = String; githubId = Integer; name = String }; ealasu = { email = String; github = String; githubId = Integer; name = String }; eamsden = { email = String; github = String; githubId = Integer; name = String }; earldouglas = { email = String; github = String; githubId = Integer; name = String }; earvstedt = { email = String; github = String; githubId = Integer; name = String }; ebzzry = { email = String; github = String; githubId = Integer; name = String }; edanaher = { email = String; github = String; githubId = Integer; name = String }; edef = { email = String; github = String; githubId = Integer; name = String }; ederoyd46 = { email = String; github = String; githubId = Integer; name = String }; edibopp = { email = String; github = String; githubId = Integer; name = String }; eduarrrd = { email = String; github = String; githubId = Integer; name = String }; edude03 = { email = String; github = String; githubId = Integer; name = String }; edwtjo = { email = String; github = String; githubId = Integer; name = String }; eelco = { email = String; github = String; githubId = Integer; name = String }; ehegnes = { email = String; github = String; githubId = Integer; name = String }; ehmry = { email = String; github = String; githubId = Integer; name = String }; eikek = { email = String; github = String; githubId = Integer; name = String }; ekleog = { email = String; github = String; githubId = Integer; name = String }; elasticdog = { email = String; github = String; githubId = Integer; name = String }; eleanor = { email = String; github = String; githubId = Integer; name = String }; eliasp = { email = String; github = String; githubId = Integer; name = String }; elijahcaine = { email = String; github = String; githubId = Integer; name = String }; elitak = { email = String; github = String; githubId = Integer; name = String }; elkowar = { email = String; github = String; githubId = Integer; name = String }; elliottvillars = { email = String; github = String; githubId = Integer; name = String }; ellis = { email = String; github = String; githubId = Integer; name = String }; elohmeier = { email = String; github = String; githubId = Integer; name = String }; elseym = { email = String; github = String; githubId = Integer; name = String }; elvishjerricco = { email = String; github = String; githubId = Integer; name = String }; elyhaka = { email = String; github = String; githubId = Integer; name = String }; emantor = { email = String; github = String; githubId = Integer; name = String }; embr = { email = String; github = String; githubId = Integer; name = String }; emily = { email = String; github = String; githubId = Integer; name = String }; emmanuelrosa = { email = String; github = String; githubId = Integer; name = String }; endgame = { email = String; github = String; githubId = Integer; name = String }; endocrimes = { email = String; github = String; githubId = Integer; name = String }; enorris = { email = String; github = String; githubId = Integer; name = String }; enzime = { email = String; github = String; githubId = Integer; name = String }; eonpatapon = { email = String; github = String; githubId = Integer; name = String }; eperuffo = { email = String; github = String; githubId = Integer; name = String }; epitrochoid = { email = String; name = String }; equirosa = { email = String; github = String; githubId = Integer; name = String }; eqyiel = { email = String; github = String; githubId = Integer; name = String }; eraserhd = { email = String; github = String; githubId = Integer; name = String }; ericbmerritt = { email = String; github = String; githubId = Integer; name = String }; ericdallo = { email = String; github = String; githubId = Integer; name = String }; ericsagnes = { email = String; github = String; githubId = Integer; name = String }; ericson2314 = { email = String; github = String; githubId = Integer; name = String }; erictapen = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; erikryb = { email = String; github = String; githubId = Integer; name = String }; erosennin = { email = String; github = String; githubId = Integer; name = String }; ersin = { email = String; github = String; githubId = Integer; name = String }; ertes = { email = String; github = String; githubId = Integer; name = String }; esclear = { email = String; github = String; githubId = Integer; name = String }; eskytthe = { email = String; github = String; githubId = Integer; name = String }; ethercrow = { email = String; github = String; githubId = Integer; name = String }; etu = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; euank = { email = String; github = String; githubId = Integer; name = String }; evanjs = { email = String; github = String; githubId = Integer; name = String }; evck = { email = String; github = String; githubId = Integer; name = String }; evenbrenden = { email = String; github = String; githubId = Integer; name = String }; evils = { email = String; github = String; githubId = Integer; name = String }; exfalso = { email = String; github = String; githubId = Integer; name = String }; exi = { email = String; github = String; githubId = Integer; name = String }; exlevan = { email = String; github = String; githubId = Integer; name = String }; expipiplus1 = { email = String; github = String; githubId = Integer; name = String }; extends = { email = String; github = String; githubId = Integer; name = String }; eyjhb = { email = String; github = String; githubId = Integer; name = String }; f--t = { email = String; github = String; githubId = Integer; name = String }; f4814n = { email = String; github = String; githubId = Integer; name = String }; fabianhauser = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; fadenb = { email = String; github = String; githubId = Integer; name = String }; falsifian = { email = String; github = String; githubId = Integer; name = String }; fare = { email = String; github = String; githubId = Integer; name = String }; farlion = { email = String; github = String; githubId = Integer; name = String }; fdns = { email = String; github = String; githubId = Integer; name = String }; ffinkdevs = { email = String; github = String; githubId = Integer; name = String }; fgaz = { email = String; github = String; githubId = Integer; name = String }; filalex77 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; fionera = { email = String; github = String; githubId = Integer; name = String }; fishi0x01 = { email = String; github = String; githubId = Integer; name = String }; flexw = { email = String; github = String; githubId = Integer; name = String }; flokli = { email = String; github = String; githubId = Integer; name = String }; florianjacob = { email = String; github = String; githubId = Integer; name = String }; flosse = { email = String; github = String; githubId = Integer; name = String }; fluffynukeit = { email = String; github = String; githubId = Integer; name = String }; flyfloh = { email = String; github = String; githubId = Integer; name = String }; fmthoma = { email = String; github = String; githubId = Integer; name = String }; fooker = { email = String; github = String; githubId = Integer; name = String }; forkk = { email = String; github = String; githubId = Integer; name = String }; fornever = { email = String; github = String; githubId = Integer; name = String }; foxit64 = { email = String; github = String; githubId = Integer; name = String }; fpletz = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; fps = { email = String; github = String; githubId = Integer; name = String }; fragamus = { email = String; github = String; githubId = Integer; name = String }; fredeb = { email = String; github = String; githubId = Integer; name = String }; freepotion = { email = String; github = String; githubId = Integer; name = String }; freezeboy = { email = String; github = String; githubId = Integer; name = String }; fridh = { email = String; github = String; githubId = Integer; name = String }; frlan = { email = String; github = String; githubId = Integer; name = String }; fro_ozen = { email = String; github = String; githubId = Integer; name = String }; frontsideair = { email = String; github = String; githubId = Integer; name = String }; ftrvxmtrx = { email = String; github = String; githubId = Integer; name = String }; fuerbringer = { email = String; github = String; githubId = Integer; name = String }; funfunctor = { email = String; name = String }; fusion809 = { email = String; github = String; githubId = Integer; name = String }; fuuzetsu = { email = String; github = String; githubId = Integer; name = String }; fuwa = { email = String; github = String; githubId = Integer; name = String }; fuzen = { email = String; github = String; githubId = Integer; name = String }; fuzzy-id = { email = String; name = String }; fxfactorial = { email = String; github = String; githubId = Integer; name = String }; fzakaria = { email = String; github = String; githubId = Integer; name = String }; gabesoft = { email = String; github = String; githubId = Integer; name = String }; gal_bolle = { email = String; github = String; githubId = Integer; name = String }; galagora = { email = String; github = String; githubId = Integer; name = String }; gamb = { email = String; github = String; githubId = Integer; name = String }; garbas = { email = String; github = String; githubId = Integer; name = String }; garrison = { email = String; github = String; githubId = Integer; name = String }; gavin = { email = String; github = String; githubId = Integer; name = String }; gazally = { email = String; github = String; githubId = Integer; name = String }; gebner = { email = String; github = String; githubId = Integer; name = String }; genesis = { email = String; github = String; githubId = Integer; name = String }; georgewhewell = { email = String; github = String; githubId = Integer; name = String }; gerschtli = { email = String; github = String; githubId = Integer; name = String }; ggpeti = { email = String; github = String; githubId = Integer; name = String }; gila = { email = String; github = String; githubId = Integer; name = String }; gilligan = { email = String; github = String; githubId = Integer; name = String }; giogadi = { email = String; github = String; githubId = Integer; name = String }; gleber = { email = String; github = String; githubId = Integer; name = String }; glenns = { email = String; github = String; githubId = Integer; name = String }; glittershark = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; gloaming = { email = String; github = String; githubId = Integer; name = String }; globin = { email = String; github = String; githubId = Integer; name = String }; gnidorah = { email = String; github = String; githubId = Integer; name = String }; gnxlxnxx = { email = String; github = String; githubId = Integer; name = String }; goertzenator = { email = String; github = String; githubId = Integer; name = String }; goibhniu = { email = String; github = String; githubId = Integer; name = String }; goodrone = { email = String; github = String; githubId = Integer; name = String }; gpyh = { email = String; github = String; githubId = Integer; name = String }; grahamc = { email = String; github = String; githubId = Integer; name = String }; grburst = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; greydot = { email = String; github = String; githubId = Integer; name = String }; gridaphobe = { email = String; github = String; githubId = Integer; name = String }; groodt = { email = String; github = String; githubId = Integer; name = String }; guibert = { email = String; github = String; githubId = Integer; name = String }; guibou = { email = String; github = String; githubId = Integer; name = String }; guillaumekoenig = { email = String; github = String; githubId = Integer; name = String }; guyonvarch = { email = String; github = String; githubId = Integer; name = String }; gvolpe = { email = String; github = String; githubId = Integer; name = String }; hakuch = { email = String; github = String; githubId = Integer; name = String }; hamhut1066 = { email = String; github = String; githubId = Integer; name = String }; hansjoergschurr = { email = String; github = String; githubId = Integer; name = String }; haslersn = { email = String; github = String; githubId = Integer; name = String }; havvy = { email = String; github = String; githubId = Integer; name = String }; hax404 = { email = String; github = String; githubId = Integer; name = String }; hbunke = { email = String; github = String; githubId = Integer; name = String }; hce = { email = String; github = String; githubId = Integer; name = String }; hectorj = { email = String; github = String; githubId = Integer; name = String }; hedning = { email = String; github = String; githubId = Integer; name = String }; heel = { email = String; github = String; githubId = Integer; name = String }; helkafen = { email = String; github = String; githubId = Integer; name = String }; henrytill = { email = String; github = String; githubId = Integer; name = String }; herberteuler = { email = String; github = String; githubId = Integer; name = String }; hexa = { email = String; github = String; githubId = Integer; name = String }; hh = { email = String; github = String; githubId = Integer; name = String }; hhm = { email = String; github = String; githubId = Integer; name = String }; hinton = { email = String; name = String }; hkjn = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; hlolli = { email = String; github = String; githubId = Integer; name = String }; hmenke = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; hodapp = { email = String; github = String; githubId = Integer; name = String }; hrdinka = { email = String; github = String; githubId = Integer; name = String }; hschaeidt = { email = String; github = String; githubId = Integer; name = String }; htr = { email = String; github = String; githubId = Integer; name = String }; hugoreeves = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; hyphon81 = { email = String; github = String; githubId = Integer; name = String }; i077 = { email = String; github = String; githubId = Integer; name = String }; iand675 = { email = String; github = String; githubId = Integer; name = String }; ianmjones = { email = String; github = String; githubId = Integer; name = String }; ianwookim = { email = String; github = String; githubId = Integer; name = String }; iblech = { email = String; github = String; githubId = Integer; name = String }; idontgetoutmuch = { email = String; github = String; githubId = Integer; name = String }; igsha = { email = String; github = String; githubId = Integer; name = String }; iimog = { email = String; github = String; githubId = Integer; name = String }; ikervagyok = { email = String; github = String; githubId = Integer; name = String }; ilikeavocadoes = { email = String; github = String; githubId = Integer; name = String }; illegalprime = { email = String; github = String; githubId = Integer; name = String }; illiusdope = { email = String; github = String; githubId = Integer; name = String }; ilya-fedin = { email = String; github = String; githubId = Integer; name = String }; ilya-kolpakov = { email = String; github = String; githubId = Integer; name = String }; imalison = { email = String; github = String; githubId = Integer; name = String }; imalsogreg = { email = String; github = String; githubId = Integer; name = String }; immae = { email = String; github = String; githubId = Integer; name = String }; imuli = { email = String; github = String; githubId = Integer; name = String }; infinisil = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; ingenieroariel = { email = String; github = String; githubId = Integer; name = String }; ironpinguin = { email = String; github = String; githubId = Integer; name = String }; isgy = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; ivan = { email = String; github = String; githubId = Integer; name = String }; ivan-timokhin = { email = String; github = String; githubId = Integer; name = String }; ivan-tkatchev = { email = String; name = String }; ivanbrennan = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; ivar = { email = String; github = String; githubId = Integer; name = String }; ivegotasthma = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; ixmatus = { email = String; github = String; githubId = Integer; name = String }; ixxie = { email = String; github = String; githubId = Integer; name = String }; izorkin = { email = String; github = String; githubId = Integer; name = String }; j-keck = { email = String; github = String; githubId = Integer; name = String }; j03 = { email = String; github = String; githubId = Integer; name = String }; j0hax = { email = String; github = String; githubId = Integer; name = String }; jD91mZM2 = { email = String; github = String; githubId = Integer; name = String }; jacg = { email = String; github = String; githubId = Integer; name = String }; jagajaga = { email = String; github = String; githubId = Integer; name = String }; jakelogemann = { email = String; github = String; githubId = Integer; name = String }; jakestanger = { email = String; github = String; githubId = Integer; name = String }; jakewaksbaum = { email = String; github = String; githubId = Integer; name = String }; jammerful = { email = String; github = String; githubId = Integer; name = String }; jansol = { email = String; github = String; githubId = Integer; name = String }; jasoncarr = { email = String; github = String; githubId = Integer; name = String }; javaguirre = { email = String; github = String; githubId = Integer; name = String }; jb55 = { email = String; github = String; githubId = Integer; name = String }; jbedo = { email = String; github = String; githubId = Integer; name = String }; jbgi = { email = String; github = String; githubId = Integer; name = String }; jchw = { email = String; github = String; githubId = Integer; name = String }; jcumming = { email = String; name = String }; jdagilliland = { email = String; github = String; githubId = Integer; name = String }; jdanek = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; jdbaldry = { email = String; github = String; githubId = Integer; name = String }; jdehaas = { email = String; github = String; githubId = Integer; name = String }; jduan = { email = String; github = String; githubId = Integer; name = String }; jefdaj = { email = String; github = String; githubId = Integer; name = String }; jefflabonte = { email = String; github = String; githubId = Integer; name = String }; jensbin = { email = String; github = String; githubId = Integer; name = String }; jeremyschlatter = { email = String; github = String; githubId = Integer; name = String }; jerith666 = { email = String; github = String; githubId = Integer; name = String }; jeschli = { email = String; github = String; githubId = Integer; name = String }; jethro = { email = String; github = String; githubId = Integer; name = String }; jfb = { email = String; github = String; githubId = Integer; name = String }; jflanglois = { email = String; github = String; githubId = Integer; name = String }; jfrankenau = { email = String; github = String; githubId = Integer; name = String }; jfroche = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; jgeerds = { email = String; github = String; githubId = Integer; name = String }; jgertm = { email = String; github = String; githubId = Integer; name = String }; jgillich = { email = String; github = String; githubId = Integer; name = String }; jglukasik = { email = String; github = String; githubId = Integer; name = String }; jhhuh = { email = String; github = String; githubId = Integer; name = String }; jhillyerd = { email = String; github = String; githubId = Integer; name = String }; jirkamarsik = { email = String; github = String; githubId = Integer; name = String }; jitwit = { email = String; github = String; githubId = Integer; name = String }; jjjollyjim = { email = String; github = String; githubId = Integer; name = String }; jk = { email = String; github = String; githubId = Integer; name = String }; jlesquembre = { email = String; github = String; githubId = Integer; name = String }; jloyet = { email = String; github = String; githubId = Integer; name = String }; jluttine = { email = String; github = String; githubId = Integer; name = String }; jm2dev = { email = String; github = String; githubId = Integer; name = String }; jmagnusj = { email = String; github = String; githubId = Integer; name = String }; jmettes = { email = String; github = String; githubId = Integer; name = String }; joachifm = { email = String; github = String; githubId = Integer; name = String }; joachimschmidt557 = { email = String; github = String; githubId = Integer; name = String }; joamaki = { email = String; github = String; githubId = Integer; name = String }; jobojeha = { email = String; github = String; githubId = Integer; name = String }; joelburget = { email = String; github = String; githubId = Integer; name = String }; joelmo = { email = String; github = String; githubId = Integer; name = String }; joelteon = { email = String; name = String }; joepie91 = { email = String; github = String; githubId = Integer; name = String }; joesalisbury = { email = String; github = String; githubId = Integer; name = String }; johanot = { email = String; github = String; githubId = Integer; name = String }; johbo = { email = String; github = String; githubId = Integer; name = String }; johnazoidberg = { email = String; github = String; githubId = Integer; name = String }; johnchildren = { email = String; github = String; githubId = Integer; name = String }; johnmh = { email = String; github = String; githubId = Integer; name = String }; johnramsden = { email = String; github = String; githubId = Integer; name = String }; johntitor = { email = String; github = String; githubId = Integer; name = String }; jojosch = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; joko = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; jonafato = { email = String; github = String; githubId = Integer; name = String }; jonathanmarler = { email = String; github = String; githubId = Integer; name = String }; jonathanreeve = { email = String; github = String; githubId = Integer; name = String }; joncojonathan = { email = String; github = String; githubId = Integer; name = String }; jonringer = { email = String; github = String; githubId = Integer; name = String }; jorise = { email = String; github = String; githubId = Integer; name = String }; jorsn = { email = String; github = String; githubId = Integer; name = String }; joshuafern = { email = String; github = String; githubId = Integer; name = String }; jpas = { email = String; github = String; githubId = Integer; name = String }; jpdoyle = { email = String; github = String; githubId = Integer; name = String }; jperras = { email = String; github = String; githubId = Integer; name = String }; jpierre03 = { email = String; github = String; githubId = Integer; name = String }; jpotier = { email = String; github = String; githubId = Integer; name = String }; jqueiroz = { email = String; github = String; githubId = Integer; name = String }; jraygauthier = { email = String; github = String; githubId = Integer; name = String }; jschievink = { email = String; github = String; githubId = Integer; name = String }; jtcoolen = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; jtobin = { email = String; github = String; githubId = Integer; name = String }; jtojnar = { email = String; github = String; githubId = Integer; name = String }; juaningan = { email = String; github = String; githubId = Integer; name = String }; juliendehos = { email = String; github = String; githubId = Integer; name = String }; julm = { email = String; github = String; githubId = Integer; name = String }; jumper149 = { email = String; github = String; githubId = Integer; name = String }; justinwoo = { email = String; github = String; githubId = Integer; name = String }; jwatt = { email = String; github = String; githubId = Integer; name = String }; jwiegley = { email = String; github = String; githubId = Integer; name = String }; jwijenbergh = { email = String; github = String; githubId = Integer; name = String }; jwilberding = { email = String; name = String }; jyp = { email = String; github = String; githubId = Integer; name = String }; jzellner = { email = String; github = String; githubId = Integer; name = String }; kaction = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; kaiha = { email = String; github = String; githubId = Integer; name = String }; kalbasit = { email = String; github = String; githubId = Integer; name = String }; kalekseev = { email = String; github = String; githubId = Integer; name = String }; kamadorueda = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; kamilchm = { email = String; github = String; githubId = Integer; name = String }; kampfschlaefer = { email = String; github = String; githubId = Integer; name = String }; kampka = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; karantan = { email = String; github = String; githubId = Integer; name = String }; karolchmist = { email = String; name = String }; kayhide = { email = String; github = String; githubId = Integer; name = String }; kazcw = { email = String; github = String; githubId = Integer; name = String }; kcalvinalvin = { email = String; github = String; githubId = Integer; name = String }; kentjames = { email = String; github = String; githubId = Integer; name = String }; kevincox = { email = String; github = String; githubId = Integer; name = String }; kfollesdal = { email = String; github = String; githubId = Integer; name = String }; khumba = { email = String; github = String; githubId = Integer; name = String }; kierdavis = { email = String; github = String; githubId = Integer; name = String }; killercup = { email = String; github = String; githubId = Integer; name = String }; kiloreux = { email = String; github = String; githubId = Integer; name = String }; kim0 = { email = String; github = String; githubId = Integer; name = String }; kimat = { email = String; github = String; githubId = Integer; name = String }; kimburgess = { email = String; github = String; githubId = Integer; name = String }; kini = { email = String; github = String; githubId = Integer; name = String }; kirelagin = { email = String; github = String; githubId = Integer; name = String }; kirikaza = { email = String; github = String; githubId = Integer; name = String }; kisonecat = { email = String; github = String; githubId = Integer; name = String }; kiwi = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; kkallio = { email = String; name = String }; klntsky = { email = String; github = String; githubId = Integer; name = String }; kloenk = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; kmcopper = { email = String; github = String; githubId = Integer; name = String }; kmeakin = { email = String; github = String; githubId = Integer; name = String }; kmein = { email = String; github = String; githubId = Integer; name = String }; knairda = { email = String; github = String; githubId = Integer; name = String }; knedlsepp = { email = String; github = String; githubId = Integer; name = String }; knl = { email = String; github = String; githubId = Integer; name = String }; kolaente = { email = String; github = String; githubId = Integer; name = String }; kolbycrouch = { email = String; github = String; githubId = Integer; name = String }; kolloch = { email = String; github = String; githubId = Integer; name = String }; konimex = { email = String; github = String; githubId = Integer; name = String }; koral = { email = String; github = String; githubId = Integer; name = String }; koslambrou = { email = String; github = String; githubId = Integer; name = String }; kovirobi = { email = String; github = String; githubId = Integer; name = String }; kquick = { email = String; github = String; githubId = Integer; name = String }; kraem = { email = String; github = String; githubId = Integer; name = String }; kragniz = { email = String; github = String; githubId = Integer; name = String }; krav = { email = String; github = String; githubId = Integer; name = String }; kristian-brucaj = { email = String; github = String; githubId = Integer; name = String }; kristoff3r = { email = String; github = String; githubId = Integer; name = String }; kroell = { email = String; github = String; githubId = Integer; name = String }; ktf = { email = String; github = String; githubId = Integer; name = String }; kthielen = { email = String; github = String; githubId = Integer; name = String }; ktor = { email = String; github = String; githubId = Integer; name = String }; ktosiek = { email = String; github = String; githubId = Integer; name = String }; kuznero = { email = String; github = String; githubId = Integer; name = String }; kwohlfahrt = { email = String; github = String; githubId = Integer; name = String }; kylesferrazza = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; kylewlacy = { email = String; github = String; githubId = Integer; name = String }; laikq = { email = String; github = String; githubId = Integer; name = String }; lambda-11235 = { email = String; github = String; githubId = Integer; name = String }; lasandell = { email = String; github = String; githubId = Integer; name = String }; lassulus = { email = String; github = String; githubId = Integer; name = String }; lattfein = { email = String; name = String }; layus = { email = String; github = String; githubId = Integer; name = String }; lblasc = { email = String; github = String; githubId = Integer; name = String }; lbpdt = { email = String; github = String; githubId = Integer; name = String }; ldelelis = { email = String; github = String; githubId = Integer; name = String }; ldesgoui = { email = String; github = String; githubId = Integer; name = String }; league = { email = String; github = String; githubId = Integer; name = String }; leahneukirchen = { email = String; github = String; githubId = Integer; name = String }; lebastr = { email = String; github = String; githubId = Integer; name = String }; ledif = { email = String; github = String; githubId = Integer; name = String }; leemachin = { email = String; github = String; githubId = Integer; name = String }; leenaars = { email = String; github = String; githubId = Integer; name = String }; lejonet = { email = String; github = String; githubId = Integer; name = String }; leo60228 = { email = String; github = String; githubId = Integer; name = String }; leonardoce = { email = String; github = String; githubId = Integer; name = String }; leshainc = { email = String; github = String; githubId = Integer; name = String }; lethalman = { email = String; github = String; githubId = Integer; name = String }; lewo = { email = String; github = String; githubId = Integer; name = String }; lexuge = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; lf- = { email = String; github = String; githubId = Integer; name = String }; lheckemann = { email = String; github = String; githubId = Integer; name = String }; lhvwb = { email = String; github = String; githubId = Integer; name = String }; liff = { email = String; github = String; githubId = Integer; name = String }; lightbulbjim = { email = String; github = String; githubId = Integer; name = String }; lightdiscord = { email = String; github = String; githubId = Integer; name = String }; lihop = { email = String; github = String; githubId = Integer; name = String }; lilyball = { email = String; github = String; githubId = Integer; name = String }; limeytexan = { email = String; github = String; githubId = Integer; name = String }; linarcx = { email = String; github = String; githubId = Integer; name = String }; linc01n = { email = String; github = String; githubId = Integer; name = String }; linquize = { email = String; github = String; githubId = Integer; name = String }; linus = { email = String; github = String; githubId = Integer; name = String }; lionello = { email = String; github = String; githubId = Integer; name = String }; livnev = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; lluchs = { email = String; github = String; githubId = Integer; name = String }; lnl7 = { email = String; github = String; githubId = Integer; name = String }; lo1tuma = { email = String; github = String; githubId = Integer; name = String }; loewenheim = { email = String; github = String; githubId = Integer; name = String }; lopsided98 = { email = String; github = String; githubId = Integer; name = String }; loskutov = { email = String; github = String; githubId = Integer; name = String }; lostnet = { email = String; github = String; githubId = Integer; name = String }; louisdk1 = { email = String; github = String; githubId = Integer; name = String }; lourkeur = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; lovek323 = { email = String; github = String; githubId = Integer; name = String }; lovesegfault = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; lowfatcomputing = { email = String; github = String; githubId = Integer; name = String }; lschuermann = { email = String; github = String; githubId = Integer; name = String }; lsix = { email = String; github = String; githubId = Integer; name = String }; ltavard = { email = String; github = String; githubId = Integer; name = String }; luc65r = { email = String; github = String; githubId = Integer; name = String }; lucperkins = { email = String; github = String; githubId = Integer; name = String }; lucus16 = { email = String; github = String; githubId = Integer; name = String }; ludo = { email = String; github = String; githubId = Integer; name = String }; lufia = { email = String; github = String; githubId = Integer; name = String }; luis = { email = String; github = String; githubId = Integer; name = String }; luispedro = { email = String; github = String; githubId = Integer; name = String }; lukeadams = { email = String; github = String; githubId = Integer; name = String }; lukebfox = { email = String; github = String; githubId = Integer; name = String }; lukegb = { email = String; github = String; githubId = Integer; name = String }; lukego = { email = String; github = String; githubId = Integer; name = String }; lumi = { email = String; github = String; githubId = Integer; name = String }; lunik1 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; luz = { email = String; github = String; githubId = Integer; name = String }; lw = { email = String; github = String; githubId = Integer; name = String }; lynty = { email = String; github = String; githubId = Integer; name = String }; lyt = { email = String; name = String }; m1cr0man = { email = String; github = String; githubId = Integer; name = String }; m3tti = { email = String; name = String }; ma27 = { email = String; github = String; githubId = Integer; name = String }; ma9e = { email = String; github = String; githubId = Integer; name = String }; madjar = { email = String; github = String; githubId = Integer; name = String }; mafo = { email = String; github = String; githubId = Integer; name = String }; magenbluten = { email = String; github = String; githubId = Integer; name = String }; maggesi = { email = String; github = String; githubId = Integer; name = String }; magnetophon = { email = String; github = String; githubId = Integer; name = String }; mahe = { email = String; github = String; githubId = Integer; name = String }; makefu = { email = String; github = String; githubId = Integer; name = String }; malyn = { email = String; github = String; githubId = Integer; name = String }; manveru = { email = String; github = String; githubId = Integer; name = String }; maralorn = { email = String; github = String; githubId = Integer; name = String }; marcus7070 = { email = String; github = String; githubId = Integer; name = String }; marcweber = { email = String; github = String; githubId = Integer; name = String }; marenz = { email = String; github = String; githubId = Integer; name = String }; marius851000 = { email = String; github = String; githubId = Integer; name = String }; markWot = { email = String; name = String }; markus1189 = { email = String; github = String; githubId = Integer; name = String }; markuskowa = { email = String; github = String; githubId = Integer; name = String }; marsam = { email = String; github = String; githubId = Integer; name = String }; martijnvermaat = { email = String; github = String; githubId = Integer; name = String }; martingms = { email = String; github = String; githubId = Integer; name = String }; marzipankaiser = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; masaeedu = { email = String; github = String; githubId = Integer; name = String }; matejc = { email = String; github = String; githubId = Integer; name = String }; mathnerd314 = { email = String; github = String; githubId = Integer; name = String }; matklad = { email = String; github = String; githubId = Integer; name = String }; matt-snider = { email = String; github = String; githubId = Integer; name = String }; matthewbauer = { email = String; github = String; githubId = Integer; name = String }; matthiasbeyer = { email = String; github = String; githubId = Integer; name = String }; matthuszagh = { email = String; github = String; githubId = Integer; name = String }; matti-kariluoma = { email = String; github = String; githubId = Integer; name = String }; maurer = { email = String; github = String; githubId = Integer; name = String }; maxdamantus = { email = String; github = String; githubId = Integer; name = String }; maxeaubrey = { email = String; github = String; githubId = Integer; name = String }; maxxk = { email = String; github = String; githubId = Integer; name = String }; mbaillie = { email = String; github = String; githubId = Integer; name = String }; mbakke = { email = String; github = String; githubId = Integer; name = String }; mbbx6spp = { email = String; github = String; githubId = Integer; name = String }; mbe = { email = String; github = String; githubId = Integer; name = String }; mbode = { email = String; github = String; githubId = Integer; name = String }; mboes = { email = String; github = String; githubId = Integer; name = String }; mbrgm = { email = String; github = String; githubId = Integer; name = String }; mcbeth = { email = String; github = String; githubId = Integer; name = String }; mcmtroffaes = { email = String; github = String; githubId = Integer; name = String }; mcwitt = { email = String; github = String; githubId = Integer; name = String }; mdaiter = { email = String; github = String; githubId = Integer; name = String }; mdevlamynck = { email = String; github = String; githubId = Integer; name = String }; mdlayher = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; meditans = { email = String; github = String; githubId = Integer; name = String }; megheaiulian = { email = String; github = String; githubId = Integer; name = String }; mehandes = { email = String; github = String; githubId = Integer; name = String }; meisternu = { email = String; github = String; githubId = Integer; name = String }; melchips = { email = String; github = String; githubId = Integer; name = String }; melkor333 = { email = String; github = String; githubId = Integer; name = String }; melling = { email = String; github = String; githubId = Integer; name = String }; melsigl = { email = String; github = String; githubId = Integer; name = String }; metabar = { email = String; name = String }; metadark = { email = String; github = String; githubId = Integer; name = String }; meutraa = { email = String; github = String; githubId = Integer; name = String }; mfossen = { email = String; github = String; githubId = Integer; name = String }; mgdelacroix = { email = String; github = String; githubId = Integer; name = String }; mgdm = { email = String; github = String; githubId = Integer; name = String }; mgregoire = { email = String; github = String; githubId = Integer; name = String }; mgttlinger = { email = String; github = String; githubId = Integer; name = String }; mguentner = { email = String; github = String; githubId = Integer; name = String }; mhaselsteiner = { email = String; github = String; githubId = Integer; name = String }; mic92 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; michaelpj = { email = String; github = String; githubId = Integer; name = String }; michalrus = { email = String; github = String; githubId = Integer; name = String }; michelk = { email = String; github = String; githubId = Integer; name = String }; michojel = { email = String; github = String; githubId = Integer; name = String }; mickours = { email = String; github = String; githubId = Integer; name = String }; midchildan = { email = String; github = String; githubId = Integer; name = String }; mikefaille = { email = String; github = String; githubId = Integer; name = String }; mikesperber = { email = String; github = String; githubId = Integer; name = String }; mikoim = { email = String; github = String; githubId = Integer; name = String }; mildlyincompetent = { email = String; github = String; githubId = Integer; name = String }; millerjason = { email = String; github = String; githubId = Integer; name = String }; miltador = { email = String; name = String }; mimame = { email = String; github = String; githubId = Integer; name = String }; mindavi = { email = String; github = String; githubId = Integer; name = String }; minijackson = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; mir06 = { email = String; github = String; githubId = Integer; name = String }; mirdhyn = { email = String; github = String; githubId = Integer; name = String }; mirrexagon = { email = String; github = String; githubId = Integer; name = String }; misuzu = { email = String; github = String; githubId = Integer; name = String }; mjanczyk = { email = String; github = String; githubId = Integer; name = String }; mjp = { email = String; github = String; githubId = Integer; name = String }; mkaito = { email = String; github = String; githubId = Integer; name = String }; mkazulak = { email = String; github = String; githubId = Integer; name = String }; mkf = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; mkg = { email = String; github = String; githubId = Integer; name = String }; mkg20001 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; mlatus = { email = String; github = String; githubId = Integer; name = String }; mlieberman85 = { email = String; github = String; githubId = Integer; name = String }; mmahut = { email = String; github = String; githubId = Integer; name = String }; mmai = { email = String; github = String; githubId = Integer; name = String }; mmilata = { email = String; github = String; githubId = Integer; name = String }; mmlb = { email = String; github = String; githubId = Integer; name = String }; mnacamura = { email = String; github = String; githubId = Integer; name = String }; moaxcp = { email = String; github = String; githubId = Integer; name = String }; modulistic = { email = String; github = String; githubId = Integer; name = String }; mog = { email = String; github = String; githubId = Integer; name = String }; monsieurp = { email = String; github = String; githubId = Integer; name = String }; montag451 = { email = String; github = String; githubId = Integer; name = String }; moosingin3space = { email = String; github = String; githubId = Integer; name = String }; moredread = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; moretea = { email = String; github = String; githubId = Integer; name = String }; mothsart = { email = String; github = String; githubId = Integer; name = String }; mounium = { email = String; github = String; githubId = Integer; name = String }; mpcsh = { email = String; github = String; githubId = Integer; name = String }; mpickering = { email = String; github = String; githubId = Integer; name = String }; mpoquet = { email = String; github = String; githubId = Integer; name = String }; mpscholten = { email = String; github = String; githubId = Integer; name = String }; mpsyco = { email = String; github = String; githubId = Integer; name = String }; mrVanDalo = { email = String; github = String; githubId = Integer; name = String }; mredaelli = { email = String; github = String; githubId = Integer; name = String }; mrkkrp = { email = String; github = String; githubId = Integer; name = String }; mrmebelman = { email = String; github = String; githubId = Integer; name = String }; msackman = { email = String; name = String }; mschneider = { email = String; name = String }; mschristiansen = { email = String; github = String; githubId = Integer; name = String }; mschuwalow = { email = String; github = String; githubId = Integer; name = String }; msiedlarek = { email = String; github = String; githubId = Integer; name = String }; msm = { email = String; github = String; githubId = Integer; name = String }; mstarzyk = { email = String; github = String; githubId = Integer; name = String }; msteen = { email = String; github = String; githubId = Integer; name = String }; mt-caret = { email = String; github = String; githubId = Integer; name = String }; mtreskin = { email = String; github = String; githubId = Integer; name = String }; mtrsk = { email = String; github = String; githubId = Integer; name = String }; mudri = { email = String; github = String; githubId = Integer; name = String }; muflax = { email = String; github = String; githubId = Integer; name = String }; multun = { email = String; github = String; githubId = Integer; name = String }; mupdt = { email = String; github = String; githubId = Integer; name = String }; mvnetbiz = { email = String; github = String; githubId = Integer; name = String }; mwilsoninsight = { email = String; github = String; githubId = Integer; name = String }; myrl = { email = String; github = String; githubId = Integer; name = String }; nadrieril = { email = String; github = String; githubId = Integer; name = String }; nagisa = { email = String; github = String; githubId = Integer; name = String }; nalbyuites = { email = String; github = String; githubId = Integer; name = String }; namore = { email = String; github = String; githubId = Integer; name = String }; nand0p = { email = String; github = String; githubId = Integer; name = String }; nathan-gs = { email = String; github = String; githubId = Integer; name = String }; nathyong = { email = String; github = String; githubId = Integer; name = String }; nckx = { email = String; github = String; githubId = Integer; name = String }; neeasade = { email = String; github = String; githubId = Integer; name = String }; neonfuz = { email = String; github = String; githubId = Integer; name = String }; nequissimus = { email = String; github = String; githubId = Integer; name = String }; netixx = { email = String; github = String; githubId = Integer; name = String }; nfjinjing = { email = String; name = String }; ngerstle = { email = String; github = String; githubId = Integer; name = String }; nh2 = { email = String; github = String; githubId = Integer; name = String }; nhooyr = { email = String; github = String; githubId = Integer; name = String }; nickhu = { email = String; github = String; githubId = Integer; name = String }; nicknovitski = { email = String; github = String; githubId = Integer; name = String }; nico202 = { email = String; github = String; githubId = Integer; name = String }; nikitavoloboev = { email = String; github = String; githubId = Integer; name = String }; nilp0inter = { email = String; github = String; githubId = Integer; name = String }; nilsirl = { email = String; github = String; githubId = Integer; name = String }; ninjatrappeur = { email = String; github = String; githubId = Integer; name = String }; nioncode = { email = String; github = String; githubId = Integer; name = String }; nipav = { email = String; github = String; githubId = Integer; name = String }; nixy = { email = String; github = String; githubId = Integer; name = String }; nloomans = { email = String; github = String; githubId = Integer; name = String }; nmattia = { email = String; github = String; githubId = Integer; name = String }; nocent = { email = String; github = String; githubId = Integer; name = String }; nocoolnametom = { email = String; github = String; githubId = Integer; name = String }; nomeata = { email = String; github = String; githubId = Integer; name = String }; noneucat = { email = String; github = String; githubId = Integer; name = String }; notbandali = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; notthemessiah = { email = String; github = String; githubId = Integer; name = String }; novoxudonoser = { email = String; github = String; githubId = Integer; name = String }; np = { email = String; github = String; githubId = Integer; name = String }; nphilou = { email = String; github = String; githubId = Integer; name = String }; nrdxp = { email = String; github = String; githubId = Integer; name = String }; nshalman = { email = String; github = String; githubId = Integer; name = String }; nslqqq = { email = String; name = String }; nthorne = { email = String; github = String; githubId = Integer; name = String }; numinit = { email = String; github = String; githubId = Integer; name = String }; numkem = { email = String; github = String; githubId = Integer; name = String }; nyanloutre = { email = String; github = String; githubId = Integer; name = String }; nyarly = { email = String; github = String; githubId = Integer; name = String }; nzhang-zh = { email = String; github = String; githubId = Integer; name = String }; obadz = { email = String; github = String; githubId = Integer; name = String }; ocharles = { email = String; github = String; githubId = Integer; name = String }; odi = { email = String; github = String; githubId = Integer; name = String }; offline = { email = String; github = String; githubId = Integer; name = String }; oida = { email = String; github = String; githubId = Integer; name = String }; okasu = { email = String; name = String }; olcai = { email = String; github = String; githubId = Integer; name = String }; olejorgenb = { email = String; github = String; githubId = Integer; name = String }; olynch = { email = String; github = String; githubId = Integer; name = String }; omnipotententity = { email = String; github = String; githubId = Integer; name = String }; orbekk = { email = String; github = String; githubId = Integer; name = String }; orbitz = { email = String; github = String; githubId = Integer; name = String }; orivej = { email = String; github = String; githubId = Integer; name = String }; oro = { email = String; github = String; githubId = Integer; name = String }; osener = { email = String; github = String; githubId = Integer; name = String }; otwieracz = { email = String; github = String; githubId = Integer; name = String }; oxalica = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; oxij = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; oxzi = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; oyren = { email = String; github = String; githubId = Integer; name = String }; pSub = { email = String; github = String; githubId = Integer; name = String }; pablovsky = { email = String; github = String; githubId = Integer; name = String }; pacien = { email = String; github = String; githubId = Integer; name = String }; paddygord = { email = String; github = String; githubId = Integer; name = String }; paholg = { email = String; github = String; githubId = Integer; name = String }; pakhfn = { email = String; github = String; githubId = Integer; name = String }; paluh = { email = String; github = String; githubId = Integer; name = String }; pamplemousse = { email = String; github = String; githubId = Integer; name = String }; panaeon = { email = String; github = String; githubId = Integer; name = String }; pandaman = { email = String; github = String; githubId = Integer; name = String }; paperdigits = { email = String; github = String; githubId = Integer; name = String }; paraseba = { email = String; github = String; githubId = Integer; name = String }; parasrah = { email = String; github = String; githubId = Integer; name = String }; pashashocky = { email = String; github = String; githubId = Integer; name = String }; pashev = { email = String; github = String; githubId = Integer; name = String }; patryk27 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; patternspandemic = { email = String; github = String; githubId = Integer; name = String }; pawelpacana = { email = String; github = String; githubId = Integer; name = String }; pblkt = { email = String; github = String; githubId = Integer; name = String }; pbogdan = { email = String; github = String; githubId = Integer; name = String }; pcarrier = { email = String; github = String; githubId = Integer; name = String }; peelz = { email = String; github = String; githubId = Integer; name = String }; periklis = { email = String; github = String; githubId = Integer; name = String }; pesterhazy = { email = String; github = String; githubId = Integer; name = String }; petabyteboy = { email = String; github = String; githubId = Integer; name = String }; petercommand = { email = String; github = String; githubId = Integer; name = String }; peterhoeg = { email = String; github = String; githubId = Integer; name = String }; peterromfeldhk = { email = String; github = String; githubId = Integer; name = String }; petersjt014 = { email = String; github = String; githubId = Integer; name = String }; peti = { email = String; github = String; githubId = Integer; name = String }; philandstuff = { email = String; github = String; githubId = Integer; name = String }; phile314 = { email = String; github = String; githubId = Integer; name = String }; phreedom = { email = String; github = String; githubId = Integer; name = String }; phryneas = { email = String; github = String; githubId = Integer; name = String }; phunehehe = { email = String; github = String; githubId = Integer; name = String }; pierrechevalier83 = { email = String; github = String; githubId = Integer; name = String }; pierreis = { email = String; github = String; githubId = Integer; name = String }; pierrer = { email = String; github = String; githubId = Integer; name = String }; pierron = { email = String; github = String; githubId = Integer; name = String }; pingiun = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; piotr = { email = String; name = String }; pjbarnoy = { email = String; github = String; githubId = Integer; name = String }; pjjw = { email = String; github = String; githubId = Integer; name = String }; pjones = { email = String; github = String; githubId = Integer; name = String }; pkmx = { email = String; github = String; githubId = Integer; name = String }; plchldr = { email = String; github = String; githubId = Integer; name = String }; plcplc = { email = String; github = String; githubId = Integer; name = String }; plumps = { email = String; github = String; githubId = Integer; name = String }; pmahoney = { email = String; github = String; githubId = Integer; name = String }; pmeunier = { email = String; github = String; githubId = Integer; name = String }; pmiddend = { email = String; github = String; githubId = Integer; name = String }; pmyjavec = { email = String; github = String; githubId = Integer; name = String }; pnelson = { email = String; github = String; githubId = Integer; name = String }; pneumaticat = { email = String; github = String; githubId = Integer; name = String }; polyrod = { email = String; github = String; githubId = Integer; name = String }; pombeirp = { email = String; github = String; githubId = Integer; name = String }; pradeepchhetri = { email = String; github = String; githubId = Integer; name = String }; pradyuman = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; priegger = { email = String; github = String; githubId = Integer; name = String }; prikhi = { email = String; github = String; githubId = Integer; name = String }; primeos = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; proglodyte = { email = String; github = String; githubId = Integer; name = String }; protoben = { email = String; github = String; githubId = Integer; name = String }; prusnak = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; psanford = { email = String; github = String; githubId = Integer; name = String }; pshendry = { email = String; github = String; githubId = Integer; name = String }; psibi = { email = String; github = String; githubId = Integer; name = String }; pstn = { email = String; name = String }; psyanticy = { email = String; github = String; githubId = Integer; name = String }; ptival = { email = String; github = String; githubId = Integer; name = String }; ptrhlm = { email = String; github = String; githubId = Integer; name = String }; puckipedia = { email = String; github = String; githubId = Integer; name = String }; puffnfresh = { email = String; github = String; githubId = Integer; name = String }; purcell = { email = String; github = String; githubId = Integer; name = String }; puzzlewolf = { email = String; github = String; githubId = Integer; name = String }; pyrolagus = { email = String; github = String; githubId = Integer; name = String }; q3k = { email = String; github = String; githubId = Integer; name = String }; qknight = { email = String; github = String; githubId = Integer; name = String }; qoelet = { email = String; github = String; githubId = Integer; name = String }; quentini = { email = String; github = String; githubId = Integer; name = String }; qyliss = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; raboof = { email = String; github = String; githubId = Integer; name = String }; rafaelgg = { email = String; github = String; githubId = Integer; name = String }; ragge = { email = String; github = String; githubId = Integer; name = String }; rakesh4g = { email = String; github = String; githubId = Integer; name = String }; ralith = { email = String; github = String; githubId = Integer; name = String }; ramkromberg = { email = String; github = String; githubId = Integer; name = String }; raquelgb = { email = String; github = String; githubId = Integer; name = String }; rardiol = { email = String; github = String; githubId = Integer; name = String }; rasendubi = { email = String; github = String; githubId = Integer; name = String }; raskin = { email = String; github = String; githubId = Integer; name = String }; ravloony = { email = String; name = String }; rawkode = { email = String; github = String; githubId = Integer; name = String }; razvan = { email = String; github = String; githubId = Integer; name = String }; rbasso = { email = String; github = String; githubId = Integer; name = String }; rbrewer = { email = String; github = String; githubId = Integer; name = String }; rdnetto = { email = String; github = String; githubId = Integer; name = String }; redbaron = { email = String; github = String; githubId = Integer; name = String }; redfish64 = { email = String; github = String; githubId = Integer; name = String }; redvers = { email = String; github = String; githubId = Integer; name = String }; refnil = { email = String; github = String; githubId = Integer; name = String }; regnat = { email = String; github = String; githubId = Integer; name = String }; relrod = { email = String; github = String; githubId = Integer; name = String }; rembo10 = { email = String; github = String; githubId = Integer; name = String }; renatoGarcia = { email = String; github = String; githubId = Integer; name = String }; rencire = { email = String; github = String; githubId = Integer; name = String }; renzo = { email = String; github = String; githubId = Integer; name = String }; retrry = { email = String; github = String; githubId = Integer; name = String }; rexim = { email = String; github = String; githubId = Integer; name = String }; rht = { email = String; github = String; githubId = Integer; name = String }; richardipsum = { email = String; github = String; githubId = Integer; name = String }; rick68 = { email = String; github = String; githubId = Integer; name = String }; rickynils = { email = String; github = String; githubId = Integer; name = String }; rika = { email = String; github = String; githubId = Integer; name = String }; rileyinman = { email = String; github = String; githubId = Integer; name = String }; ris = { email = String; github = String; githubId = Integer; name = String }; risson = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; rittelle = { email = String; github = String; githubId = Integer; name = String }; rixed = { email = String; github = String; githubId = Integer; name = String }; rizary = { email = String; github = String; githubId = Integer; name = String }; rkoe = { email = String; github = String; githubId = Integer; name = String }; rkrzr = { email = String; github = String; githubId = Integer; name = String }; rlupton20 = { email = String; github = String; githubId = Integer; name = String }; rnhmjoj = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; roastiek = { email = String; github = String; githubId = Integer; name = String }; rob = { email = String; github = String; githubId = Integer; name = String }; robaca = { email = String; github = String; githubId = Integer; name = String }; robberer = { email = String; github = String; githubId = Integer; name = String }; robbinch = { email = String; github = String; githubId = Integer; name = String }; roberth = { email = String; github = String; githubId = Integer; name = String }; robertodr = { email = String; github = String; githubId = Integer; name = String }; robgssp = { email = String; github = String; githubId = Integer; name = String }; roblabla = { email = String; github = String; githubId = Integer; name = String }; roconnor = { email = String; github = String; githubId = Integer; name = String }; roelvandijk = { email = String; github = String; githubId = Integer; name = String }; romildo = { email = String; github = String; githubId = Integer; name = String }; rongcuid = { email = String; github = String; githubId = Integer; name = String }; roosemberth = { email = String; github = String; githubId = Integer; name = String }; rople380 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; royneary = { email = String; github = String; githubId = Integer; name = String }; rpearce = { email = String; github = String; githubId = Integer; name = String }; rprospero = { email = String; github = String; githubId = Integer; name = String }; rps = { email = String; github = String; githubId = Integer; name = String }; rszibele = { email = String; github = String; githubId = Integer; name = String }; rtreffer = { email = String; github = String; githubId = Integer; name = String }; rushmorem = { email = String; github = String; githubId = Integer; name = String }; ruuda = { email = String; github = String; githubId = Integer; name = String }; rvl = { email = String; github = String; githubId = Integer; name = String }; rvlander = { email = String; github = String; githubId = Integer; name = String }; rvolosatovs = { email = String; github = String; githubId = Integer; name = String }; ryanartecona = { email = String; github = String; githubId = Integer; name = String }; ryanorendorff = { email = String; github = String; githubId = Integer; name = String }; ryansydnor = { email = String; github = String; githubId = Integer; name = String }; ryantm = { email = String; github = String; githubId = Integer; name = String }; ryantrinkle = { email = String; github = String; githubId = Integer; name = String }; rybern = { email = String; github = String; githubId = Integer; name = String }; rycee = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; ryneeverett = { email = String; github = String; githubId = Integer; name = String }; rzetterberg = { email = String; github = String; githubId = Integer; name = String }; s1341 = { email = String; github = String; githubId = Integer; name = String }; samdoshi = { email = String; github = String; githubId = Integer; name = String }; samdroid-apps = { email = String; github = String; githubId = Integer; name = String }; samlich = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; samrose = { email = String; github = String; githubId = Integer; name = String }; samueldr = { email = String; github = String; githubId = Integer; name = String }; samuelgrf = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; samuelrivas = { email = String; github = String; githubId = Integer; name = String }; sander = { email = String; github = String; githubId = Integer; name = String }; sarcasticadmin = { email = String; github = String; githubId = Integer; name = String }; sargon = { email = String; github = String; githubId = Integer; name = String }; saschagrunert = { email = String; github = String; githubId = Integer; name = String }; saulecabrera = { email = String; github = String; githubId = Integer; name = String }; sauyon = { email = String; github = String; githubId = Integer; name = String }; savannidgerinel = { email = String; github = String; githubId = Integer; name = String }; sb0 = { email = String; github = String; githubId = Integer; name = String }; sboosali = { email = String; github = String; githubId = Integer; name = String }; scalavision = { email = String; github = String; githubId = Integer; name = String }; schmitthenner = { email = String; github = String; githubId = Integer; name = String }; schmittlauch = { email = String; github = String; githubId = Integer; name = String }; schneefux = { email = String; github = String; githubId = Integer; name = String }; schristo = { email = String; name = String }; scode = { email = String; github = String; githubId = Integer; name = String }; scolobb = { email = String; github = String; githubId = Integer; name = String }; screendriver = { email = String; github = String; githubId = Integer; name = String }; scubed2 = { email = String; github = String; githubId = Integer; name = String }; sdier = { email = String; github = String; githubId = Integer; name = String }; sdll = { email = String; github = String; githubId = Integer; name = String }; seb314 = { email = String; github = String; githubId = Integer; name = String }; sellout = { email = String; github = String; githubId = Integer; name = String }; sengaya = { email = String; github = String; githubId = Integer; name = String }; sephalon = { email = String; github = String; githubId = Integer; name = String }; sepi = { email = String; github = String; githubId = Integer; name = String }; seppeljordan = { email = String; github = String; githubId = Integer; name = String }; seqizz = { email = String; github = String; githubId = Integer; name = String }; servalcatty = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; sfrijters = { email = String; github = String; githubId = Integer; name = String }; sgo = { email = String; github = String; githubId = Integer; name = String }; sgraf = { email = String; github = String; githubId = Integer; name = String }; shahrukh330 = { email = String; github = String; githubId = Integer; name = String }; shamilton = { email = String; github = String; githubId = Integer; name = String }; shanemikel = { email = String; github = String; githubId = Integer; name = String }; shardy = { email = String; github = String; githubId = Integer; name = String }; shawndellysse = { email = String; github = String; githubId = Integer; name = String }; shazow = { email = String; github = String; githubId = Integer; name = String }; sheenobu = { email = String; github = String; githubId = Integer; name = String }; sheganinans = { email = String; github = String; githubId = Integer; name = String }; shell = { email = String; github = String; githubId = Integer; name = String }; shlevy = { email = String; github = String; githubId = Integer; name = String }; shmish111 = { email = String; github = String; githubId = Integer; name = String }; shnarazk = { email = String; github = String; githubId = Integer; name = String }; shou = { email = String; github = String; githubId = Integer; name = String }; shyim = { email = String; github = String; githubId = Integer; name = String }; siddharthist = { email = String; github = String; githubId = Integer; name = String }; siers = { email = String; github = String; githubId = Integer; name = String }; sifmelcara = { email = String; github = String; githubId = Integer; name = String }; sigma = { email = String; github = String; githubId = Integer; name = String }; sikmir = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; simonchatts = { email = String; github = String; githubId = Integer; name = String }; simonvandel = { email = String; github = String; githubId = Integer; name = String }; siraben = { email = String; github = String; githubId = Integer; name = String }; siriobalmelli = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; sivteck = { email = String; github = String; githubId = Integer; name = String }; sjagoe = { email = String; github = String; githubId = Integer; name = String }; sjau = { email = String; github = String; githubId = Integer; name = String }; sjfloat = { email = String; github = String; githubId = Integer; name = String }; sjmackenzie = { email = String; github = String; githubId = Integer; name = String }; sjourdois = { email = String; name = String }; skeidel = { email = String; github = String; githubId = Integer; name = String }; skrzyp = { email = String; name = String }; skykanin = { email = String; github = String; githubId = Integer; name = String }; sleexyz = { email = String; github = String; githubId = Integer; name = String }; smakarov = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; smaret = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; smironov = { email = String; github = String; githubId = Integer; name = String }; sna = { email = String; github = String; githubId = Integer; name = String }; snaar = { email = String; github = String; githubId = Integer; name = String }; snglth = { email = String; github = String; githubId = Integer; name = String }; snicket2100 = { email = String; github = String; githubId = Integer; name = String }; snyh = { email = String; github = String; githubId = Integer; name = String }; softinio = { email = String; github = String; githubId = Integer; name = String }; solson = { email = String; github = String; githubId = Integer; name = String }; sondr3 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; sorki = { email = String; github = String; githubId = Integer; name = String }; sorpaas = { email = String; github = String; githubId = Integer; name = String }; spacefrogg = { email = String; github = String; githubId = Integer; name = String }; spacekookie = { email = String; github = String; githubId = Integer; name = String }; spencerjanssen = { email = String; github = String; githubId = Integer; name = String }; spinus = { email = String; github = String; githubId = Integer; name = String }; sprock = { email = String; github = String; githubId = Integer; name = String }; spwhitt = { email = String; github = String; githubId = Integer; name = String }; squalus = { email = String; github = String; githubId = Integer; name = String }; srghma = { email = String; github = String; githubId = Integer; name = String }; srgom = { email = String; github = String; githubId = Integer; name = String }; srhb = { email = String; github = String; githubId = Integer; name = String }; sstef = { email = String; github = String; githubId = Integer; name = String }; steell = { email = String; github = String; githubId = Integer; name = String }; stephenmw = { email = String; github = String; githubId = Integer; name = String }; sterfield = { email = String; github = String; githubId = Integer; name = String }; sternenseemann = { email = String; github = String; githubId = Integer; name = String }; steshaw = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; stesie = { email = String; github = String; githubId = Integer; name = String }; steve-chavez = { email = String; github = String; githubId = Integer; name = String }; steveej = { email = String; github = String; githubId = Integer; name = String }; stianlagstad = { email = String; github = String; githubId = Integer; name = String }; stites = { email = String; github = String; githubId = Integer; name = String }; stumoss = { email = String; github = String; githubId = Integer; name = String }; suhr = { email = String; github = String; githubId = Integer; name = String }; suvash = { email = String; github = String; githubId = Integer; name = String }; sveitser = { email = String; github = String; githubId = Integer; name = String }; svsdep = { email = String; github = String; githubId = Integer; name = String }; swarren83 = { email = String; github = String; githubId = Integer; name = String }; swdunlop = { email = String; github = String; githubId = Integer; name = String }; sweber = { email = String; github = String; githubId = Integer; name = String }; swflint = { email = String; github = String; githubId = Integer; name = String }; swistak35 = { email = String; github = String; githubId = Integer; name = String }; syberant = { email = String; github = String; githubId = Integer; name = String }; symphorien = { email = String; github = String; githubId = Integer; name = String }; synthetica = { email = String; github = String; githubId = Integer; name = String }; szczyp = { email = String; github = String; githubId = Integer; name = String }; sztupi = { email = String; github = String; githubId = Integer; name = String }; t184256 = { email = String; github = String; githubId = Integer; name = String }; tadeokondrak = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; tadfisher = { email = String; github = String; githubId = Integer; name = String }; taeer = { email = String; github = String; githubId = Integer; name = String }; taha = { email = String; github = String; githubId = Integer; name = String }; tailhook = { email = String; github = String; githubId = Integer; name = String }; taketwo = { email = String; github = String; githubId = Integer; name = String }; takikawa = { email = String; github = String; githubId = Integer; name = String }; taktoa = { email = String; github = String; githubId = Integer; name = String }; taku0 = { email = String; github = String; githubId = Integer; name = String }; talkara = { email = String; github = String; githubId = Integer; name = String }; talyz = { email = String; github = String; githubId = Integer; name = String }; taneb = { email = String; github = String; githubId = Integer; name = String }; tari = { email = String; github = String; githubId = Integer; name = String }; tasmo = { email = String; github = String; githubId = Integer; name = String }; tavyc = { email = String; github = String; githubId = Integer; name = String }; tazjin = { email = String; github = String; githubId = Integer; name = String }; tbenst = { email = String; github = String; githubId = Integer; name = String }; tcbravo = { email = String; github = String; githubId = Integer; name = String }; tckmn = { email = String; github = String; githubId = Integer; name = String }; teh = { email = String; github = String; githubId = Integer; name = String }; telotortium = { email = String; github = String; githubId = Integer; name = String }; teozkr = { email = String; github = String; githubId = Integer; name = String }; terlar = { email = String; github = String; githubId = Integer; name = String }; tesq0 = { email = String; github = String; githubId = Integer; name = String }; teto = { email = String; github = String; githubId = Integer; name = String }; tex = { email = String; github = String; githubId = Integer; name = String }; tfmoraes = { email = String; github = String; githubId = Integer; name = String }; tg-x = { email = String; github = String; githubId = Integer; name = String }; th0rgal = { email = String; github = String; githubId = Integer; name = String }; thall = { email = String; github = String; githubId = Integer; name = String }; thammers = { email = String; github = String; githubId = Integer; name = String }; thanegill = { email = String; github = String; githubId = Integer; name = String }; thedavidmeister = { email = String; github = String; githubId = Integer; name = String }; thefenriswolf = { email = String; github = String; githubId = Integer; name = String }; thefloweringash = { email = String; github = String; githubId = Integer; name = String }; thelegy = { email = String; github = String; githubId = Integer; name = String }; thesola10 = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; theuni = { email = String; github = String; githubId = Integer; name = String }; thiagokokada = { email = String; github = String; githubId = Integer; name = String }; thmzlt = { email = String; github = String; githubId = Integer; name = String }; thomasdesr = { email = String; github = String; githubId = Integer; name = String }; thomasjm = { email = String; github = String; githubId = Integer; name = String }; thoughtpolice = { email = String; github = String; githubId = Integer; name = String }; thpham = { email = String; github = String; githubId = Integer; name = String }; tilpner = { email = String; github = String; githubId = Integer; name = String }; timbertson = { email = String; github = String; githubId = Integer; name = String }; timma = { email = String; github = String; githubId = Integer; name = String }; timokau = { email = String; github = String; githubId = Integer; name = String }; timor = { email = String; github = String; githubId = Integer; name = String }; timput = { email = String; github = String; githubId = Integer; name = String }; timstott = { email = String; github = String; githubId = Integer; name = String }; tiramiseb = { email = String; github = String; githubId = Integer; name = String }; titanous = { email = String; github = String; githubId = Integer; name = String }; tkerber = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; tmplt = { email = String; github = String; githubId = Integer; name = String }; tnias = { email = String; github = String; githubId = Integer; name = String }; tobiasBora = { email = String; github = String; githubId = Integer; name = String }; tobim = { email = String; github = String; githubId = Integer; name = String }; tohl = { email = String; github = String; githubId = Integer; name = String }; tokudan = { email = String; github = String; githubId = Integer; name = String }; tomahna = { email = String; github = String; githubId = Integer; name = String }; tomberek = { email = String; github = String; githubId = Integer; name = String }; tomfitzhenry = { email = String; github = String; githubId = Integer; name = String }; tomsmeets = { email = String; github = String; githubId = Integer; name = String }; toonn = { email = String; github = String; githubId = Integer; name = String }; toschmidt = { email = String; github = String; githubId = Integer; name = String }; travisbhartwell = { email = String; github = String; githubId = Integer; name = String }; treemo = { email = String; github = String; githubId = Integer; name = String }; trepetti = { email = String; github = String; githubId = Integer; name = String }; trevorj = { email = String; github = String; githubId = Integer; name = String }; tricktron = { email = String; github = String; githubId = Integer; name = String }; trino = { email = String; github = String; githubId = Integer; name = String }; troydm = { email = String; github = String; githubId = Integer; name = String }; tscholak = { email = String; github = String; githubId = Integer; name = String }; tstrobel = { email = String; name = String }; ttuegel = { email = String; github = String; githubId = Integer; name = String }; turbomack = { email = String; github = String; githubId = Integer; name = String }; turion = { email = String; github = String; githubId = Integer; name = String }; tv = { email = String; github = String; githubId = Integer; name = String }; tvestelind = { email = String; github = String; githubId = Integer; name = String }; tviti = { email = String; github = String; githubId = Integer; name = String }; tvorog = { email = String; github = String; githubId = Integer; name = String }; tweber = { email = String; github = String; githubId = Integer; name = String }; twey = { email = String; github = String; githubId = Integer; name = String }; twhitehead = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; typetetris = { email = String; github = String; githubId = Integer; name = String }; udono = { email = String; github = String; githubId = Integer; name = String }; unode = { email = String; github = String; githubId = Integer; name = String }; uralbash = { email = String; github = String; githubId = Integer; name = String }; uri-canva = { email = String; github = String; githubId = Integer; name = String }; uskudnik = { email = String; github = String; githubId = Integer; name = String }; utdemir = { email = String; github = String; githubId = Integer; name = String }; uvnikita = { email = String; github = String; githubId = Integer; name = String }; uwap = { email = String; github = String; githubId = Integer; name = String }; va1entin = { email = String; github = String; githubId = Integer; name = String }; vaibhavsagar = { email = String; github = String; githubId = Integer; name = String }; valebes = { email = String; github = String; githubId = Integer; name = String }; valeriangalliat = { email = String; github = String; githubId = Integer; name = String }; valodim = { email = String; github = String; githubId = Integer; name = String }; vandenoever = { email = String; github = String; githubId = Integer; name = String }; vanschelven = { email = String; github = String; githubId = Integer; name = String }; vanzef = { email = String; github = String; githubId = Integer; name = String }; varunpatro = { email = String; github = String; githubId = Integer; name = String }; vbgl = { email = String; github = String; githubId = Integer; name = String }; vbmithr = { email = String; github = String; githubId = Integer; name = String }; vcanadi = { email = String; github = String; githubId = Integer; name = String }; vcunat = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; vdemeester = { email = String; github = String; githubId = Integer; name = String }; veehaitch = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; velovix = { email = String; github = String; githubId = Integer; name = String }; veprbl = { email = String; github = String; githubId = Integer; name = String }; vidbina = { email = String; github = String; githubId = Integer; name = String }; vifino = { email = String; github = String; githubId = Integer; name = String }; vika_nezrimaya = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; vincentbernat = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; vinymeuh = { email = String; github = String; githubId = Integer; name = String }; viric = { email = String; github = String; githubId = Integer; name = String }; virusdave = { email = String; github = String; githubId = Integer; name = String }; vizanto = { email = String; github = String; githubId = Integer; name = String }; vklquevs = { email = String; github = String; githubId = Integer; name = String }; vlaci = { email = String; github = String; githubId = Integer; name = String }; vlstill = { email = String; github = String; githubId = Integer; name = String }; vmandela = { email = String; github = String; githubId = Integer; name = String }; vmchale = { email = String; github = String; githubId = Integer; name = String }; voidless = { email = String; github = String; githubId = Integer; name = String }; volhovm = { email = String; github = String; githubId = Integer; name = String }; volth = { email = String; github = String; githubId = Integer; name = String }; vozz = { email = String; name = String }; vrthra = { email = String; github = String; githubId = Integer; name = String }; vskilet = { email = String; github = String; githubId = Integer; name = String }; vyorkin = { email = String; github = String; githubId = Integer; name = String }; vyp = { email = String; github = String; githubId = Integer; name = String }; waiting-for-dev = { email = String; github = String; githubId = Integer; name = String }; wamserma = { email = String; github = String; githubId = Integer; name = String }; waynr = { email = String; github = String; githubId = Integer; name = String }; wchresta = { email = String; github = String; githubId = Integer; name = String }; wd15 = { email = String; github = String; githubId = Integer; name = String }; wedens = { email = String; name = String }; willibutz = { email = String; github = String; githubId = Integer; name = String }; willtim = { email = String; name = String }; winden = { email = String; name = String }; winpat = { email = String; github = String; githubId = Integer; name = String }; wishfort36 = { email = String; github = String; githubId = Integer; name = String }; wizeman = { email = String; github = String; githubId = Integer; name = String }; wjlroe = { email = String; github = String; githubId = Integer; name = String }; wmertens = { email = String; github = String; githubId = Integer; name = String }; wnklmnn = { email = String; github = String; githubId = Integer; name = String }; woffs = { email = String; github = String; githubId = Integer; name = String }; wohanley = { email = String; github = String; githubId = Integer; name = String }; womfoo = { email = String; github = String; githubId = Integer; name = String }; worldofpeace = { email = String; github = String; githubId = Integer; name = String }; wscott = { email = String; github = String; githubId = Integer; name = String }; wucke13 = { email = String; github = String; githubId = Integer; name = String }; wulfsta = { email = String; github = String; githubId = Integer; name = String }; wykurz = { email = String; github = String; githubId = Integer; name = String }; wyvie = { email = String; github = String; githubId = Integer; name = String }; xaverdh = { email = String; github = String; githubId = Integer; name = String }; xavierzwirtz = { email = String; github = String; githubId = Integer; name = String }; xbreak = { email = String; github = String; githubId = Integer; name = String }; xe = { email = String; github = String; githubId = Integer; name = String }; xeji = { email = String; github = String; githubId = Integer; name = String }; xfix = { email = String; github = String; githubId = Integer; name = String }; xiorcale = { email = String; github = String; githubId = Integer; name = String }; xnaveira = { email = String; github = String; githubId = Integer; name = String }; xnwdd = { email = String; github = String; githubId = Integer; name = String }; xrelkd = { email = String; github = String; githubId = Integer; name = String }; xurei = { email = String; github = String; githubId = Integer; name = String }; xvapx = { email = String; github = String; githubId = Integer; name = String }; xwvvvvwx = { email = String; github = String; githubId = Integer; name = String }; xzfc = { email = String; github = String; githubId = Integer; name = String }; y0no = { email = String; github = String; githubId = Integer; name = String }; yarny = { email = String; github = String; githubId = Integer; name = String }; yarr = { email = String; github = String; githubId = Integer; name = String }; yegortimoshenko = { email = String; github = String; githubId = Integer; name = String }; yesbox = { email = String; github = String; githubId = Integer; name = String }; yevhenshymotiuk = { email = String; github = String; githubId = Integer; name = String }; ylwghst = { email = String; github = String; githubId = Integer; name = String }; ymarkus = { email = String; github = String; githubId = Integer; name = String }; ymeister = { email = String; github = String; githubId = Integer; name = String }; yochai = { email = String; github = String; githubId = Integer; name = String }; yorickvp = { email = String; github = String; githubId = Integer; name = String }; yrashk = { email = String; github = String; githubId = Integer; name = String }; ysndr = { email = String; github = String; githubId = Integer; name = String }; yuriaisaka = { email = String; github = String; githubId = Integer; name = String }; yurrriq = { email = String; github = String; githubId = Integer; name = String }; yusdacra = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; yvesf = { email = String; github = String; githubId = Integer; name = String }; yvt = { email = String; github = String; githubId = Integer; name = String }; zachcoyle = { email = String; github = String; githubId = Integer; name = String }; zagy = { email = String; github = String; githubId = Integer; name = String }; zakkor = { email = String; github = String; githubId = Integer; name = String }; zalakain = { email = String; github = String; githubId = Integer; name = String }; zaninime = { email = String; github = String; githubId = Integer; name = String }; zarelit = { email = String; github = String; githubId = Integer; name = String }; zauberpony = { email = String; github = String; githubId = Integer; name = String }; zef = { email = String; name = String }; zeratax = { email = String; github = String; githubId = Integer; keys = [{ fingerprint = String; longkeyid = String }]; name = String }; zfnmxt = { email = String; github = String; githubId = Integer; name = String }; zgrannan = { email = String; github = String; githubId = Integer; name = String }; zimbatm = { email = String; github = String; githubId = Integer; name = String }; zohl = { email = String; github = String; githubId = Integer; name = String }; zokrezyl = { email = String; github = String; githubId = Integer; name = String }; zookatron = { email = String; github = String; githubId = Integer; name = String }; zoomulator = { email = String; github = String; githubId = Integer; name = String }; zowoq = { email = String; github = String; githubId = Integer; name = String }; zraexy = { email = String; github = String; githubId = Integer; name = String }; zx2c4 = { email = String; github = String; githubId = Integer; name = String }; zzamboni = { email = String; github = String; githubId = Integer; name = String } }

test/golden/importless/make-bootstrap.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ. { nukeReferences = α; openjdk = β; runCommand = String -> γ } -> δ

test/golden/importless/metatilities-base.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/milou.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdeclarative = β; ki18n = β; kitemmodels = β; krunner = β; kservice = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; qtscript = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcoreaddons = β; kdeclarative = β; ki18n = β; kitemmodels = β; krunner = β; kservice = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; qtscript = β } -> γ

test/golden/importless/mk-stage0.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ. { cabal2nix = α; configuredSrc = β; runCommand = String -> γ; yq = α } -> δ

test/golden/importless/modules.txtnew file+1

@@ -0,0 +1 @@

1+∀ ε ζ η θ ι κ λ. { curl = ε; ffmpeg = ζ; gsmlib = η; libctb = η; libmysqlclient = θ; libogg = ι; libopus = ι; libopusenc = ι; lua = κ; opusfile = ι; postgresql = λ } -> { applications = { abstraction = ∀ α β. { inputs = α; path = β }; av = ∀ α β. { inputs = α; path = β }; avmd = ∀ α β. { inputs = α; path = β }; bert = ∀ α β. { inputs = α; path = β }; blacklist = ∀ α β. { inputs = α; path = β }; callcenter = ∀ α β. { inputs = α; path = β }; cidlookup = ∀ α β. { inputs = α; path = β }; cluechoo = ∀ α β. { inputs = α; path = β }; commands = ∀ α β. { inputs = α; path = β }; conference = ∀ α β. { inputs = α; path = β }; curl = ∀ α β. { inputs = α; path = β }; cv = ∀ α β. { inputs = α; path = β }; db = ∀ α β. { inputs = α; path = β }; directory = ∀ α β. { inputs = α; path = β }; distributor = ∀ α β. { inputs = α; path = β }; dptools = ∀ α β. { inputs = α; path = β }; easyroute = ∀ α β. { inputs = α; path = β }; enum = ∀ α β. { inputs = α; path = β }; esf = ∀ α β. { inputs = α; path = β }; esl = ∀ α β. { inputs = α; path = β }; expr = ∀ α β. { inputs = α; path = β }; fifo = ∀ α β. { inputs = α; path = β }; fsk = ∀ α β. { inputs = α; path = β }; fsv = ∀ α β. { inputs = α; path = β }; hash = ∀ α β. { inputs = α; path = β }; hiredis = ∀ α β. { inputs = α; path = β }; httapi = ∀ α β. { inputs = α; path = β }; http_cache = ∀ α β. { inputs = α; path = β }; ladspa = ∀ α β. { inputs = α; path = β }; lcr = ∀ α β. { inputs = α; path = β }; memcache = ∀ α β. { inputs = α; path = β }; mongo = ∀ α β. { inputs = α; path = β }; mp4 = ∀ α β. { inputs = α; path = β }; mp4v2 = ∀ α β. { inputs = α; path = β }; nibblebill = ∀ α β. { inputs = α; path = β }; oreka = ∀ α β. { inputs = α; path = β }; osp = ∀ α β. { inputs = α; path = β }; prefix = ∀ α β. { inputs = α; path = β }; rad_auth = ∀ α β. { inputs = α; path = β }; redis = ∀ α β. { inputs = α; path = β }; rss = ∀ α β. { inputs = α; path = β }; signalwire = ∀ α β. { inputs = α; path = β }; sms = ∀ α β. { inputs = α; path = β }; sms_flowroute = ∀ α β. { inputs = α; path = β }; snapshot = ∀ α β. { inputs = α; path = β }; snom = ∀ α β. { inputs = α; path = β }; sonar = ∀ α β. { inputs = α; path = β }; soundtouch = ∀ α β. { inputs = α; path = β }; spandsp = ∀ α β. { inputs = α; path = β }; spy = ∀ α β. { inputs = α; path = β }; stress = ∀ α β. { inputs = α; path = β }; translate = ∀ α β. { inputs = α; path = β }; valet_parking = ∀ α β. { inputs = α; path = β }; video_filter = ∀ α β. { inputs = α; path = β }; vmd = ∀ α β. { inputs = α; path = β }; voicemail = ∀ α β. { inputs = α; path = β }; voicemail_ivr = ∀ α β. { inputs = α; path = β } }; ast_tts = { cepstral = ∀ α β. { inputs = α; path = β }; flite = ∀ α β. { inputs = α; path = β }; pocketsphinx = ∀ α β. { inputs = α; path = β }; tts_commandline = ∀ α β. { inputs = α; path = β }; unimrcp = ∀ α β. { inputs = α; path = β } }; codecs = { amr = ∀ α β. { inputs = α; path = β }; amrwb = ∀ α β. { inputs = α; path = β }; b64 = ∀ α β. { inputs = α; path = β }; bv = ∀ α β. { inputs = α; path = β }; clearmode = ∀ α β. { inputs = α; path = β }; codec2 = ∀ α β. { inputs = α; path = β }; com_g729 = ∀ α β. { inputs = α; path = β }; dahdi_codec = ∀ α β. { inputs = α; path = β }; g723_1 = ∀ α β. { inputs = α; path = β }; g729 = ∀ α β. { inputs = α; path = β }; h26x = ∀ α β. { inputs = α; path = β }; ilbc = ∀ α β. { inputs = α; path = β }; isac = ∀ α β. { inputs = α; path = β }; mp4v = ∀ α β. { inputs = α; path = β }; opus = ∀ α β. { inputs = α; path = β }; sangoma_codec = ∀ α β. { inputs = α; path = β }; silk = ∀ α β. { inputs = α; path = β }; siren = ∀ α β. { inputs = α; path = β }; theora = ∀ α β. { inputs = α; path = β } }; databases = { mariadb = ∀ α β. { inputs = α; path = β }; pgsql = ∀ α β. { inputs = α; path = β } }; dialplans = { asterisk = ∀ α β. { inputs = α; path = β }; directory = ∀ α β. { inputs = α; path = β }; xml = ∀ α β. { inputs = α; path = β } }; directories = { ldap = ∀ α β. { inputs = α; path = β } }; endpoints = { alsa = ∀ α β. { inputs = α; path = β }; dingaling = ∀ α β. { inputs = α; path = β }; gsmopen = ∀ α β. { inputs = α; path = β }; h323 = ∀ α β. { inputs = α; path = β }; khomp = ∀ α β. { inputs = α; path = β }; loopback = ∀ α β. { inputs = α; path = β }; opal = ∀ α β. { inputs = α; path = β }; portaudio = ∀ α β. { inputs = α; path = β }; rtc = ∀ α β. { inputs = α; path = β }; rtmp = ∀ α β. { inputs = α; path = β }; skinny = ∀ α β. { inputs = α; path = β }; sofia = ∀ α β. { inputs = α; path = β }; verto = ∀ α β. { inputs = α; path = β } }; event_handlers = { amqp = ∀ α β. { inputs = α; path = β }; cdr_csv = ∀ α β. { inputs = α; path = β }; cdr_mongodb = ∀ α β. { inputs = α; path = β }; cdr_pg_csv = ∀ α β. { inputs = α; path = β }; cdr_sqlite = ∀ α β. { inputs = α; path = β }; erlang_event = ∀ α β. { inputs = α; path = β }; event_multicast = ∀ α β. { inputs = α; path = β }; event_socket = ∀ α β. { inputs = α; path = β }; event_zmq = ∀ α β. { inputs = α; path = β }; fail2ban = ∀ α β. { inputs = α; path = β }; format_cdr = ∀ α β. { inputs = α; path = β }; json_cdr = ∀ α β. { inputs = α; path = β }; kazoo = ∀ α β. { inputs = α; path = β }; odbc_cdr = ∀ α β. { inputs = α; path = β }; radius_cdr = ∀ α β. { inputs = α; path = β }; rayo = ∀ α β. { inputs = α; path = β }; smpp = ∀ α β. { inputs = α; path = β }; snmp = ∀ α β. { inputs = α; path = β } }; formats = { imagick = ∀ α β. { inputs = α; path = β }; local_stream = ∀ α β. { inputs = α; path = β }; native_file = ∀ α β. { inputs = α; path = β }; opusfile = ∀ α β. { inputs = α; path = β }; png = ∀ α β. { inputs = α; path = β }; portaudio_stream = ∀ α β. { inputs = α; path = β }; shell_stream = ∀ α β. { inputs = α; path = β }; shout = ∀ α β. { inputs = α; path = β }; sndfile = ∀ α β. { inputs = α; path = β }; ssml = ∀ α β. { inputs = α; path = β }; tone_stream = ∀ α β. { inputs = α; path = β }; vlc = ∀ α β. { inputs = α; path = β }; webm = ∀ α β. { inputs = α; path = β } }; freetdm = ∀ γ δ. { inputs = γ; path = δ }; languages = { basic = ∀ α β. { inputs = α; path = β }; java = ∀ α β. { inputs = α; path = β }; lua = ∀ α β. { inputs = α; path = β }; managed = ∀ α β. { inputs = α; path = β }; perl = ∀ α β. { inputs = α; path = β }; python = ∀ α β. { inputs = α; path = β }; v8 = ∀ α β. { inputs = α; path = β }; yaml = ∀ α β. { inputs = α; path = β } }; loggers = { console = ∀ α β. { inputs = α; path = β }; graylog2 = ∀ α β. { inputs = α; path = β }; logfile = ∀ α β. { inputs = α; path = β }; raven = ∀ α β. { inputs = α; path = β }; syslog = ∀ α β. { inputs = α; path = β } }; say = { de = ∀ α β. { inputs = α; path = β }; en = ∀ α β. { inputs = α; path = β }; es = ∀ α β. { inputs = α; path = β }; es_ar = ∀ α β. { inputs = α; path = β }; fa = ∀ α β. { inputs = α; path = β }; fr = ∀ α β. { inputs = α; path = β }; he = ∀ α β. { inputs = α; path = β }; hr = ∀ α β. { inputs = α; path = β }; hu = ∀ α β. { inputs = α; path = β }; it = ∀ α β. { inputs = α; path = β }; ja = ∀ α β. { inputs = α; path = β }; nl = ∀ α β. { inputs = α; path = β }; pl = ∀ α β. { inputs = α; path = β }; pt = ∀ α β. { inputs = α; path = β }; ru = ∀ α β. { inputs = α; path = β }; sv = ∀ α β. { inputs = α; path = β }; th = ∀ α β. { inputs = α; path = β }; zh = ∀ α β. { inputs = α; path = β } }; timers = { posix_timer = ∀ α β. { inputs = α; path = β }; timerfd = ∀ α β. { inputs = α; path = β } }; xml_int = { cdr = ∀ α β. { inputs = α; path = β }; curl = ∀ α β. { inputs = α; path = β }; ldap = ∀ α β. { inputs = α; path = β }; odbc = ∀ α β. { inputs = α; path = β }; radius = ∀ α β. { inputs = α; path = β }; rpc = ∀ α β. { inputs = α; path = β }; scgi = ∀ α β. { inputs = α; path = β } } }

test/golden/importless/nuget.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { name = String; sha256 = String; url = String } -> α } -> [{ name = String; sha256 = String; url = String; version = String }]

1+∀ α. { fetchurl = { name = String; sha256 = String; url = String } -> α } -> [α]

test/golden/importless/oxygen.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; frameworkintegration = β; kcmutils = β; kcompletion = β; kconfig = β; kdecoration = β; kguiaddons = β; ki18n = β; kservice = β; kwayland = β; kwidgetsaddons = β; kwindowsystem = β; mkDerivation = { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] } -> γ; qtdeclarative = β; qtx11extras = β } -> { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] }

1+∀ α β γ. { extra-cmake-modules = α; frameworkintegration = β; kcmutils = β; kcompletion = β; kconfig = β; kdecoration = β; kguiaddons = β; ki18n = β; kservice = β; kwayland = β; kwidgetsaddons = β; kwindowsystem = β; mkDerivation = { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] } -> γ; qtdeclarative = β; qtx11extras = β } -> γ

test/golden/importless/patchsets.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ ε. { fetchpatch = α; ops = [String] -> β -> γ; patchLevel = δ; patchSet = ε; useRailsExpress = [String] -> β } -> { 2.5.8 = [String]; 2.6.6 = [String]; 2.7.2 = [String] }

1+∀ β γ δ ε ζ. { fetchpatch = β; ops = γ -> [String] -> δ; patchLevel = ε; patchSet = ζ; useRailsExpress = γ } -> { 2.5.8 = ∀ α. α; 2.6.6 = δ; 2.7.2 = δ }

test/golden/importless/plasma-browser-integration.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kactivities = β; kconfig = β; kdbusaddons = β; kfilemetadata = β; ki18n = β; kio = β; knotifications = β; kpurpose = β; krunner = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kactivities = β; kconfig = β; kdbusaddons = β; kfilemetadata = β; ki18n = β; kio = β; knotifications = β; kpurpose = β; krunner = β; kwindowsystem = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtbase = β } -> γ

test/golden/importless/plasma-pa.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; gconf = β; glib = β; kconfigwidgets = β; kcoreaddons = β; kdeclarative = β; kdoctools = α; kglobalaccel = β; ki18n = β; kwindowsystem = β; libcanberra-gtk3 = β; libpulseaudio = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; sound-theme-freedesktop = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; gconf = β; glib = β; kconfigwidgets = β; kcoreaddons = β; kdeclarative = β; kdoctools = α; kglobalaccel = β; ki18n = β; kwindowsystem = β; libcanberra-gtk3 = β; libpulseaudio = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; plasma-framework = β; qtdeclarative = β; sound-theme-freedesktop = β } -> γ

test/golden/importless/plasma-workspace-wallpapers.txt+1−1

@@ -1 +1 @@

1−∀ α β. { extra-cmake-modules = α; mkDerivation = { name = String; nativeBuildInputs = [α] } -> β } -> { name = String; nativeBuildInputs = [α] }

1+∀ α β. { extra-cmake-modules = α; mkDerivation = { name = String; nativeBuildInputs = [α] } -> β } -> β

test/golden/importless/plump-lexer.txt+1−1

@@ -1 +1 @@

1−∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = { sha256 = String; url = String }; version = String }

1+∀ β. { fetchurl = { sha256 = String; url = String } -> β } -> { asdFilesToKeep = [String]; baseName = String; deps = ∀ α. α; description = String; overrides = ∀ α. α -> α; packageName = String; src = β; version = String }

test/golden/importless/polkit-kde-agent.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kcrash = β; kdbusaddons = β; ki18n = β; kiconthemes = β; knotifications = β; kwidgetsaddons = β; kwindowsystem = β; mkDerivation = { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] } -> γ; polkit-qt = β } -> { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] }

1+∀ α β γ. { extra-cmake-modules = α; kconfig = β; kcoreaddons = β; kcrash = β; kdbusaddons = β; ki18n = β; kiconthemes = β; knotifications = β; kwidgetsaddons = β; kwindowsystem = β; mkDerivation = { name = String; nativeBuildInputs = [α]; outputs = [String]; propagatedBuildInputs = [β] } -> γ; polkit-qt = β } -> γ

test/golden/importless/poms.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchMaven = { artifactId = String; groupId = String; sha512 = String; type = String; version = String } -> α } -> { aether_0_9_0_M2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; animalSnifferParent_1_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; antParent_1_8_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_10 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_13 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_5 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; apache_9 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; asmParent_4_0 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; backportUtilConcurrent_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; beanshell_2_0_b4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; codehausParent_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; commonsParent_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; commonsParent_17 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; commonsParent_22 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; doxia_1_0 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; doxia_1_0_alpha10 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; doxia_1_0_alpha6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; doxia_1_0_alpha7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; enforcer_1_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; googleParent_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; hamcrestParent_1_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; jclOverSlf4j_1_5_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_13 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_15 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_21 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_22 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_23 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_5 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenParent_8 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenPluginTools_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenPluginTools_3_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenPlugins_22 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenPlugins_23 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenPlugins_24 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenReporting_2_0_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenReporting_2_0_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenReporting_2_0_9 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenReporting_2_2_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_12 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_17 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_18 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_19 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mavenSharedComponents_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_2_0_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_2_0_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_2_0_8 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_2_0_9 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_2_2_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; maven_3_0_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; mojoParent_32 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; ow2_1_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusCipher_1_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusCompiler_2_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusCompilers_2_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_14 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_15 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_19 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_1_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusComponents_1_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusContainers_1_0_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusContainers_1_5_5 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexusSecDispatcher_1_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_1_0_11 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_1_0_12 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_1_0_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_1_0_8 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_2_0_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_2_0_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_2_0_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_2_0_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_3_0_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_3_2 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; plexus_3_3_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sisuInjectGuiceBean_2_1_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sisuInjectGuicePlexus_2_1_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sisuInject_2_1_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sisuParent_2_1_1 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; slf4jApi_1_5_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; slf4jJdk14_1_5_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; slf4jParent_1_5_6 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeForgeParent_10 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeForgeParent_3 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeForgeParent_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeForgeParent_5 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeForgeParent_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeParent_7 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeSpiceParent_10 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeSpiceParent_12 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeSpiceParent_16 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; sonatypeSpiceParent_17 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; surefireProviders_2_12_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; surefire_2_12_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; surefire_2_17 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String }; xbean_3_4 = { artifactId = String; groupId = String; sha512 = String; type = String; version = String } }

1+∀ α. { fetchMaven = { artifactId = String; groupId = String; sha512 = String; type = String; version = String } -> α } -> { aether_0_9_0_M2 = α; animalSnifferParent_1_11 = α; antParent_1_8_2 = α; apache_1 = α; apache_10 = α; apache_11 = α; apache_13 = α; apache_3 = α; apache_4 = α; apache_5 = α; apache_6 = α; apache_7 = α; apache_9 = α; asmParent_4_0 = α; backportUtilConcurrent_3_1 = α; beanshell_2_0_b4 = α; codehausParent_4 = α; commonsParent_11 = α; commonsParent_17 = α; commonsParent_22 = α; doxia_1_0 = α; doxia_1_0_alpha10 = α; doxia_1_0_alpha6 = α; doxia_1_0_alpha7 = α; enforcer_1_3_1 = α; googleParent_1 = α; hamcrestParent_1_3 = α; jclOverSlf4j_1_5_6 = α; mavenParent_11 = α; mavenParent_13 = α; mavenParent_15 = α; mavenParent_21 = α; mavenParent_22 = α; mavenParent_23 = α; mavenParent_5 = α; mavenParent_6 = α; mavenParent_8 = α; mavenPluginTools_3_1 = α; mavenPluginTools_3_2 = α; mavenPlugins_22 = α; mavenPlugins_23 = α; mavenPlugins_24 = α; mavenReporting_2_0_1 = α; mavenReporting_2_0_6 = α; mavenReporting_2_0_9 = α; mavenReporting_2_2_1 = α; mavenSharedComponents_11 = α; mavenSharedComponents_12 = α; mavenSharedComponents_17 = α; mavenSharedComponents_18 = α; mavenSharedComponents_19 = α; mavenSharedComponents_7 = α; maven_2_0_1 = α; maven_2_0_6 = α; maven_2_0_8 = α; maven_2_0_9 = α; maven_2_2_1 = α; maven_3_0_3 = α; mojoParent_32 = α; ow2_1_3 = α; plexusCipher_1_4 = α; plexusCompiler_2_2 = α; plexusCompilers_2_2 = α; plexusComponents_1_1_14 = α; plexusComponents_1_1_15 = α; plexusComponents_1_1_19 = α; plexusComponents_1_1_4 = α; plexusComponents_1_1_6 = α; plexusComponents_1_1_7 = α; plexusComponents_1_3_1 = α; plexusContainers_1_0_3 = α; plexusContainers_1_5_5 = α; plexusSecDispatcher_1_3 = α; plexus_1_0_11 = α; plexus_1_0_12 = α; plexus_1_0_4 = α; plexus_1_0_8 = α; plexus_2_0_2 = α; plexus_2_0_3 = α; plexus_2_0_6 = α; plexus_2_0_7 = α; plexus_3_0_1 = α; plexus_3_1 = α; plexus_3_2 = α; plexus_3_3_1 = α; sisuInjectGuiceBean_2_1_1 = α; sisuInjectGuicePlexus_2_1_1 = α; sisuInject_2_1_1 = α; sisuParent_2_1_1 = α; slf4jApi_1_5_6 = α; slf4jJdk14_1_5_6 = α; slf4jParent_1_5_6 = α; sonatypeForgeParent_10 = α; sonatypeForgeParent_3 = α; sonatypeForgeParent_4 = α; sonatypeForgeParent_5 = α; sonatypeForgeParent_7 = α; sonatypeParent_7 = α; sonatypeSpiceParent_10 = α; sonatypeSpiceParent_12 = α; sonatypeSpiceParent_16 = α; sonatypeSpiceParent_17 = α; surefireProviders_2_12_4 = α; surefire_2_12_4 = α; surefire_2_17 = α; xbean_3_4 = α }

test/golden/importless/powerdevil.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { bluez-qt = α; ddcutil = α; extra-cmake-modules = β; fetchpatch = { sha256 = String; url = String } -> γ; kactivities = α; kauth = α; kconfig = α; kdbusaddons = α; kdelibs4support = α; kdoctools = β; kglobalaccel = α; ki18n = α; kidletime = α; kio = α; knotifyconfig = α; kwayland = α; libkscreen = α; mkDerivation = { buildInputs = [α]; cmakeFlags = [String]; name = String; nativeBuildInputs = [β]; patches = [{ sha256 = String; url = String }] } -> δ; networkmanager-qt = α; plasma-workspace = α; qtx11extras = α; solid = α; udev = α } -> { buildInputs = [α]; cmakeFlags = [String]; name = String; nativeBuildInputs = [β]; patches = [{ sha256 = String; url = String }] }

1+∀ α β γ δ. { bluez-qt = α; ddcutil = α; extra-cmake-modules = β; fetchpatch = { sha256 = String; url = String } -> γ; kactivities = α; kauth = α; kconfig = α; kdbusaddons = α; kdelibs4support = α; kdoctools = β; kglobalaccel = α; ki18n = α; kidletime = α; kio = α; knotifyconfig = α; kwayland = α; libkscreen = α; mkDerivation = { buildInputs = [α]; cmakeFlags = [String]; name = String; nativeBuildInputs = [β]; patches = [γ] } -> δ; networkmanager-qt = α; plasma-workspace = α; qtx11extras = α; solid = α; udev = α } -> δ

test/golden/importless/qtcharts.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/qtdoc.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> β

test/golden/importless/qtgamepad.txt+1−1

@@ -1 +1 @@

1−∀ γ δ ε. { pkgconfig = γ; qtModule = { buildInputs = ∀ α. α; name = String; nativeBuildInputs = [γ]; outputs = [String]; qtInputs = [δ] } -> ε; qtbase = δ; qtdeclarative = δ } -> { buildInputs = ∀ β. β; name = String; nativeBuildInputs = [γ]; outputs = [String]; qtInputs = [δ] }

1+∀ β γ δ. { pkgconfig = β; qtModule = { buildInputs = ∀ α. α; name = String; nativeBuildInputs = [β]; outputs = [String]; qtInputs = [γ] } -> δ; qtbase = γ; qtdeclarative = γ } -> δ

test/golden/importless/qtgraphicaleffects.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> β

test/golden/importless/qtimageformats.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { libtiff = α; qtModule = { name = String; propagatedBuildInputs = [α]; qtInputs = [β] } -> γ; qtbase = β } -> { name = String; propagatedBuildInputs = [α]; qtInputs = [β] }

1+∀ α β γ. { libtiff = α; qtModule = { name = String; propagatedBuildInputs = [α]; qtInputs = [β] } -> γ; qtbase = β } -> γ

test/golden/importless/qtnetworkauth.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α } -> β

test/golden/importless/qtquickcontrols.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtdeclarative = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtdeclarative = α } -> β

test/golden/importless/qtquickcontrols2.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtdeclarative = α } -> β

test/golden/importless/qtscript.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qttools = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qttools = α } -> β

test/golden/importless/qtscxml.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/qtsensors.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/qtserialbus.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtserialport = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtserialport = α } -> β

test/golden/importless/qtspeech.txt+1−1

@@ -1 +1 @@

1−∀ γ. { qtModule = { name = String; outputs = [String]; qtInputs = ∀ α. α } -> γ } -> { name = String; outputs = [String]; qtInputs = ∀ β. β }

1+∀ β. { qtModule = { name = String; outputs = [String]; qtInputs = ∀ α. α } -> β } -> β

test/golden/importless/qtsvg.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α } -> β

test/golden/importless/qttranslations.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qttools = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qttools = α } -> β

test/golden/importless/qtvirtualkeyboard.txt+1−1

@@ -1 +1 @@

1−∀ α β. { hunspell = α; qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α; qtsvg = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { hunspell = α; qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α; qtsvg = α } -> β

test/golden/importless/qtwayland.txt+1−1

@@ -1 +1 @@

1−∀ α β γ δ. { pkgconfig = α; qtModule = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String]; qtInputs = [γ] } -> δ; qtbase = γ; qtquickcontrols = γ; wayland = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String]; qtInputs = [γ] }

1+∀ α β γ δ. { pkgconfig = α; qtModule = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String]; qtInputs = [γ] } -> δ; qtbase = γ; qtquickcontrols = γ; wayland = β } -> δ

test/golden/importless/qtwebchannel.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/qtwebglplugin.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtwebsockets = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α; qtwebsockets = α } -> β

test/golden/importless/qtwebsockets.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { name = String; outputs = [String]; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; outputs = [String]; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/qtx11extras.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α } -> { name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { name = String; qtInputs = [α] } -> β; qtbase = α } -> β

test/golden/importless/qtxmlpatterns.txt+1−1

@@ -1 +1 @@

1−∀ α β. { qtModule = { devTools = [String]; name = String; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> { devTools = [String]; name = String; qtInputs = [α] }

1+∀ α β. { qtModule = { devTools = [String]; name = String; qtInputs = [α] } -> β; qtbase = α; qtdeclarative = α } -> β

test/golden/importless/readline-6.2-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/readline-6.3-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/readline-7.0-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/readline-8.0-patches.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β. String -> α -> [β]

test/golden/importless/roundcube-plugin.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε. { runCommand = String -> α } -> { pname = β; src = γ; version = δ } -> ε

test/golden/importless/rvm-patchsets.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchFromGitHub = { owner = String; repo = String; rev = String; sha256 = String } -> α } -> { owner = String; repo = String; rev = String; sha256 = String }

1+∀ α. { fetchFromGitHub = { owner = String; repo = String; rev = String; sha256 = String } -> α } -> α

test/golden/importless/schema.txtdeleted−1

@@ -1 +0,0 @@

1−∀ β. { fetchFromGitHub = { name = String; owner = String; repo = String; rev = String; sha256 = String } -> β } -> { meta = { hydraPlatforms = ∀ α. α }; name = String; owner = String; repo = String; rev = String; sha256 = String }

test/golden/importless/sddm-kcm.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; karchive = β; ki18n = β; kio = β; knewstuff = β; libXcursor = β; libXdmcp = β; libpthreadstubs = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtquickcontrols2 = β; qtx11extras = β; shared-mime-info = α } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; karchive = β; ki18n = β; kio = β; knewstuff = β; libXcursor = β; libXdmcp = β; libpthreadstubs = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ; qtquickcontrols2 = β; qtx11extras = β; shared-mime-info = α } -> γ

test/golden/importless/setup-systemd-units.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε ζ η θ ι. { bash = α; coreutils = β; lib = γ; runCommand = String -> δ; systemd = ε; writeScriptBin = String -> ζ } -> { namespace = η; units = θ } -> ι

test/golden/importless/shebang-test.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε ζ. { bazel = α; bazelTest = { bazelPkg = α; bazelScript = String; buildInputs = [β]; name = String } -> γ; distDir = δ; extracted = ε; runLocal = String -> ζ; unzip = β } -> γ

test/golden/importless/skia-deps.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchgit = { rev = String; sha256 = String; url = String } -> α } -> { angle2 = { rev = String; sha256 = String; url = String }; dng_sdk = { rev = String; sha256 = String; url = String }; piex = { rev = String; sha256 = String; url = String }; sfntly = { rev = String; sha256 = String; url = String } }

1+∀ α. { fetchgit = { rev = String; sha256 = String; url = String } -> α } -> { angle2 = α; dng_sdk = α; piex = α; sfntly = α }

test/golden/importless/system-images-android-tv.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 21 = { android-tv = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 22 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 23 = { android-tv = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 24 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 25 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 27 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; Q = { android-tv = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 21 = { android-tv = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 22 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 23 = { android-tv = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 24 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 25 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 27 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; Q = { android-tv = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/system-images-android-wear-cn.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 25 = { android-wear = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-wear = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-wear = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 25 = { android-wear = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-wear = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-wear = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/system-images-android-wear.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 23 = { android-wear = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 25 = { android-wear = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-wear = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-wear = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 23 = { android-wear = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 25 = { android-wear = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { android-wear = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { android-wear = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/system-images-android.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 10 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 14 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 15 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 16 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; mips = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 17 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; mips = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 18 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 19 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 21 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 22 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 23 = { default = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 24 = { default = { arm64-v8a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 25 = { default = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { default = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 27 = { default = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { default = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 10 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 14 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 15 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 16 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; mips = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 17 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; mips = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 18 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 19 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 21 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 22 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 23 = { default = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 24 = { default = { arm64-v8a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 25 = { default = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { default = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 27 = { default = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { default = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/system-images-google_apis.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 10 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 15 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 16 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 17 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 18 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 19 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 21 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 22 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 23 = { google_apis = { armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 24 = { google_apis = { arm64-v8a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 25 = { google_apis = { arm64-v8a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { google_apis = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 27 = { google_apis = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { google_apis = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 29 = { google_apis = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; R = { google_apis = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 10 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 15 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 16 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 17 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 18 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 19 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 21 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 22 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 23 = { google_apis = { armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 24 = { google_apis = { arm64-v8a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 25 = { google_apis = { arm64-v8a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; armeabi-v7a = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { google_apis = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 27 = { google_apis = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { google_apis = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 29 = { google_apis = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; R = { google_apis = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/system-images-google_apis_playstore.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 24 = { google_apis_playstore = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 25 = { google_apis_playstore = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 26 = { google_apis_playstore = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 27 = { google_apis_playstore = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } }; 28 = { google_apis_playstore = { x86 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = { sha1 = String; url = String } }; displayName = String; name = String; path = String; revision = String } } } }

1+∀ α. { fetchurl = { sha1 = String; url = String } -> α } -> { 24 = { google_apis_playstore = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 25 = { google_apis_playstore = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 26 = { google_apis_playstore = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 27 = { google_apis_playstore = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } }; 28 = { google_apis_playstore = { x86 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String }; x86_64 = { archives = { all = α }; displayName = String; name = String; path = String; revision = String } } } }

test/golden/importless/systemsettings.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kactivities = β; kactivities-stats = β; kcmutils = β; kconfig = β; kcrash = β; kdbusaddons = β; kdoctools = α; khtml = β; ki18n = β; kiconthemes = β; kio = β; kirigami2 = β; kitemviews = β; kservice = β; kwindowsystem = β; kxmlgui = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> γ; plasma-workspace = β; qtquickcontrols = β; qtquickcontrols2 = β } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] }

1+∀ α β γ. { extra-cmake-modules = α; kactivities = β; kactivities-stats = β; kcmutils = β; kconfig = β; kcrash = β; kdbusaddons = β; kdoctools = α; khtml = β; ki18n = β; kiconthemes = β; kio = β; kirigami2 = β; kitemviews = β; kservice = β; kwindowsystem = β; kxmlgui = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α]; outputs = [String] } -> γ; plasma-workspace = β; qtquickcontrols = β; qtquickcontrols2 = β } -> γ

test/golden/importless/update.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε ζ η θ ι κ λ. { baseName = String; basePath = String; baseUrl = α; channel = String; coreutils = β; curl = γ; gnugrep = δ; gnupg = ε; gnused = ζ; name = η; runtimeShell = θ; writeScript = String -> ι; xidel = κ } -> λ

test/golden/importless/user-manager.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kconfig = β; kdoctools = α; khtml = β; ki18n = β; kiconthemes = β; kio = β; kwindowsystem = β; libpwquality = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ } -> { buildInputs = [β]; name = String; nativeBuildInputs = [α] }

1+∀ α β γ. { extra-cmake-modules = α; kcmutils = β; kconfig = β; kdoctools = α; khtml = β; ki18n = β; kiconthemes = β; kio = β; kwindowsystem = β; libpwquality = β; mkDerivation = { buildInputs = [β]; name = String; nativeBuildInputs = [α] } -> γ } -> γ

test/golden/importless/uvcdynctrl-udev-rules.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε. { buildEnv = { ignoreCollisions = Bool; name = String; paths = [α]; pathsToLink = [String] } -> β; drivers = [γ]; libwebcam = α; makeWrapper = α; runCommand = String -> δ; udevDebug = Bool } -> ε

test/golden/importless/v10.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε. { callPackage = Path -> α; enableNpm = Bool; icu = β; openssl = γ; python2 = δ } -> ε

test/golden/importless/v12.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ ε. { callPackage = Path -> α; enableNpm = Bool; icu = β; openssl = γ; python2 = δ } -> ε

test/golden/importless/v14.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ δ. { callPackage = Path -> α; enableNpm = Bool; openssl = β; python3 = γ } -> δ

test/golden/importless/xdg-desktop-portal-kde.txt+1−1

@@ -1 +1 @@

1−∀ α β γ. { cups = α; epoxy = α; extra-cmake-modules = β; gettext = β; kcoreaddons = α; kdeclarative = α; kdoctools = β; kio = α; kirigami2 = α; knotifications = α; kwayland = α; kwidgetsaddons = α; kwindowsystem = α; mesa = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; pcre = α; pipewire = α; plasma-framework = α; python = β } -> { buildInputs = [α]; name = String; nativeBuildInputs = [β] }

1+∀ α β γ. { cups = α; epoxy = α; extra-cmake-modules = β; gettext = β; kcoreaddons = α; kdeclarative = α; kdoctools = β; kio = α; kirigami2 = α; knotifications = α; kwayland = α; kwidgetsaddons = α; kwindowsystem = α; mesa = α; mkDerivation = { buildInputs = [α]; name = String; nativeBuildInputs = [β] } -> γ; pcre = α; pipewire = α; plasma-framework = α; python = β } -> γ

test/golden/importless/xsa-patches.txt+1−1

@@ -1 +1 @@

1−∀ α. { fetchpatch = { sha256 = String; url = String } -> α } -> { XSA_190 = { name = String; sha256 = String }; XSA_191 = { name = String; sha256 = String }; XSA_192 = { name = String; sha256 = String }; XSA_193 = { name = String; sha256 = String }; XSA_195 = { name = String; sha256 = String }; XSA_196 = [{ name = String; sha256 = String }]; XSA_198 = { name = String; sha256 = String }; XSA_200 = { name = String; sha256 = String }; XSA_202_45 = { name = String; sha256 = String }; XSA_204_45 = { name = String; sha256 = String }; XSA_206_45 = [{ name = String; sha256 = String }]; XSA_207 = { name = String; sha256 = String }; XSA_212 = { name = String; sha256 = String }; XSA_213_45 = { name = String; sha256 = String }; XSA_214 = { name = String; sha256 = String }; XSA_215 = { name = String; sha256 = String }; XSA_217_45 = { name = String; sha256 = String }; XSA_218_45 = [{ name = String; sha256 = String }]; XSA_219_45 = { name = String; sha256 = String }; XSA_220_45 = { name = String; sha256 = String }; XSA_221 = { name = String; sha256 = String }; XSA_222_45 = [{ name = String; sha256 = String }]; XSA_223 = { name = String; sha256 = String }; XSA_224_45 = [{ name = String; sha256 = String }]; XSA_226_45 = [{ name = String; sha256 = String }]; XSA_227_45 = { name = String; sha256 = String }; XSA_230 = { name = String; sha256 = String }; XSA_231_45 = { name = String; sha256 = String }; XSA_232 = { name = String; sha256 = String }; XSA_233 = { name = String; sha256 = String }; XSA_234_45 = { name = String; sha256 = String }; XSA_235_45 = { name = String; sha256 = String }; XSA_236_45 = { name = String; sha256 = String }; XSA_237_45 = [{ name = String; sha256 = String }]; XSA_238_45 = { name = String; sha256 = String }; XSA_239_45 = { name = String; sha256 = String }; XSA_240_45 = [{ name = String; sha256 = String }]; XSA_241 = { name = String; sha256 = String }; XSA_242 = { name = String; sha256 = String }; XSA_243_45 = [{ name = String; sha256 = String }]; XSA_244_45 = { name = String; sha256 = String }; XSA_245 = [{ name = String; sha256 = String }]; XSA_246_45 = [{ name = String; sha256 = String }]; XSA_247_45 = [{ name = String; sha256 = String }]; XSA_248_45 = [{ name = String; sha256 = String }]; XSA_249 = [{ name = String; sha256 = String }]; XSA_250_45 = [{ name = String; sha256 = String }]; XSA_251_45 = [{ name = String; sha256 = String }] }

1+∀ α. { fetchpatch = { sha256 = String; url = String } -> α } -> { XSA_190 = α; XSA_191 = α; XSA_192 = α; XSA_193 = α; XSA_195 = α; XSA_196 = [α]; XSA_198 = α; XSA_200 = α; XSA_202_45 = α; XSA_204_45 = α; XSA_206_45 = [α]; XSA_207 = α; XSA_212 = α; XSA_213_45 = α; XSA_214 = α; XSA_215 = α; XSA_217_45 = α; XSA_218_45 = [α]; XSA_219_45 = α; XSA_220_45 = α; XSA_221 = α; XSA_222_45 = [α]; XSA_223 = α; XSA_224_45 = [α]; XSA_226_45 = [α]; XSA_227_45 = α; XSA_230 = α; XSA_231_45 = α; XSA_232 = α; XSA_233 = α; XSA_234_45 = α; XSA_235_45 = α; XSA_236_45 = α; XSA_237_45 = [α]; XSA_238_45 = α; XSA_239_45 = α; XSA_240_45 = [α]; XSA_241 = α; XSA_242 = α; XSA_243_45 = [α]; XSA_244_45 = α; XSA_245 = [α]; XSA_246_45 = [α]; XSA_247_45 = [α]; XSA_248_45 = [α]; XSA_249 = [α]; XSA_250_45 = [α]; XSA_251_45 = [α] }

test/golden/mine/polyApply.txtnew file+1

@@ -0,0 +1 @@

1+{ a = Integer; f = ∀ α. α -> α }