redownload pkgs when source hash verification fails (#8500)
[cabal.git] / .mailmap
blob671fdf1db23c0b3ab307fce790b84c224481b690
1 # See 'git help shortlog' for more details.
2 # Formats: Proper Name [<proper@email.xx> [Commit Name]] <commit@email.xx>
4 # Show result: 'git shortlog -se'.
5 # Should be empty list: 'git shortlog -se | cut -f2 | cut -d'<' -f1 | uniq -d'.
7 Adam Langley                <agl@imperialviolet.org>
8 Alex Biehl                  <alexbiehl@gmail.com>
9 Alex Biehl                  <alexbiehl@gmail.com>                  <alex.biehl@target.com>
10 Alex Biehl                  <alexbiehl@gmail.com>                  Alexander Biehl <abiehl@novomind.com>
11 Alex Biehl                  <alexbiehl@gmail.com>                  alexbiehl <alex.biehl@gmail.com>
12 Alex Washburn               <github@recursion.ninja>
13 Alex Washburn               <github@recursion.ninja>               recursion-ninja <github@recursion.ninja>
14 Alistair Bailey             <alistair@abayley.org>                 alistair <alistair@abayley.org>
15 Alson Kemp                  <alson@alsonkemp.com>                  alson <alson@alsonkemp.com>
16 Andreas Klebinger           <klebinger.andreas@gmx.at>             klebinger.andreas@gmx.at <klebinger.andreas@gmx.at>
17 Andres Löh                  <andres.loeh@gmail.com>
18 Andres Löh                  <andres.loeh@gmail.com>                <andres@cs.uu.nl>
19 Andres Löh                  <andres.loeh@gmail.com>                <andres@well-typed.com>
20 Andres Löh                  <andres.loeh@gmail.com>                <ksgithub@andres-loeh.de>
21 Andres Löh                  <andres.loeh@gmail.com>                <mail@andres-loeh.de>
22 Andy Craze                  <accraze@gmail.com>
23 Arian van Putten            <arian.vanputten@gmail.com>            <aeroboy94@gmail.com>
24 Audrey Tang                 <audreyt@audreyt.org>                  audreyt <audreyt@audreyt.org>
25 Austin Seipp                <aseipp@pobox.com>
26 Austin Seipp                <aseipp@pobox.com>                     <aseipp@well-typed.com>
27 Austin Seipp                <aseipp@pobox.com>                     austin seipp <as@0xff.ath.cx>
28 Ben Gamari                  <ben@smart-cactus.org>
29 Ben Gamari                  <ben@smart-cactus.org>                 <ben@well-typed.com>
30 Ben Gamari                  <ben@smart-cactus.org>                 <bgamari.foss@gmail.com>
31 Ben Millwood                <thebenmachine+git@gmail.com>          <haskell@benmachine.co.uk>
32 Benedikt Huber              <benedikt.huber@gmail.com>             benedikt.huber <benedikt.huber@gmail.com>
33 Benno Fünfstück             <benno.fuenfstueck@gmail.com>          <bneno.fuenfstueck@gmail.com>
34 Björn Bringert              <bjorn@bringert.net>
35 Björn Bringert              <bjorn@bringert.net>                   bjorn <bjorn@maggie>
36 Björn Bringert              <bjorn@bringert.net>                   bringert <bringert@cs.chalmers.se>
37 Bram Schuur                 <bramschuur@gmail.com>
38 Brendan Hay                 <brendan.g.hay@gmail.com>              <brendanhay@users.noreply.github.com>
39 Brent Yorgey                <byorgey@gmail.com>                    <byorgey@cis.upenn.edu>
40 Brian Smith                 <brianlsmith@gmail.com>                brianlsmith <brianlsmith@gmail.com>
41 Daniel Díaz Carrete         <daniel@bogusemailserver.com>
42 Daniel Gröber               <dxld@darkboxed.org>                   <daniel@dps.uibk.ac.at>
43 Daniel Wagner               <daniel@wagner-home.com>               <dmwit@galois.com>
44 David Himmelstrup           <lemmih@gmail.com>
45 David Luposchainsky         <dluposchainsky@gmail.com>             <quchen@users.noreply.github.com>
46 David Waern                 <davve@dtek.chalmers.se>               David Waern <unknown>
47 Dennis Gosnell              <cdep.illabout@gmail.com>
48 Dmitry Kovanikov            <kovanikov@gmail.com>                  ChShersh <dmitrii@holmusk.com>
49 Domen Kožar                 <domen@dev.si>                         <domen@enlambda.com>
50 Don Stewart                 <dons00@gmail.com>                     <dons@galois.com>
51 Duncan Coutts               <duncan@community.haskell.org>
52 Duncan Coutts               <duncan@community.haskell.org>         <Duncan Coutts duncan@community.haskell.org>
53 Duncan Coutts               <duncan@community.haskell.org>         <duncan.coutts@worc.ox.ac.uk>
54 Duncan Coutts               <duncan@community.haskell.org>         <duncan@community.haskell.org>
55 Duncan Coutts               <duncan@community.haskell.org>         <duncan@haskell.org>
56 Duncan Coutts               <duncan@community.haskell.org>         <duncan@well-typed.com>
57 Duncan Coutts               <duncan@community.haskell.org>         unknown <unknown> # 04e9fcc80bc68b72126e33b20f08050df28e727d
58 Edward Z. Yang              <ezyang@cs.stanford.edu>               <ezyang@fb.com>
59 Edward Z. Yang              <ezyang@cs.stanford.edu>               <ezyang@mit.edu>
60 Einar Karttunen             <ekarttun@cs.helsinki.fi>
61 Emily Pillmore              <emilypi@cohomolo.gy>                  <emily@kadena.io>
62 Federico Mastellone         <fmaste@users.noreply.github.com>
63 Felix Yan                   <felixonmars@archlinux.org>            Felix Yan <felixonmars@gmail.com>
64 Francesco Gazzetta          <fgaz@fgaz.me>                         <fgaz@users.noreply.github.com>
65 Francesco Gazzetta          <fgaz@fgaz.me>                         <francygazz@gmail.com>
66 Ganesh Sittampalam          <ganesh.sittampalam@credit-suisse.com> <ganesh@earth.li>
67 Geoff Nixon                 <geoff-codes@users.noreply.github.com> <geoff.nixon@aol.com>
68 Gershom Bazerman            <gershomb@gmail.com>
69 Gershom Bazerman            <gershomb@gmail.com>                   Gershom <gershom@mbp.local>
70 Gershom Bazerman            <gershomb@gmail.com>                   U-CIQDEV\gbazerman <gbazerman@GBAZERMAN-T35.ciqdev.com>
71 Gershom Bazerman            <gershomb@gmail.com>                   gbaz <gershomb@gmail.com>
72 Gleb Alexeev                <gleb.alexeev@gmail.com>
73 Gleb Alexeev                <gleb.alexeev@gmail.com>               gleb.alexeev <gleb.alexeev@gmail.com>
74 Gleb Popov                  <6yearold@gmail.com>
75 Gleb Popov                  <6yearold@gmail.com>                   arrowd <6yearold@gmail.com>
76 Gwern Branwen               <gwern0@gmail.com>                     gwern0 <gwern0@gmail.com>
77 Heather                     <heather@live.ru>                      <Heather@cynede.net>
78 Heather                     <heather@live.ru>                      <Heather@users.noreply.github.com>
79 Henning Günther             <der_eq@freenet.de>
80 Henning Thielemann          <lemming@henning-thielemann.de>        <haskell@henning-thielemann.de>
81 Henning Thielemann          <lemming@henning-thielemann.de>        cabal <cabal@henning-thielemann.de>
82 Ian Lynagh                  <igloo@earth.li>                       <ian@well-typed.com>
83 Isaac Potoczny-Jones        <ijones@syntaxpolice.org>
84 JP Moresmau                 <jp@moresmau.fr>
85 Jacco Krijnen               <jaccokrijnen@gmail.com>
86 Jake Wheat                  <jakewheatmail@gmail.com>
87 Jean-Philippe Bernardy      <jeanphilippe.bernardy@gmail.com>      jeanphilippe.bernardy <jeanphilippe.bernardy@gmail.com>
88 Jens Petersen               <juhpetersen@gmail.com>                <juhp@community.haskell.org>
89 Jens Petersen               <juhpetersen@gmail.com>                <petersen@haskell.org>
90 Jens Petersen               <juhpetersen@gmail.com>                <petersen@redhat.com>
91 Jeremy Shaw                 <jeremy.shaw@linspireinc.com>
92 Jeremy Shaw                 <jeremy.shaw@linspireinc.com>          <jeremy@n-heptane.com>
93 Jim Burton                  <jim@sdf-eu.org>
94 Joe Quinn                   <headprogrammingczar@gmail.com>
95 Joel Bitrauser              <jo.da@posteo.de>                      <bitrauser@users.noreply.github.com>
96 Joel Bitrauser              <jo.da@posteo.de>                      Bitrauser <jo.da@posteo.de>
97 Joel Stanley                <intractable@gmail.com>
98 Joeri van Eekelen           <tchakkazulu@gmail.com>
99 John D. Ramsdell            <ramsdell@mitre.org>
100 John Dias                   <dias@eecs.harvard.edu>                dias <dias@eecs.harvard.edu>
101 John Ericson                <Ericson2314@yahoo.com>
102 John Ericson                <Ericson2314@yahoo.com>                <John.Ericson@Obsidian.Systems>
103 John Ericson                <Ericson2314@yahoo.com>                <jericson@galois.com>
104 John Ericson                <Ericson2314@yahoo.com>                John Ericson <Ericson2314@Yahoo.com>
105 Josh Hoyt                   <josh.hoyt@galois.com>
106 Judah Jacobson              <judah.jacobson@gmail.com>
107 Jürgen Nicklisch-Franken    <jnf@arcor.de>
108 Keegan McAllister           <mcallister.keegan@gmail.com>          mcallister.keegan <mcallister.keegan@gmail.com>
109 Ken Bateman                 <novadenizen@gmail.com>
110 Kido Takahiro               <shelarcy@gmail.com>
111 Krasimir Angelov            <kr.angelov@gmail.com>
112 Krasimir Angelov            <kr.angelov@gmail.com>                 ka2_mail <ka2_mail@yahoo.com>
113 Lennart Kolmodin            <kolmodin@gmail.com>                   <kolmodin@dtek.chalmers.se>
114 Lennart Kolmodin            <kolmodin@gmail.com>                   <kolmodin@gentoo.org>
115 Lennart Kolmodin            <kolmodin@gmail.com>                   <kolmodin@google.com>
116 Lennart Spitzner            <hexagoxel@hexagoxel.de>
117 Lennart Spitzner            <hexagoxel@hexagoxel.de>               <lsp@informatik.uni-kiel.de>
118 Li-yao Xia                  <lysxia@gmail.com>
119 Malcolm Wallace             <Malcolm.Wallace@me.com>               Malcolm.Wallace <Malcolm.Wallace@cs.york.ac.uk>
120 Mark Weber                  <marco-oweber@gmx.de>                  marco-oweber <marco-oweber@gmx.de>
121 Martin Sjögren              <msjogren@gmail.com>                   md9ms <md9ms@mdstud.chalmers.se>
122 Matt Renaud                 <matt@m-renaud.com>                    <mrenaud@google.com>
123 Mikhail Glushenkov          <mikhail.glushenkov@gmail.com>         <c05mgv@cs.umu.se>
124 Mikhail Glushenkov          <mikhail.glushenkov@gmail.com>         <mikhail@scrive.com>
125 Mikhail Glushenkov          <mikhail.glushenkov@gmail.com>         <the.dead.shall.rise@gmail.com>
126 Nathan Conroy               <nathanconroydev@gmail.com>
127 Neil Mitchell               <ndmitchell@gmail.com>                 Neil Mitchell <unknown>
128 Niklas Broberg              <niklas.broberg@gmail.com>             <d00nibro@chalmers.se>
129 Niklas Broberg              <niklas.broberg@gmail.com>             <git@nand.wakku.to>
130 Nikolai Obedin              <dev@nkly.me>                          <github@nkly.me>
131 Nikolai Obedin              <dev@nkly.me>                          <no@idagio.com> # 3c1502bb633b61ae4d24d40898fca66d7f169679
132 Peter Higley                <phigley@gmail.com>
133 Peter Simons                <simons@cryp.to>
134 Peter Trško                 <peter.trsko@gmail.com>                Peter Trsko <peter.trsko@ixperta.com>
135 Philipp Schumann            <philipp.schumann@gmail.com>           metaleap <philipp.schumann@gmail.com>
136 Philipp Schuster            <pschuster@uni-koblenz.de>
137 Randy Polen                 <randen@users.noreply.github.com>
138 Robert Henderson            <rob@robjhen.com>                      <rob at robjhen dot com>
139 Robert Henderson            <rob@robjhen.com>                      <robjhen@users.noreply.github.com>
140 Ryan Scott                  <ryan.gl.scott@gmail.com>              <ryan.gl.scott@ku.edu>
141 Samuel Gélineau             <gelisam+github@gmail.com>
142 Sergei Trofimovich          <slyfox@community.haskell.org>         <slyfox@gentoo.org>
143 Sigbjorn Finne              <sof@galois.com>
144 Simon Marlow                <marlowsd@gmail.com>                   <simonmar@microsoft.com>
145 Simon Marlow                <marlowsd@gmail.com>                   <smarlow@fb.com>
146 Simon Peyton Jones          <simonpj@microsoft.com>
147 Simon Peyton Jones          <simonpj@microsoft.com>                simonpj <simonpj@microsoft/com>
148 Stephen Blackheath          <stephen.blackheath@ipwnstudios.com>   <grossly.sensitive.stephen@blacksapphire.com>
149 Stephen Blackheath          <stephen.blackheath@ipwnstudios.com>   <oversensitive.pastors.stephen@blacksapphire.com>
150 Stephen Blackheath          <stephen.blackheath@ipwnstudios.com>   rubbernecking.trumpet.stephen <rubbernecking.trumpet.stephen@blacksapphire.com>
151 Suzumiya                    <suzumiyasmith@gmail.com>              # Goes by that name online
152 Sven Panne                  <sven.panne@aedion.de>
153 Tamar Christina             <tamar@zhox.com>
154 Tamar Christina             <tamar@zhox.com>                       <Mistuke@users.noreply.github.com>
155 Thomas M. DuBuisson         <thomas.dubuisson@gmail.com>
156 Thomas M. DuBuisson         <thomas.dubuisson@gmail.com>           Thomas M. DuBuisson <tommd@galois.com>
157 Thomas Schilling            <nominolo@gmail.com>                   <nominolo@googlemail.com>
158 Thomas Tuegel               <ttuegel@gmail.com>
159 Thomas Tuegel               <ttuegel@gmail.com>                    <ttuegel@mailbox.org>
160 Thomas Tuegel               <ttuegel@gmail.com>                    <ttuegel@secure.mailbox.org>
161 Veronika Romashkina         <vrom911@gmail.com>
162 Zejun Wu                    <zejun.wu@gmail.com>                   <watashi@watashi.ws>
163 capsjac                     <capsjac@gmail.com>                              # Goes by that name online
164 ghthrowaway7                <41365123+ghthrowaway7@users.noreply.github.com> # Goes by that name online
165 quasicomputational          <quasicomputational@gmail.com>                   # Goes by that name online
166 vedksah                     <31156362+vedksah@users.noreply.github.com>      # Goes by that name online