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
network-manager: use mirror://gnome
2011-01-03
maggesi
* Co
q
: fix com
p
ilation of coqid
e
(path to lablgkt
)
commit
|
commitdiff
|
tree
2011-01-01
m
ag
g
e
si
* Fix b
u
ilding of OCaml on Darw
i
n
.
Gnu
se
d
cha
n
g
ed
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
m
a
g
g
esi
* Handle variable create
F
indlibDestdir correctly i
n
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
m
aggesi
* Rem
o
ve
us
e
less code put by error i
n
camomile
commit
|
commitdiff
|
tree
2010-12-21
maggesi
*
Add variable createFi
n
dli
b
Destdir to th
e
setupHook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove t
h
e
aut
o
matic cre
a
ti
o
n
of
a directory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
m
a
ggesi
*
U
pdate lablgtk2
(and enable hydra
b
uild)
commit
|
commitdiff
|
tree
2010-12-20
m
a
ggesi
* Upda
t
e ca
m
lp5
commit
|
commitdiff
|
tree
2010-12-20
maggesi
*
A
dd find
l
ib to hydr
a
commit
|
commitdiff
|
tree
2010-12-12
m
a
gg
e
si
* Add ocamln
e
t
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
F
ix insta
l
lation of camlzip
commit
|
commitdiff
|
tree
2010-12-12
m
a
ggesi
* take ca
m
lzip META
fi
l
e
f
rom GODI
commit
|
commitdiff
|
tree
2010-12-11
mag
g
esi
* Add oc
a
ml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
*
Enable hydra bui
l
d for ocaml
-
bat
t
e
r
ies, ca
m
lzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
* Put ocaml 3
.
12
.
0 at lower priority becau
s
e it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
ag
g
esi
* Narrow ocaml
platforms
t
o linux an
d
darwin
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Ena
b
l
e
hydra
c
o
m
p
i
latio
n
f
or
ocaml 3
.
1
1
.
1
(e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
a
ggesi
* Enable
hydra c
o
mpilatio
n
for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* A
d
d ocaml
p
ac
k
ages findlib, camlzip, ocaml
-
ssl, o
c
aml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* Ad
d
ocaml 3
.
1
2
.
0
commit
|
commitdiff
|
tree
2010-11-08
m
a
ggesi
Add CMUCL Common Lisp compiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Updat
e
Co
q
commit
|
commitdiff
|
tree
2010-11-03
maggesi
Upda
t
e HOL Light
commit
|
commitdiff
|
tree
2010-09-22
maggesi
Update
f
ossil
commit
|
commitdiff
|
tree
2010-09-15
m
aggesi
Upda
t
e
HOL Light to version 20100820 (
r
ev57 on go
o
gle
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
magg
e
si
Cha
n
ge the nam
e
of the coq derivation to coq-
d
e
vel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
m
a
g
g
es
i
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
magg
e
si
Im
p
rove
hol_light:
commit
|
commitdiff
|
tree
2010-09-08
magges
i
A
dd a pat
c
h to dmtcp t
o
allow the r
e
start of checkpointe
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Remove confi
g
ure file for OCam
l
3
.
09
.
1 which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
g
es
i
Include di
r
ectory
f
or OCaml'
s
C header
s
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fossil to version 2010-08
-
23
2
2:24:
1
6
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Improve os-specifi
c
/lin
u
x/blcr
.
Fix a problem w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
Update Co
q
t
o version 8
.
2pl2
(
patch by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Re
m
ove obsolete expression for
d
m
t
c
p
-devel
commit
|
commitdiff
|
tree
2010-08-03
mag
g
es
i
Upg
r
ade dmtcp
to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgrade fossil to version 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update Fos
s
il to t
h
e new version
commit
|
commitdiff
|
tree
2010-05-22
magge
s
i
Add italian
d
i
c
t
i
onary for aspell
commit
|
commitdiff
|
tree
2010-05-12
magge
s
i
Add pack
a
ge
for F
o
ssil
commit
|
commitdiff
|
tree
2010-05-12
magg
e
s
i
Ad
d
myself to nixpkgs/pkgs/lib/maintain
e
rs
.
nix
commit
|
commitdiff
|
tree
2010-05-11
m
a
ggesi
A
d
d
expression for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
magge
s
i
p
kgs/os-s
p
ecific/linux/blcr: update to
v
e
rsio
n
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Upda
t
e
d
nixpkgs/pkg
s
/
o
s
-spe
c
ific/li
n
ux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated
n
i
x
kp
k
gs/pkgs/os-spe
c
ific/lin
u
x
/dm
t
c
p
/
d
e
vel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
mag
g
esi
Add HO
L
L
i
ght
a
nd
i
ts dep
e
ndencies
.
commit
|
commitdiff
|
tree
2010-02-13
m
aggesi
Add package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
mag
g
esi
Add
new pack
a
ge pkgs/os-specific/linux/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
magg
e
si
F
ix bugs and
i
m
p
rove pkgs/ser
v
e
r
s/
o
penafs-client
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
A
d
d
e
xpres
s
i
o
n for Is
a
be
l
le2009
commit
|
commitdiff
|
tree
2009-12-11
m
a
ggesi
Add expression fo
r
P
r
oofGenera
l
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add exp
r
ess
i
o
n
f
or PolyML
commit
|
commitdiff
|
tree
2009-12-03
mag
g
esi
Fixed
downlo
a
d
url for Unison Fil
e
Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add p
a
ckage O
p
enAFS (a
d
d
e
d fo
r
gotten files)
commit
|
commitdiff
|
tree
2009-11-10
magg
e
si
Add pa
c
kage Open
A
FS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package led
g
er
commit
|
commitdiff
|
tree
2009-11-09
m
a
g
g
e
si
Reintrod
u
ced attribute scsh accid
e
n
tally remov
e
d
in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
a
g
ge
s
i
New v
e
rs
i
on of
cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
magges
i
Add
p
ackages
s
csh, The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
magges
i
Add MIT Kerberos imp
l
em
e
ntati
o
n
krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Preliminary ver
s
i
o
n of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated Coq to
version 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
Added camlp5 the p
r
e
p
r
ocessor
-
pre
t
ty-printer fo
r
OCaml
commit
|
commitdiff
|
tree