4dafa06 · tix · git.iko.soy

git.iko.soy/tix

on master help sign in

Fixed substitution order error

commit4dafa06277dece754dce86684ebc0174318070da authoriko <ilyakooo0@gmail.com> dateWed 10 Mar 2021, 17:50 (6 years ago) parentd59bdfb

39 files changed+39−36

compare with master

unifiedsplit

src/Tix/Typechecker.hs+1−1 test/golden/importless/0.11.txt+1−1 test/golden/importless/0.12.txt+1−1 test/golden/importless/3.10.txt+1−1 test/golden/importless/3.12.txt+1−1 test/golden/importless/3.13.txt+1−1 test/golden/importless/3.6.txt+1−1 test/golden/importless/3.7.txt+1−1 test/golden/importless/3.8.txt+1−1 test/golden/importless/3.9.txt+1−1 test/golden/importless/4.txt+1−1 test/golden/importless/6.txt+1−1 test/golden/importless/aspell-with-dicts.txt+1−1 test/golden/importless/bash-4.4-patches.txt+1−1 test/golden/importless/bash-5.0-patches.txt+1−1 test/golden/importless/bash-tools-test.txt+1−1 test/golden/importless/bower-packages.txt+1−1 test/golden/importless/gawk-with-extensions.txt+1−1 test/golden/importless/info.txt+1−1 test/golden/importless/maintainer-list.txt+1 test/golden/importless/make-bootstrap.txt+1−1 test/golden/importless/mk-stage0.txt+1−1 test/golden/importless/nuget.txt+1−1 test/golden/importless/patchsets.txt+1−1 test/golden/importless/readline-6.2-patches.txt+1−1 test/golden/importless/readline-6.3-patches.txt+1−1 test/golden/importless/readline-7.0-patches.txt+1−1 test/golden/importless/readline-8.0-patches.txt+1−1 test/golden/importless/roundcube-plugin.txt+1−1 test/golden/importless/setup-systemd-units.txt+1−1 test/golden/importless/shebang-test.txt+1−1 test/golden/importless/update.txt+1−1 test/golden/importless/uvcdynctrl-udev-rules.txt+1−1 test/golden/importless/v10.txt+1−1 test/golden/importless/v12.txt+1−1 test/golden/importless/v14.txt+1−1 test/golden/importless/xsa-patches.txt+1−1 test/golden/mine/curry.nix+1 test/golden/mine/curry.txt+1

src/Tix/Typechecker.hs+1−1

@@ -157,7 +157,7 @@ prettySubstitution = A.toJSON . M.mapKeysMonotonic (TL.pack . show) . fmap rende

157157

158158-- | @older <> newer@

159159instance Semigroup Substitution where

160− (Substitution x) <> y'@(Substitution y) = Substitution (y <> fmap (sub y') x)

160+ x'@(Substitution x) <> (Substitution y) = Substitution (fmap (sub x') y <> x)

161161

162162instance Monoid Substitution where

163163 mempty = Substitution mempty

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α. { callPackage = Path -> { sha256 = String; version = String } -> α } -> α

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

@@ -1 +1 @@

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

1+∀ α β γ. { Foundation = α; callPackage = Path -> { Foundation = α; enableParallelBuilding = Bool; extraPatches = [Path]; libobjc = β; sha256 = String; version = String } -> γ; libobjc = β } -> γ

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

@@ -1 +1 @@

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

1+∀ α β γ. { Foundation = α; callPackage = Path -> { Foundation = α; enableParallelBuilding = Bool; libobjc = β; sha256 = String; srcArchiveSuffix = String; version = String } -> γ; libobjc = β } -> γ

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

@@ -1 +1 @@

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

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

test/golden/importless/bash-4.4-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/bash-5.0-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/bash-tools-test.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/bower-packages.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/gawk-with-extensions.txt+1−1

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

1+∀ α β. { callPackage = Path -> { } -> { buildInputs = [α]; buildPhase = String; configureFlags = [String]; installPhase = String; meta = { description = String }; name = String; outputs = [String] } -> β; perl = α; texinfo = α } -> β

test/golden/importless/maintainer-list.txtnew file+1

@@ -0,0 +1 @@

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.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/mk-stage0.txt+1−1

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

test/golden/importless/readline-6.2-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/readline-6.3-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/readline-7.0-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/readline-8.0-patches.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/roundcube-plugin.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/setup-systemd-units.txt+1−1

@@ -1 +1 @@

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

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

test/golden/importless/shebang-test.txt+1−1

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

test/golden/importless/uvcdynctrl-udev-rules.txt+1−1

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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

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

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

@@ -1 +1 @@

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 = [α] }

1+∀ α β. { fetchpatch = { sha256 = α; 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/curry.nixnew file+1

@@ -0,0 +1 @@

1+{ f }: f 1 "a"

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

@@ -0,0 +1 @@

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