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
* Coq: fix compilation of co
q
i
d
e (pa
t
h to lablgkt)
commit
|
commitdiff
|
tree
2011-01-01
maggesi
* Fi
x
b
u
i
ldi
n
g
of OCaml on Darwin
.
G
n
u
sed c
h
ang
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
m
a
ggesi
*
H
andl
e
variable creat
e
FindlibDestdir correc
t
l
y
in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
*
R
emove useless code pu
t
by
err
o
r in camomile
commit
|
commitdiff
|
tree
2010-12-21
mag
g
esi
* Add variable createFindlibD
e
stdir to th
e
setupH
o
ok
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Re
m
o
ve the automatic c
r
eation
of a d
i
r
ec
t
o
r
y from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
mag
g
esi
* Update lablgtk2 (and
en
a
ble hyd
r
a bu
i
ld)
commit
|
commitdiff
|
tree
2010-12-20
m
aggesi
* Update caml
p
5
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Add findlib to hydra
commit
|
commitdiff
|
tree
2010-12-12
m
a
ggesi
* Add ocamln
e
t
commit
|
commitdiff
|
tree
2010-12-12
ma
g
gesi
* Fix in
s
tallatio
n
of caml
z
i
p
commit
|
commitdiff
|
tree
2010-12-12
m
a
ggesi
* t
a
ke ca
m
lzip META
file fro
m
GOD
I
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Ad
d
ocaml-s
q
lite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* En
a
ble hydra build for ocaml-batteries,
cam
l
zip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
* Put ocaml
3
.
1
2
.
0 at lower
p
r
i
ority because it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Narrow ocaml platforms to linux and
d
arwin
commit
|
commitdiff
|
tree
2010-12-09
ma
g
gesi
* En
a
ble
hy
d
r
a
compilation
f
or
o
caml 3
.
1
1
.
1 (error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* E
n
able
h
ydra compi
l
ation for
o
caml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* Add oca
m
l packa
g
es findlib,
camlzi
p
, ocaml-
s
s
l, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* Add ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
maggesi
A
d
d
C
M
UCL Common Lisp c
o
mpiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
U
p
date Coq
commit
|
commitdiff
|
tree
2010-11-03
m
a
gg
e
si
Up
d
ate
HOL
Light
commit
|
commitdiff
|
tree
2010-09-22
m
a
gg
e
si
U
p
dat
e
fossil
commit
|
commitdiff
|
tree
2010-09-15
magge
s
i
Update HOL Light to
v
e
rsion 201
0
0820
(
rev5
7
o
n
google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
ma
g
g
e
si
Change the name of t
h
e c
o
q derivati
o
n to coq-
d
e
v
e
l
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
I
mp
r
ove
hol_l
i
ght
:
commit
|
commitdiff
|
tree
2010-09-08
magg
e
s
i
Ad
d
a pa
t
ch to dmtcp
t
o
a
ll
o
w the restart of checkpointe
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Remove co
n
f
i
g
ure file fo
r
OCaml 3
.
0
9
.
1
which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
gesi
Includ
e
direc
t
ory fo
r
O
C
aml's C
headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fo
s
sil to
v
ersion 2010-0
8
-
23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Improv
e
o
s
-
specific/linux/blc
r
.
Fix a
problem wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
Updat
e
Coq to version 8
.
2pl2 (patch
b
y roco
n
nor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsolete expres
s
ion for dmt
c
p-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
U
p
grad
e
dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
ma
g
gesi
Upgrade fossil to
v
e
r
sion 2010-07-0
3
commit
|
commitdiff
|
tree
2010-05-31
magg
e
si
Update Foss
i
l
to the n
e
w version
commit
|
commitdiff
|
tree
2010-05-22
m
aggesi
Add italian dic
t
i
o
nary for
aspell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add
p
a
ck
a
g
e
for Fo
s
sil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Ad
d
mysel
f
to
nixpkgs/pkgs/lib/maintainers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
mag
g
esi
A
dd expression
f
o
r Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-specific/li
n
ux/b
l
cr: update to ver
s
i
on 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkgs/pk
g
s/os-s
p
e
ci
f
ic/
l
inux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Up
d
ated nixkpkg
s
/pkgs/os-specific/linu
x
/
d
mtcp/devel
.
n
i
x
commit
|
commitdiff
|
tree
2010-02-15
ma
g
g
e
si
Add HOL Light and its
d
epe
n
dencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add packa
g
e dmtc
p
_de
v
el
commit
|
commitdiff
|
tree
2010-02-04
m
a
ggesi
Add new package
p
k
gs/os-specific/linux/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fi
x
b
ugs
a
nd i
m
prove pk
g
s/servers/openafs-client
commit
|
commitdiff
|
tree
2009-12-11
magg
e
si
Add expres
s
ion for Isa
b
elle200
9
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expressi
o
n fo
r
ProofGener
a
l
commit
|
commitdiff
|
tree
2009-12-10
m
aggesi
Add expression for
P
olyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed
d
o
wnload
url
for Unis
o
n File Syncr
o
nizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
A
d
d package OpenAFS (added forgotten files)
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
Add
package
Ope
n
AFS
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
A
dd package le
d
ger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintr
o
duced attribute scsh
accid
e
ntally r
e
moved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
aggesi
New version of
cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
Add pac
k
ages scs
h
, Th
e
Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
magges
i
Add MIT Kerberos implementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
mag
g
esi
P
r
elimi
n
ar
y
version of package s
s
ref
l
e
c
t
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated Coq to version 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
mag
g
esi
Added
caml
p
5 t
h
e
preprocessor-pretty-pr
i
nter
for
O
C
aml
commit
|
commitdiff
|
tree