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
magge
s
i
*
Coq: fix compilat
i
on of coqid
e
(path to la
b
lgkt)
commit
|
commitdiff
|
tree
2011-01-01
mag
g
esi
*
F
ix
b
uilding of
OCaml
on Darwin
.
G
n
u se
d
c
hanged
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
m
a
g
ge
s
i
*
H
a
ndle va
r
iable
createFindl
i
b
Destdi
r
corre
c
tly in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove use
l
e
ss code put by error in cam
o
mile
commit
|
commitdiff
|
tree
2010-12-21
magg
e
si
*
Add variable crea
t
eFindlibDestdir
t
o the setupHook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
magge
s
i
* Remove the automatic creation of a di
r
ectory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
m
agges
i
* Update lablgtk
2
(and e
n
able hy
d
ra build
)
commit
|
commitdiff
|
tree
2010-12-20
m
aggesi
*
U
pdate camlp5
commit
|
commitdiff
|
tree
2010-12-20
mag
g
esi
* Add fin
d
l
i
b
to hydr
a
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Add ocamlne
t
commit
|
commitdiff
|
tree
2010-12-12
magge
s
i
* Fix install
a
ti
o
n of camlz
i
p
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
t
a
ke camlz
i
p
META f
i
le
f
r
o
m
GODI
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
A
dd oca
m
l-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
E
nable hydra build for ocaml-ba
t
teries, ca
m
lzi
p
,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
*
P
u
t
ocaml 3
.
1
2
.
0 at lower priori
t
y
because it
i
s
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
a
g
gesi
* Narrow ocaml platforms to l
i
nux a
n
d darwin
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* En
a
ble hydra compilation for ocaml 3
.
11
.
1 (err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
a
gg
e
s
i
* Enable h
y
dra comp
i
l
a
ti
o
n for ocam
l
3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
*
A
d
d ocaml
p
acka
g
e
s
findlib, camlz
i
p
,
ocam
l
-
ssl, ocam
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add oca
m
l 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
maggesi
A
d
d CMUCL Common Lisp
c
ompiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
maggesi
Update H
O
L Li
g
ht
commit
|
commitdiff
|
tree
2010-09-22
mag
g
esi
Update
f
os
s
il
commit
|
commitdiff
|
tree
2010-09-15
magg
e
si
Update HOL Light to versio
n
20100820
(
rev57
o
n google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
mag
g
esi
Change
t
h
e name of the
c
o
q
d
e
ri
v
ation
to coq-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
m
a
gges
i
Imp
r
ove hol_light:
commit
|
commitdiff
|
tree
2010-09-08
magges
i
Add a patch to dmtcp to al
l
ow the res
t
ar
t
o
f
checkpointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magg
e
si
Remove
configu
r
e f
i
le for OCam
l
3
.
09
.
1 which is
not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
g
esi
Include director
y
for O
C
aml's
C
headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fossil to version 2010-08
-
23 22:24:
1
6
commit
|
commitdiff
|
tree
2010-08-17
magg
e
s
i
Improve o
s
-specific/linux/
b
lcr
.
Fix a p
r
o
b
l
em with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
p
date C
o
q to v
e
rsion
8
.
2pl
2
(patch by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsolete e
x
p
r
ession for dmtcp-de
v
el
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgrade dmtcp to
version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgra
d
e fossil
t
o
ve
r
si
o
n 2010-0
7
-03
commit
|
commitdiff
|
tree
2010-05-31
m
ag
g
esi
Update Fossil
t
o t
h
e new v
e
r
s
ion
commit
|
commitdiff
|
tree
2010-05-22
m
agg
e
s
i
Add itali
a
n
d
ictionary for aspell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Ad
d
p
ackage for
F
ossil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add myself
to
n
ixpkgs/pkgs/lib/mainta
i
ners
.
nix
commit
|
commitdiff
|
tree
2010-05-11
mag
g
e
si
Add
e
xpr
e
ssion
for
C
oq 8
.
3
beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
p
k
gs/os-sp
e
cific/linux/blcr: updat
e
to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkg
s
/p
k
gs/os-specific/linux/d
m
t
c
p
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Up
d
at
e
d nixkpkgs/pkg
s
/os-spec
i
fic/linu
x
/dmtcp/
d
evel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add HOL L
i
ght and its dependen
c
ies
.
commit
|
commitdiff
|
tree
2010-02-13
m
a
gges
i
A
d
d packa
g
e dm
t
cp_d
e
vel
commit
|
commitdiff
|
tree
2010-02-04
m
ag
g
esi
Add new package pkgs/os-specific/linu
x
/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
a
ggesi
Fix bugs and
i
mprove pkgs/se
r
v
ers/open
a
fs-client
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
Add expression
for Isabe
l
le2009
commit
|
commitdiff
|
tree
2009-12-11
magg
e
s
i
A
d
d expression for ProofGeneral
commit
|
commitdiff
|
tree
2009-12-10
magges
i
Add express
i
on for PolyM
L
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fix
e
d download url for Unison
F
i
l
e
Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS (added forg
o
tt
e
n files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add
p
a
c
kage OpenAF
S
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pack
a
ge ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintroduced at
t
ribute s
c
sh
accidentally r
e
moved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
aggesi
New version
of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
mag
g
esi
A
d
d
packages sc
s
h
,
The
S
c
h
eme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
a
gge
s
i
Add MIT Kerberos implementa
t
i
on krb5
.
commit
|
commitdiff
|
tree
2009-11-05
magg
e
s
i
Prel
i
minary
ver
s
ion of p
a
ckage ssref
l
e
ct
commit
|
commitdiff
|
tree
2009-11-02
ma
g
gesi
Updated Coq
t
o version 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added camlp5 t
h
e pre
p
rocessor-pret
t
y-printer
for OCaml
commit
|
commitdiff
|
tree