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
* Fix building of OCaml on Darwin. Gnu sed changed its behavior after version 4...
2011-01-01
maggesi
* Fix building of OC
a
ml on Darwi
n
.
G
n
u
s
e
d changed
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
maggesi
* Handle variabl
e
cr
e
ateFindlib
D
estdir corre
c
tly in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
m
ag
g
esi
* Remove usele
s
s code put by error
in camom
i
le
commit
|
commitdiff
|
tree
2010-12-21
m
agges
i
* Add variable createFindlibDestdir t
o
the setupHook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
ma
g
gesi
* Remove the automa
t
i
c cre
a
tion of a directory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
magg
e
si
* Update
l
a
blgtk2 (and e
n
able hyd
r
a b
u
ild)
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update camlp5
commit
|
commitdiff
|
tree
2010-12-20
maggesi
*
Ad
d
fin
d
lib to hydra
commit
|
commitdiff
|
tree
2010-12-12
m
a
ggesi
* Add ocamlnet
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Fix
i
ns
t
a
l
l
ation of camlzip
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
take
c
amlzip ME
T
A
f
i
l
e
from GODI
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Add ocaml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Enable hydra
b
uild for o
c
aml-b
a
tte
r
i
e
s, camlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Put
o
caml
3
.
12
.
0 at l
o
wer
p
riority because
i
t is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
a
g
g
esi
* N
a
rro
w
ocaml platfor
m
s
t
o li
n
ux
a
nd darwin
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Enable hydra compilation for ocam
l
3
.
11
.
1 (
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Ena
b
le hy
d
ra compilati
o
n for o
c
aml 3
.
1
1
.
1
commit
|
commitdiff
|
tree
2010-12-09
ma
g
g
esi
* Add o
c
aml packages
f
ind
l
i
b
, camlzip, oc
a
m
l-ssl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magges
i
* Add ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
m
a
g
g
esi
Ad
d
CMUCL Common Lisp compiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
mag
g
esi
Update HOL
L
ig
h
t
commit
|
commitdiff
|
tree
2010-09-22
maggesi
U
p
date foss
i
l
commit
|
commitdiff
|
tree
2010-09-15
m
a
gg
e
si
Upda
t
e HOL Light to v
e
rsio
n
201
0
0820 (rev57 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
m
ag
g
esi
C
h
a
n
ge the nam
e
of the coq
d
e
r
i
vat
i
on to coq-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
magge
s
i
Add coq
-
8
.
3rc
1
commit
|
commitdiff
|
tree
2010-09-08
magg
e
si
Impr
o
ve hol_
l
i
ght:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
A
d
d a p
a
t
ch to dmtcp to allo
w
the
r
esta
r
t of checkpointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
R
e
mo
v
e configure fil
e
for OCaml 3
.
0
9
.
1 which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
mag
g
esi
Inclu
d
e directory
for OCaml
'
s C
hea
d
ers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Upd
a
te fossil to version 2010-08-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Improve
os-specific/linux/blcr
.
Fix a problem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
ma
g
gesi
Update C
o
q to ver
s
ion 8
.
2pl2
(
p
a
tch by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
ma
g
gesi
Rem
o
ve obso
l
ete expression
f
or dmtc
p
-
d
evel
commit
|
commitdiff
|
tree
2010-08-03
magge
s
i
U
p
grade dm
t
cp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
U
p
g
rade fossil
t
o
vers
i
on 2010
-
07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update Fossil to t
h
e new
v
er
s
ion
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add italian dictionary for aspell
commit
|
commitdiff
|
tree
2010-05-12
m
a
ggesi
Add
p
ackage
for Fossil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add m
y
self to
nixpkgs/pkgs/lib/
m
aint
a
i
ners
.
n
ix
commit
|
commitdiff
|
tree
2010-05-11
m
ag
g
esi
A
d
d expression for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-sp
e
cif
i
c/linux
/
blcr: upd
a
te to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkg
s
/pkgs
/
os-spec
i
fic/linux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
m
a
ggesi
U
pdated
ni
x
kpkgs/pk
g
s/os-sp
e
cific/linux/dmtc
p
/d
e
vel
.
ni
x
commit
|
commitdiff
|
tree
2010-02-15
maggesi
A
dd HOL Light
and its
d
ependenc
i
es
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
m
a
ggesi
Add ne
w
package pkgs/os-specif
i
c
/li
n
ux/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
a
g
g
e
si
Fix
bugs
a
n
d
improve
pkgs/servers/openafs-client
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add express
i
on for Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
A
dd expression for
Proof
G
e
n
eral
commit
|
commitdiff
|
tree
2009-12-10
mag
g
e
s
i
Add express
i
on for PolyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed download url for Unison F
i
le Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS (adde
d
forgotten f
i
l
e
s)
commit
|
commitdiff
|
tree
2009-11-10
ma
g
ges
i
Add pac
k
age OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package ledge
r
commit
|
commitdiff
|
tree
2009-11-09
m
a
gg
e
si
Reintro
d
uced attribute scsh accidentally remov
e
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
agg
e
si
N
ew version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
magg
e
si
A
d
d pack
a
ges scsh,
The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
a
g
ges
i
Add MIT Kerberos implementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Pr
e
lim
i
na
r
y
vers
i
on of p
a
ckage ssrefl
e
ct
commit
|
commitdiff
|
tree
2009-11-02
m
a
g
gesi
Updated Coq t
o
ver
s
ion 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added camlp5 the preproc
e
ssor-pr
e
tty-prin
t
er for OCaml
commit
|
commitdiff
|
tree