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 build
i
ng of OCaml
o
n Darwin
.
Gn
u
sed
c
hanged
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
maggesi
* Handle var
i
able createF
i
ndlibDestdir correctly in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* R
e
move useless code put by error
i
n
c
amomile
commit
|
commitdiff
|
tree
2010-12-21
ma
g
gesi
* Add vari
a
ble creat
e
Findli
b
Destdir to
t
he setupH
o
ok
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove th
e
automatic creat
i
on
o
f a dir
e
ctory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update lablgtk
2
(an
d
e
nable
h
ydr
a
build)
commit
|
commitdiff
|
tree
2010-12-20
ma
g
gesi
* Update camlp5
commit
|
commitdiff
|
tree
2010-12-20
magges
i
* Add findlib to hydra
commit
|
commitdiff
|
tree
2010-12-12
mag
g
esi
* Add ocamlnet
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Fix
ins
t
allati
o
n
o
f c
a
mlz
i
p
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
take
camlzip META file fro
m
GODI
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
* Add ocaml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Enable hydr
a
bui
l
d for
oc
a
ml-b
a
tteries, camlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Pu
t
o
caml 3
.
12
.
0 a
t
lower
priority because it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
ma
g
gesi
* Nar
r
ow ocaml platforms to li
n
ux and d
a
rwin
commit
|
commitdiff
|
tree
2010-12-09
maggesi
*
Enable hydra c
o
mpilation for ocam
l
3
.
11
.
1
(
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Enable hydra compi
l
ation for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
magg
e
si
*
Add ocaml packages findlib, camlzip
,
o
caml
-
s
sl
,
ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
*
A
dd
o
caml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magg
e
si
Add CMUC
L
Common Lisp compiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
magg
e
si
Upd
a
te H
O
L Light
commit
|
commitdiff
|
tree
2010-09-22
magg
e
si
Up
d
ate fo
s
s
i
l
commit
|
commitdiff
|
tree
2010-09-15
mag
g
es
i
Upda
t
e HO
L
Light to ve
r
sion 2010082
0
(rev5
7
o
n
goog
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
mag
g
esi
C
hange th
e
n
ame of
th
e
c
o
q
d
erivation to c
o
q-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add c
o
q-8
.
3rc
1
commit
|
commitdiff
|
tree
2010-09-08
m
a
ggesi
I
mprove hol
_
ligh
t
:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
A
d
d
a patch
t
o
dmtcp to allow the
r
estart of checkpo
i
nted
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
a
g
gesi
Remove configure fil
e
for OCaml
3
.
09
.
1 which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
a
ggesi
Inclu
d
e directory for OCaml'
s
C he
a
ders
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update
f
oss
i
l to
v
e
r
s
ion 2010
-
08-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Impr
o
ve
os-specifi
c
/linux/blcr
.
Fix a prob
l
em with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
m
a
ggesi
Update C
o
q to versi
o
n 8
.
2p
l
2
(
p
atch
b
y rocon
n
or)
commit
|
commitdiff
|
tree
2010-08-04
mag
g
esi
Remove obsolete
e
xpression f
o
r dmtc
p
-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgrade dmtcp to ver
s
ion 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgr
a
de
fossil
to ve
r
sion 20
1
0-07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update Fossil to the new
v
ersion
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add italia
n
dictionary for aspel
l
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add package for Fo
s
sil
commit
|
commitdiff
|
tree
2010-05-12
ma
g
ge
s
i
Ad
d
m
y
self to nixpkgs/pkgs/lib/
m
aintainers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
m
agg
e
si
Add expressio
n
for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-specific/linux/blcr: upd
a
te
to vers
i
on 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Up
d
ate
d
nixpkgs/pkgs
/
os-s
p
eci
f
ic/
l
inux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated nixkpkgs/pkgs/os-specific/linux/dmtcp/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add
H
O
L
L
ight and its
dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
m
a
g
g
esi
Add
package dmtc
p
_devel
commit
|
commitdiff
|
tree
2010-02-04
m
ag
g
es
i
Add new package pkgs
/
o
s-spe
c
ific/linux/dmtcp
/
commit
|
commitdiff
|
tree
2010-02-01
m
ag
g
esi
F
i
x bugs a
n
d
i
m
p
rov
e
pkgs/server
s
/opena
f
s-client
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add ex
p
r
ession for Is
a
b
el
l
e2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for ProofGen
e
r
al
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add expr
e
ssion f
o
r PolyM
L
commit
|
commitdiff
|
tree
2009-12-03
m
a
gges
i
Fix
e
d download url for Unison File Sync
r
oniz
e
r
.
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add package
OpenAFS (add
e
d for
g
otten files)
commit
|
commitdiff
|
tree
2009-11-10
magg
e
si
Add
pa
c
kage OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
mag
g
esi
Add
pa
c
kage ledge
r
commit
|
commitdiff
|
tree
2009-11-09
m
a
ggesi
Re
i
ntroduce
d
attribute scsh
accide
n
tally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
mag
g
esi
New versio
n
of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
ma
g
gesi
Add
p
ac
k
ages
s
c
s
h
, The
S
c
h
e
me Shell
commit
|
commitdiff
|
tree
2009-11-06
m
a
ggesi
Add MI
T
Kerberos implemen
t
a
t
ion krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Preliminary version of pa
c
kage
s
sre
f
lect
commit
|
commitdiff
|
tree
2009-11-02
m
a
ggesi
U
pdated Coq to version 8
.
2
pl1
commit
|
commitdiff
|
tree
2009-11-02
mag
g
esi
Adde
d
camlp5
the preprocessor-
p
rett
y
-printer for OCa
m
l
commit
|
commitdiff
|
tree