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
* F
i
x buil
d
ing of OCaml on Darwin
.
Gnu
s
ed
chan
g
ed
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
magg
e
si
*
Handl
e
vari
a
ble
c
reateFindlibDestdir correctly in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
ma
g
gesi
* Remove useless code
p
ut by error in camomile
commit
|
commitdiff
|
tree
2010-12-21
magg
e
s
i
* Add variable c
r
ea
t
e
F
indlibDestd
i
r to
t
he setupHoo
k
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove the
a
u
tom
a
ti
c
c
reation of a directory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update lablgtk2 (and enable
hyd
r
a build)
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update
camlp5
commit
|
commitdiff
|
tree
2010-12-20
m
a
ggesi
* Ad
d
findlib t
o
hydra
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Add ocamlnet
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
F
ix installation of camlzip
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* take
c
amlzip ME
T
A
f
il
e
fr
o
m GODI
commit
|
commitdiff
|
tree
2010-12-11
m
a
gges
i
* Add ocaml-s
q
lite3
commit
|
commitdiff
|
tree
2010-12-11
ma
g
gesi
* Enable
h
yd
r
a build fo
r
o
caml-
b
atteries
,
camlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Put
o
c
aml 3
.
12
.
0 at lower pri
o
rity
b
eca
u
s
e
it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
mag
g
esi
* Narr
o
w o
c
am
l
platforms to linux
a
n
d dar
w
in
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* Enable hyd
r
a
c
ompi
l
atio
n
f
or oca
m
l 3
.
11
.
1 (error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magges
i
*
Enable
h
ydra
comp
i
lat
i
o
n
for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add ocaml pack
a
ges findlib, cam
l
zi
p
, o
c
a
m
l-ssl
,
ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add o
c
aml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magge
s
i
Add CMUCL C
o
mmon Lisp com
p
iler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
U
p
date Coq
commit
|
commitdiff
|
tree
2010-11-03
maggesi
Up
d
a
t
e H
O
L
L
i
ght
commit
|
commitdiff
|
tree
2010-09-22
maggesi
U
p
date
f
oss
i
l
commit
|
commitdiff
|
tree
2010-09-15
magge
s
i
U
p
date HOL Lig
h
t to version
2
010
0
8
2
0 (re
v
57 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
magge
s
i
Change the nam
e
o
f
the coq der
i
vat
i
on to coq
-
dev
e
l
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
magg
e
si
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Imp
r
ove hol_light:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
A
d
d
a
patch
t
o dmtcp
t
o allow the res
t
art of checkpoint
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Rem
o
ve configure fil
e
for OCaml 3
.
09
.
1 which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
aggesi
Include
directory
f
or
OCaml's C h
e
aders
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fossil to ver
s
i
o
n 20
1
0-08-23 22:2
4
:1
6
commit
|
commitdiff
|
tree
2010-08-17
magg
e
si
Improve os-
s
pecific/linux/blcr
.
Fi
x
a pro
b
lem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
p
date Coq to version
8
.
2pl2 (patch by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Rem
o
ve o
b
s
olete
expression
for dmtcp
-
devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgra
d
e dmtc
p
to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
m
a
ggesi
Upgrade fossil
t
o version 2010-07-
0
3
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update Fossi
l
to the new version
commit
|
commitdiff
|
tree
2010-05-22
m
a
ggesi
Add
italian dictio
n
ary for asp
e
ll
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add package
f
o
r
Fossil
commit
|
commitdiff
|
tree
2010-05-12
mag
g
es
i
A
dd
m
y
self to nixpk
g
s
/pkgs
/
lib/main
t
ainers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression for Coq
8
.
3 b
e
ta
commit
|
commitdiff
|
tree
2010-04-15
m
aggesi
pkgs/os-spec
i
fic/linux/blcr:
upd
a
te to ve
r
sion 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkgs/pkgs/os-specific/
l
inux/d
m
tcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Up
d
ated ni
x
kpkgs/
p
kgs/os
-
specific/linux/dmtcp/de
v
el
.
nix
commit
|
commitdiff
|
tree
2010-02-15
magges
i
Add HOL Light and its depe
n
dencie
s
.
commit
|
commitdiff
|
tree
2010-02-13
mag
g
esi
Add package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add new package pkg
s
/o
s
-specific/l
i
nux/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
magge
s
i
Fix
b
ugs and i
m
p
r
ove pkg
s
/servers/openaf
s
-cli
e
nt
commit
|
commitdiff
|
tree
2009-12-11
m
a
g
gesi
Ad
d
express
i
o
n for I
s
abell
e
2009
commit
|
commitdiff
|
tree
2009-12-11
m
a
ggesi
Add e
x
pression for
ProofGene
r
al
commit
|
commitdiff
|
tree
2009-12-10
m
agg
e
si
Add
e
xpress
i
on for PolyML
commit
|
commitdiff
|
tree
2009-12-03
m
ag
g
esi
Fixed download url for
Uniso
n
File Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
Add p
a
c
k
age OpenAFS (a
d
ded forgotten fi
l
es)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pa
c
ka
g
e Open
A
FS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package ledger
commit
|
commitdiff
|
tree
2009-11-09
ma
g
gesi
Reintroduced attri
b
ute
scsh accidentally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
magg
e
si
New version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
m
a
ggesi
Add packages
s
csh,
T
he Scheme Sh
e
ll
commit
|
commitdiff
|
tree
2009-11-06
magg
e
si
Add MIT Kerbero
s
imp
l
e
m
e
n
tation
k
rb
5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Pr
e
liminary version of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Update
d
Coq to versio
n
8
.
2
p
l1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added caml
p
5 the preprocessor-pre
t
t
y-printer
for OCa
m
l
commit
|
commitdiff
|
tree