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
* Handle variable createFindlibDestdir correctly in ocaml-findlib
2010-12-23
maggesi
* Ha
n
d
l
e variable c
r
e
a
teFindlibDes
t
dir cor
r
ec
t
ly in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
magg
e
si
* Re
m
ove
u
s
eless co
d
e put by error in camomil
e
commit
|
commitdiff
|
tree
2010-12-21
ma
g
gesi
* Add v
a
riable cr
e
ateFindlibDestd
i
r
to the setu
p
H
ook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove
t
he automatic c
r
eat
i
o
n
of a
d
ir
e
cto
r
y from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
maggesi
*
Update
lablgtk2 (
a
nd enable hydra bu
i
ld)
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Upda
t
e camlp
5
commit
|
commitdiff
|
tree
2010-12-20
mag
g
esi
* Add findl
i
b to
h
ydra
commit
|
commitdiff
|
tree
2010-12-12
magg
e
s
i
* Add o
c
amlnet
commit
|
commitdiff
|
tree
2010-12-12
ma
g
gesi
* Fix installat
i
o
n of c
a
mlz
i
p
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* take camlzip META fil
e
f
rom
G
ODI
commit
|
commitdiff
|
tree
2010-12-11
m
a
ggesi
*
Add o
c
a
m
l-sqli
t
e3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Enab
l
e hydra build for ocaml-batteries,
c
a
ml
z
i
p
,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Put ocaml
3
.
1
2
.
0 at l
o
w
er
p
riority b
e
cause it
i
s
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
a
gge
s
i
* Narrow ocaml platforms
to linux and darwin
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
*
E
n
able hydra
compilation
f
or o
c
aml 3
.
11
.
1 (
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
mag
g
esi
* Enable
h
yd
r
a com
p
ilation for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
ma
g
g
es
i
* A
d
d ocaml packages fin
d
lib, camlz
i
p, ocaml-
s
sl,
o
cam
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
a
ggesi
* Add ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
maggesi
A
dd
CMUCL
C
ommon Lisp co
m
piler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update
Coq
commit
|
commitdiff
|
tree
2010-11-03
m
aggesi
U
pda
t
e HOL L
i
ght
commit
|
commitdiff
|
tree
2010-09-22
maggesi
U
p
date fossil
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Updat
e
HOL
Light to version 2010
0
820 (
r
ev57 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Change t
h
e name of t
h
e
c
o
q deriva
t
i
o
n to c
o
q-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
A
dd coq
-
8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
ma
g
gesi
Improve hol_light:
commit
|
commitdiff
|
tree
2010-09-08
ma
g
gesi
Add a patch
t
o dmtc
p
to allow the restart of check
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magges
i
Remove configure file for OCaml 3
.
09
.
1
w
hich is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Inclu
d
e direc
t
ory
f
or OCaml's C headers
.
commit
|
commitdiff
|
tree
2010-08-26
ma
g
ge
s
i
U
pdate fossil to versi
o
n 2010-08-23
22:
2
4:16
commit
|
commitdiff
|
tree
2010-08-17
m
a
gges
i
Imp
r
ove o
s
-specifi
c
/
l
inux
/
b
lcr
.
Fix a p
r
oblem
with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
Update Co
q
to ver
s
ion
8
.
2pl2
(
patch by
r
oc
o
nn
o
r)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsol
e
te expre
s
sion
for dmtcp-
d
evel
commit
|
commitdiff
|
tree
2010-08-03
m
aggesi
U
p
grade dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
m
aggesi
U
p
grade fo
s
s
il to version 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
mag
g
esi
Update
Fossil to
th
e
n
e
w
ver
s
i
o
n
commit
|
commitdiff
|
tree
2010-05-22
m
aggesi
Add italian di
c
tionary for aspell
commit
|
commitdiff
|
tree
2010-05-12
magg
e
si
Add package fo
r
Fossil
commit
|
commitdiff
|
tree
2010-05-12
mag
g
esi
Add myself t
o
nixpkgs/pkgs/lib/mai
n
t
ai
n
ers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
m
aggesi
Add expressi
o
n for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
mag
g
esi
p
kgs/
o
s
-specific/l
i
nux/blc
r
: upda
t
e to version
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
U
pdated nixpkgs/
p
kgs/o
s
-specific/lin
u
x/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
m
agges
i
Upda
t
ed
n
ixkpkgs/pk
g
s
/o
s
-specific/linux/dmt
c
p/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
ma
g
g
e
si
Add HO
L
Light an
d
its
d
e
pende
n
cies
.
commit
|
commitdiff
|
tree
2010-02-13
m
agg
e
si
Add p
a
cka
g
e dm
t
cp_deve
l
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add new
package pkgs/os
-
speci
f
i
c/linux/
d
m
tcp/
commit
|
commitdiff
|
tree
2010-02-01
m
a
ggesi
Fix bugs a
n
d impr
o
ve pkgs
/
servers/openaf
s
-
c
lient
commit
|
commitdiff
|
tree
2009-12-11
m
a
ggesi
Add
e
xpre
s
s
ion for Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
A
d
d expre
s
s
i
on for
ProofGe
n
e
r
al
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Ad
d
express
i
o
n
for Pol
y
ML
commit
|
commitdiff
|
tree
2009-12-03
m
aggesi
Fix
e
d download url for U
n
ison File Syncro
n
izer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS
(a
d
ded forgotte
n
files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
A
dd
packag
e
O
p
enAFS
commit
|
commitdiff
|
tree
2009-11-10
magg
e
si
Add package ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reint
r
o
du
c
ed attri
b
u
te scsh
a
ccidental
l
y removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
a
ggesi
New version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
Add packages scsh, The
Sc
h
eme Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Kerberos
i
mpl
e
m
enta
t
ion k
r
b5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Preliminary version of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated Coq to version
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
m
a
g
ge
s
i
Added
camlp5
the pre
p
roce
s
sor-
p
ret
t
y-printer f
o
r OCaml
commit
|
commitdiff
|
tree