repo.or.cz
/
cabal.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Merge pull request #5267 from merijn/master
2018-04-18
Mikhail Glushenkov
Merge p
u
ll
req
u
est #
5
267
f
r
om merijn
/
mas
t
er
commit
|
commitdiff
|
tree
2018-04-18
Mikhail G
l
ushenkov
M
erge p
u
ll
req
u
est
#
5251
from
Ly
s
xia
/
d
oc-fix
commit
|
commitdiff
|
tree
2018-04-09
Mik
h
ail Glushenkov
Form
a
t
t
ing
.
commit
|
commitdiff
|
tree
2018-04-07
Mikhail
G
lushenko
v
Mer
g
e pul
l
request #5257 from grayja
y
/use-ghc841-for
.
.
.
commit
|
commitdiff
|
tree
2018-03-31
Mikhail Glushenk
o
v
Merge pull r
e
quest #5244 fr
o
m
grayjay/
s
ol
v
e
r-deb
u
g
.
.
.
commit
|
commitdiff
|
tree
2018-03-31
Mikhail G
l
u
s
henkov
Mer
g
e pull request #5246
f
r
om fgaz/d
o
cs-patch
commit
|
commitdiff
|
tree
2018-03-28
Mikhail Glushenkov
Merge pull re
q
uest #5212 from a
l
exbiehl/pr/h
y
ps
r
c
commit
|
commitdiff
|
tree
2018-03-28
Mikhail Glushen
k
o
v
Merge pull
r
equ
e
s
t
#5235
from 23Skidoo/drop-network
-
2
.
6
commit
|
commitdiff
|
tree
2018-03-27
Mikhail Glu
s
henkov
.
travis
.
yml: Tes
t
with GHC 8
.
4
.
1
.
commit
|
commitdiff
|
tree
2018-03-27
Mikhail Glushenkov
Hackag
e
seems
to s
u
pport byte ra
n
ges now
.
commit
|
commitdiff
|
tree
2018-03-27
Mikhail Glushenkov
Me
r
ge
p
ull r
e
que
s
t #
5
2
11 from RyanGlScott
/
T5164
commit
|
commitdiff
|
tree
2018-03-27
Mikhail Glu
s
he
n
kov
bootstrap
.
sh: Dro
p
by
t
es
t
ring-
b
u
i
l
d
er
.
commit
|
commitdiff
|
tree
2018-03-27
Mikh
a
il Glus
h
en
k
o
v
Drop support for network < 2
.
6
.
commit
|
commitdiff
|
tree
2018-03-27
M
ikhail Gl
u
shenkov
Merge
p
ull request #5234 from 23Sk
i
d
oo/bu
m
p-bootstrap
commit
|
commitdiff
|
tree
2018-03-27
Mi
k
hai
l
Glushenkov
Bump dep versi
o
ns in the
bootstrap script
.
commit
|
commitdiff
|
tree
2018-03-26
Mikhail G
l
ushenk
o
v
Merge
pull re
q
ue
s
t #5230 fr
o
m ha
s
kell/lspitzner-patch-1
commit
|
commitdiff
|
tree
2018-03-26
M
i
khail Glushenko
v
Mer
g
e pull
r
equest #5233 from s
e
rgv
/
ma
s
te
r
commit
|
commitdiff
|
tree
2018-03-25
Mikhail Glu
s
henkov
W
hites
p
ac
e
.
[ci skip]
commit
|
commitdiff
|
tree
2018-03-24
Mikhail Glushenkov
Merg
e
pull request #5221
from peti/add-arm64-architecture
commit
|
commitdiff
|
tree
2018-03-22
Mikh
a
il Gl
u
shenkov
Formatting, 80-col vio
l
ations
.
commit
|
commitdiff
|
tree
2018-03-21
Mi
k
hail Glushenkov
M
e
r
g
e pull
r
eque
s
t #52
1
5 from
t
uncer/
8
.
4
.
1-preparation
commit
|
commitdiff
|
tree
2018-03-20
Mikhail Glushenkov
Merge
p
u
l
l
r
equest #5209 from hvr/pr/
i
ssue-5
2
01
commit
|
commitdiff
|
tree
2018-03-11
Mikhail Glus
h
enkov
Merge pull request #5197 from
Mistuke/fix
-
powershell
.
.
.
commit
|
commitdiff
|
tree
2018-03-08
Mikhail
G
l
u
s
henkov
doc/conf
.
p
y: V
e
r
sion bump
.
[ci skip]
commit
|
commitdiff
|
tree
2018-03-08
Mikhail Glushenkov
File nam
e
fixup
.
[ci skip]
commit
|
commitdiff
|
tree
2018-03-08
Mikhail Glu
s
h
enkov
RE
A
DME update
.
[ci s
k
ip]
commit
|
commitdiff
|
tree
2018-03-08
Mikhai
l
Gl
u
sh
e
nkov
Bump
c
opyri
g
ht yea
r
.
[ci skip]
commit
|
commitdiff
|
tree
2018-03-06
Mi
k
hail Glushenko
v
Cha
n
g
e
log update
.
[ci skip]
commit
|
commitdiff
|
tree
2018-03-05
M
i
k
h
ail Glushen
k
ov
Merge pull r
e
quest
#
5175 from z
w
3rk/featur
e
/cross-c
o
mpile
.
.
.
commit
|
commitdiff
|
tree
2018-03-01
Mi
k
hail Glushenkov
Merge p
u
ll
request #5171 fro
m
bga
m
ari/master
commit
|
commitdiff
|
tree
2018-02-23
Mikhai
l
Glushenkov
Merge pu
l
l request #5157 from DanielG/bootstrap-use
.
.
.
commit
|
commitdiff
|
tree
2018-02-20
Mikhail Glush
e
nkov
U
p
d
ate
A
U
THORS
.
[ci ski
p
]
commit
|
commitdiff
|
tree
2018-02-20
Mik
h
ail Glushenkov
Update AUTHORS
.
[
c
i skip]
commit
|
commitdiff
|
tree
2018-02-20
Mikhail Glushenk
o
v
Changelog updat
e
.
[c
i
skip]
commit
|
commitdiff
|
tree
2018-02-20
M
i
kh
a
il Glushe
n
k
ov
Merge pu
l
l
request #5
1
5
4
fr
o
m g
r
ayjay/sol
v
er-cleanup
commit
|
commitdiff
|
tree
2018-02-20
M
i
k
h
ail Glushenkov
Me
r
ge pull request #5153 fr
o
m cblp/eta
commit
|
commitdiff
|
tree
2018-02-19
Mikhai
l
G
l
ushe
n
kov
Merge pull request
#
5152
f
rom grayjay/fix-tas
t
y-hunit
.
.
.
commit
|
commitdiff
|
tree
2018-02-16
Mik
h
ai
l
Glushenkov
Fix haddocks
u
pl
o
adi
n
g
.
commit
|
commitdiff
|
tree
2018-02-16
Mi
k
hail G
l
us
h
enkov
Whitespace
.
commit
|
commitdiff
|
tree
2018-02-16
Mik
h
ail G
l
u
s
henko
v
Update Ap
p
Veyo
r
badge URL
.
commit
|
commitdiff
|
tree
2018-02-16
Mikhail
Glushen
k
ov
U
p
g
rade
Tasty t
o
1
.
0 and u
p
dat
e
appveyor
.
ym
l
.
commit
|
commitdiff
|
tree
2018-02-15
Mikhail
Glus
h
enkov
We
n
o longe
r
need allow-n
e
wer=hackage-sec
u
rity:Cabal
.
commit
|
commitdiff
|
tree
2018-02-14
M
i
khail
Gl
u
shenkov
Think-o
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail
Glushenk
o
v
Merge pull reques
t
#
5146
f
rom phade
j
/s
p
d
x
-3
.
0
commit
|
commitdiff
|
tree
2018-02-14
Mi
k
h
ai
l
G
l
us
h
enkov
T
empor
a
rily
a
llo
w
h
a
c
ka
g
e
-security to use new
C
aba
l
.
commit
|
commitdiff
|
tree
2018-02-14
Mikh
a
il
G
lushenkov
.
travis
.
yml: Add 2
.
2 to
t
h
e
branch whitelist
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail Glushenkov
Changel
o
g
update
.
commit
|
commitdiff
|
tree
2018-02-14
Mik
h
ail G
l
ushe
n
kov
B
u
mp i
t
some more
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail Glushenk
o
v
Ve
r
sion bump
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail
G
lus
h
enkov
Me
r
ge remote-tr
a
cking bra
n
ch 'ta
k
en
o
bu-h
s
/feature/numeric
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
Mikh
a
il G
l
ushenko
v
Cha
n
g
e
log u
p
d
at
e
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail Glushenkov
Changelog upd
a
te
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail G
l
ushenko
v
Me
r
ge
pull r
e
quest #487
4
fro
m
zw3r
k
/feature/basedi
r
commit
|
commitdiff
|
tree
2018-02-14
M
i
khail Glushenkov
Merge pull request
#514
3
f
r
o
m alexbiehl/pr/ena
b
le-d
o
cumentation
commit
|
commitdiff
|
tree
2018-02-14
Mikhail Glushenkov
Merge pull req
u
es
t
#5
1
42 from
a
lexbiehl/p
r
/legacy-conf
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
Mikhail Glushenkov
Mer
g
e
pull
request #
5
141 from harpocrates/featu
r
e/haddo
c
k
.
.
.
commit
|
commitdiff
|
tree
2018-02-14
M
ik
h
ail Glush
e
nk
o
v
M
e
rge pull r
e
q
u
est #5140
f
r
om
h
arpocrates/feature/had
d
ock
.
.
.
commit
|
commitdiff
|
tree
2018-02-13
Mikhail G
l
u
s
hen
k
ov
Comments only
.
commit
|
commitdiff
|
tree
2018-02-13
Mi
k
hail G
l
u
s
h
enkov
Mo
v
e
c
o
m
pat
bit
s
for 'director
y
'
to D
.
Com
p
a
t
.
Dir
e
ctory
.
commit
|
commitdiff
|
tree
2018-02-13
M
i
khai
l
Glushen
k
ov
M
e
rge
pull r
e
ques
t
#5135 from grayjay/new-freez
e
-tests
commit
|
commitdiff
|
tree
2018-02-10
M
ikhail
Glushenkov
Merge
p
ull request
#5127 from haskell/angerman
-
pa
t
c
h
-1
commit
|
commitdiff
|
tree
2018-02-08
Mikhail Glus
h
en
k
o
v
'cabal c
h
eck':
c
onvenience libraries
were added in
.
.
.
commit
|
commitdiff
|
tree
2018-02-08
Mi
k
hail Glushenkov
Merge pull
req
u
e
s
t #5018
from zw3rk/featu
r
e/p
r
ograms
commit
|
commitdiff
|
tree
2018-02-08
M
i
kha
i
l Glushenkov
Mer
g
e
p
ull request #5107
f
rom bga
m
ari/master
commit
|
commitdiff
|
tree
2018-02-08
Mikhail Glushenkov
Merge pull request #5
1
22 from haskell
/
gbaz
-
main-is
.
.
.
commit
|
commitdiff
|
tree
2018-02-08
Mikhail
G
l
u
s
henkov
Merge pull request #501
2
from gr
a
yja
y
/issue-4823
commit
|
commitdiff
|
tree
2018-02-06
Mikhail Glushenkov
Mer
g
e pull request #5
1
11 from z
w
3r
k
/feat
u
re/better
.
.
.
commit
|
commitdiff
|
tree
2018-02-04
Mikhail
Gl
u
s
henkov
Merge pull request #5101
from
takan
o
-ak
i
o/block
a
rguments
commit
|
commitdiff
|
tree
2018-02-02
Mikhail
Glu
s
henkov
Merge pull request #509
7
from
h
aske
l
l/issue-50
8
6
b
commit
|
commitdiff
|
tree
2018-02-01
Mikhail Glushenkov
Include
.
ch
e
ck
f
iles in extr
a
-sourc
e
-files
.
commit
|
commitdiff
|
tree
2018-02-01
Mikhai
l
Glu
s
henkov
Merge pu
l
l
reque
s
t #5090 fro
m
23
S
kidoo/issue-4444-ne
w
.
.
.
commit
|
commitdiff
|
tree
2018-02-01
Mi
k
h
a
il Glush
e
nkov
80-col v
i
o
l
a
tions
.
commit
|
commitdiff
|
tree
2018-02-01
Mikh
a
i
l Glushenkov
Port #4950
to new-
u
pdate
.
commit
|
commitdiff
|
tree
2018-02-01
M
ikhail G
l
ushenkov
Merge pull request #
5
053 from zw3rk/featu
r
e/package
.
.
.
commit
|
commitdiff
|
tree
2018-02-01
Mikhail Glushenko
v
Merge
p
ull request #5085 from phadej/f
i
x-scope
-
fiel
d
commit
|
commitdiff
|
tree
2018-01-31
Mikha
i
l
Glushe
n
kov
Mer
g
e pull
r
equest #50
8
4 fr
o
m pha
d
ej/available-sinc
e
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Mikhail Glush
e
nk
o
v
Merge
p
ull request
#
5076 from
p
ha
d
ej/issue-505
5
commit
|
commitdiff
|
tree
2018-01-31
Mikhail Glushenkov
Fix a
d
ead
link
.
commit
|
commitdiff
|
tree
2018-01-31
M
i
khail Glushen
k
ov
Merge pull
r
equ
e
s
t
#
5
080 fr
o
m grayjay
/
new-buil
d
-er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Mikhail Glush
e
nk
o
v
Merge pull
r
equest #50
5
4 from haskell/paths-
m
od
u
le
.
.
.
commit
|
commitdiff
|
tree
2018-01-31
Mikha
i
l Glu
s
henkov
M
erge pul
l
request #5078 from pe
t
i/maste
r
commit
|
commitdiff
|
tree
2018-01-07
M
ikhail Glus
h
enkov
Merge pull
r
equest
#
5004 f
r
om 23Skidoo/disable-per
.
.
.
commit
|
commitdiff
|
tree
2018-01-07
Mikhail
Glushenkov
M
o
ve
G
HC featu
r
e checks out o
f
the loop
.
commit
|
commitdiff
|
tree
2018-01-07
Mik
h
a
il Glushenkov
Skip th
e
slow test
o
n macOS for now
.
commit
|
commitdiff
|
tree
2018-01-07
M
ikhail Glushenkov
Merge pull reque
s
t #5002 from hvr/
p
r/issue-45
4
8
commit
|
commitdiff
|
tree
2018-01-07
M
i
khail Glushen
k
ov
Merge pull r
e
quest #5003 from
h
vr/pr
/
d
r
op-Un
k
n
o
wnBuild
T
ype
commit
|
commitdiff
|
tree
2018-01-05
Mik
h
ai
l
Glushen
k
ov
Merge pull re
q
uest #49
9
7 from phadej/
c
ustom-
s
etup-test
s
commit
|
commitdiff
|
tree
2018-01-05
Mi
k
hail Glushenkov
Comments only
.
commit
|
commitdiff
|
tree
2018-01-05
Mikhail
G
lushenkov
Wh
i
tespace
,
8
0-
c
ol
v
iol
a
t
i
ons
.
commit
|
commitdiff
|
tree
2018-01-05
M
i
kh
a
i
l Glushenkov
gen-ext
r
a-source-fi
l
e
s
: Use hs-sou
r
ce-dirs to find
.
.
.
commit
|
commitdiff
|
tree
2018-01-05
Mikhail Glushe
n
kov
Make IdrisSetup com
p
atible with GHC 7
.
4
.
2
.
commit
|
commitdiff
|
tree
2018-01-04
Mikhail Glu
s
henkov
A
d
d a forgotten 'default-language' fi
e
l
d
.
commit
|
commitdiff
|
tree
2018-01-04
Mikhail Glu
s
he
n
kov
Rename rewriteFileV to rewriteFil
e
E
x
.
commit
|
commitdiff
|
tree
2018-01-04
Mikhail Glushenkov
Mer
g
e pul
l
request #
4
996 f
r
om
e
zyang/
p
r/rewrite-file-bc
commit
|
commitdiff
|
tree
2018-01-04
Mikhail Glus
h
enkov
Unbr
e
ak Haddock doc generation
.
commit
|
commitdiff
|
tree
2018-01-03
Mikhai
l
Glushenkov
Comment
s
on
l
y
.
commit
|
commitdiff
|
tree
2018-01-03
Mikhail G
l
u
shen
k
ov
Merge pull request #49
9
1
from ezyang
/
pr/T4986
commit
|
commitdiff
|
tree
2018-01-03
M
i
khail Glushenkov
Merge remote-trac
k
ing b
r
anch 'up
s
tream/dco
u
t
ts/project
.
.
.
commit
|
commitdiff
|
tree
2018-01-03
Mikh
a
il Glushenkov
M
erge
pull request #48
8
9 from haske
l
l/target
-
p
a
cka
g
e
.
.
.
commit
|
commitdiff
|
tree
2017-12-28
M
ikha
i
l Glushenkov
Merge pull request #4979 from phad
e
j/showF
u
llInstalledPac
k
a
g
.
.
.
commit
|
commitdiff
|
tree
next