repo.or.cz
/
nixpkgs-libre.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
* Add findlib to hydra
2010-12-20
mag
g
esi
* Add findlib to hydra
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Add oca
m
l
n
et
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
Fix ins
t
allation of camlzip
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* take camlz
i
p META fil
e
f
r
om GODI
commit
|
commitdiff
|
tree
2010-12-11
mag
g
esi
* A
d
d ocaml-sq
l
ite3
commit
|
commitdiff
|
tree
2010-12-11
magg
e
s
i
* Ena
b
le hydra
b
u
i
ld for ocaml-b
a
tter
i
es, cam
l
zip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Put
o
c
aml 3
.
12
.
0 at lower priority
b
ec
a
u
se it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
agges
i
* Narr
o
w
oc
a
ml
platforms to
l
inux
and
darwi
n
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Enable hydra compilation for ocaml 3
.
1
1
.
1
(error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Enable
hydra
c
ompilati
o
n for oc
a
ml 3
.
1
1
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add ocaml packages
findlib, camlzip, ocaml-ssl, oca
m
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
aggesi
*
A
d
d ocaml
3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
m
ag
g
esi
Add CMUCL C
o
m
m
on Li
s
p
compiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
U
p
date
Coq
commit
|
commitdiff
|
tree
2010-11-03
maggesi
Update HOL L
i
ght
commit
|
commitdiff
|
tree
2010-09-22
m
a
g
gesi
Update fossil
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Update
HOL Light to
version 2010
0
820 (rev
5
7
on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
magge
s
i
Change the name of
the coq d
e
rivation to
c
oq-
d
evel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
m
a
g
gesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Impr
o
v
e
h
ol_light:
commit
|
commitdiff
|
tree
2010-09-08
magge
s
i
Add
a
pa
t
ch to dmtcp to a
l
low the restart of che
c
k
p
oint
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Remove
c
onf
i
gure
fil
e
fo
r
O
Cam
l
3
.
09
.
1
which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
I
n
clude di
r
ectory for OCaml's C headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fo
s
sil
to version 2
0
10-
0
8-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
m
a
gges
i
Improve os-sp
e
cific/linux/blcr
.
F
i
x a problem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
magge
s
i
Update C
o
q to
version
8
.
2p
l
2 (p
a
tch by rocon
n
or)
commit
|
commitdiff
|
tree
2010-08-04
magge
s
i
Remove obsolete
e
xpre
s
sion
for
d
mtcp-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgra
d
e dmtcp to ve
r
sio
n
1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgra
d
e fossi
l
to v
e
rsion 2010-0
7
-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Upd
a
te F
o
ssil
t
o the n
e
w version
commit
|
commitdiff
|
tree
2010-05-22
mag
g
esi
Add italian dictiona
r
y for aspell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add packag
e
for Fossil
commit
|
commitdiff
|
tree
2010-05-12
magge
s
i
A
d
d mysel
f
to nixpkgs/pkgs/lib/
m
ainta
i
ners
.
nix
commit
|
commitdiff
|
tree
2010-05-11
mag
g
esi
Add
e
xpression for C
o
q 8
.
3 be
t
a
commit
|
commitdiff
|
tree
2010-04-15
magg
e
si
pkgs
/
os-specific/linux/blcr: update to version
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
m
a
ggesi
Updated
n
i
xpkgs/pkgs/os-sp
e
cific
/
linux
/
dmtcp
commit
|
commitdiff
|
tree
2010-02-18
magge
s
i
Updated nixkpkgs/
p
kgs/
o
s-s
p
ec
i
fic/linux/dmtcp/devel
.
n
ix
commit
|
commitdiff
|
tree
2010-02-15
mag
g
esi
Add HOL L
i
ght
and
i
t
s depende
n
cie
s
.
commit
|
commitdiff
|
tree
2010-02-13
m
aggesi
Add pa
c
kage dmtc
p
_d
e
vel
commit
|
commitdiff
|
tree
2010-02-04
magge
s
i
Add
new
pac
k
age pkgs/o
s
-specifi
c
/linux/
d
mt
c
p/
commit
|
commitdiff
|
tree
2010-02-01
m
a
ggesi
Fix
b
ugs and impr
o
ve pkgs/s
e
rvers/
o
pen
a
fs-client
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
Add expression for
Isabelle200
9
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expressio
n
f
or
P
roofGeneral
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add expres
s
ion for PolyML
commit
|
commitdiff
|
tree
2009-12-03
mag
g
esi
Fixed download url
f
or Uniso
n
File
S
yncr
o
nize
r
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
A
d
d
pa
c
kage O
p
e
nAFS
(
added for
g
ott
e
n files)
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add
p
a
c
kage Op
e
nAFS
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
Add packa
g
e ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
R
e
introduced attribute s
c
s
h
accidentally removed
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
mag
g
esi
N
e
w version of cr
y
opid
.
commit
|
commitdiff
|
tree
2009-11-07
m
agg
e
si
Ad
d
pa
c
kages scs
h
,
The
Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
A
d
d MIT Kerberos implementati
o
n
k
rb5
.
commit
|
commitdiff
|
tree
2009-11-05
m
a
ggesi
Prelimina
r
y version of
p
a
c
kage ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
U
pdated C
o
q to version 8
.
2p
l
1
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
Added camlp5 th
e
p
r
e
pro
c
essor-p
r
etty-p
r
inter
f
or OCaml
commit
|
commitdiff
|
tree