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
* Coq: fix compilation of coqide (path to lablgkt)
2011-01-03
m
a
ggesi
* Coq: fix
compilation
o
f c
o
qide (path to lablgkt)
commit
|
commitdiff
|
tree
2011-01-01
maggesi
* Fix building of OC
a
ml on Darwin
.
Gnu sed chang
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
m
a
g
g
esi
*
Handle variable creat
e
F
indli
b
Destdir correctl
y
in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove
u
s
e
less c
o
de
p
ut by error in camom
i
l
e
commit
|
commitdiff
|
tree
2010-12-21
mag
g
es
i
* Add va
r
iab
l
e createFindlibDestdir to the set
u
pHook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remov
e
the autom
a
tic creati
o
n of a d
i
rectory
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
mag
g
esi
* Update lablgt
k
2
(
a
nd
ena
b
le hydr
a
buil
d
)
commit
|
commitdiff
|
tree
2010-12-20
mag
g
e
s
i
*
Update
c
amlp5
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Add findli
b
to hydra
commit
|
commitdiff
|
tree
2010-12-12
m
a
ggesi
* Add ocamlne
t
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Fix instal
l
a
t
io
n
of ca
m
lzi
p
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
take camlz
i
p META
file fro
m
GODI
commit
|
commitdiff
|
tree
2010-12-11
magg
e
si
*
A
dd ocaml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Ena
b
le
h
y
dra bu
i
ld for oc
a
ml-batteri
e
s, caml
z
ip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
a
ggesi
* Put oc
a
ml 3
.
12
.
0
at lo
w
e
r
priorit
y
becau
s
e it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Narr
o
w ocaml plat
f
o
r
ms to linux and darwin
commit
|
commitdiff
|
tree
2010-12-09
magges
i
*
Enable hydra compilation
f
or oc
a
m
l 3
.
11
.
1 (error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
a
g
g
es
i
* Enable h
y
dra
c
ompilati
o
n
f
o
r ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
magg
e
si
*
A
dd
o
c
aml p
a
c
ka
g
e
s
f
i
n
dlib
,
cam
l
zip, ocam
l
-ssl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
*
A
dd ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magg
e
si
Add CMUCL C
o
m
m
on Lis
p
compile
r
commit
|
commitdiff
|
tree
2010-11-04
magg
e
si
Up
d
ate Coq
commit
|
commitdiff
|
tree
2010-11-03
maggesi
Update
HOL Light
commit
|
commitdiff
|
tree
2010-09-22
ma
g
g
esi
Update fossil
commit
|
commitdiff
|
tree
2010-09-15
m
a
gg
e
si
Update
HOL Light to ver
s
ion 201008
2
0
(rev5
7
o
n goo
g
le
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Chang
e
the name of the coq derivation to coq-deve
l
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add
coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Imp
r
ove hol_light:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add a patch to dmtcp to allow the rest
a
rt of che
c
kpointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magges
i
Remov
e
configure file for OCaml 3
.
09
.
1 w
h
i
ch is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
a
ggesi
Include directory for OCam
l
's C heade
r
s
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
U
pdate fossil to version 2010-08-23 22:24
:
16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Im
p
rove
os-s
p
e
c
ific/linux/blcr
.
Fix a pro
b
lem wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
pdate Coq to version 8
.
2pl2 (patch b
y
rocon
n
o
r
)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remov
e
obsolete expression for d
m
tcp-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Up
g
rade dmtcp to v
e
rsion 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
U
pgrad
e
fossil to
version 201
0
-
0
7-03
commit
|
commitdiff
|
tree
2010-05-31
ma
g
g
e
si
Update Fossil to t
h
e new versio
n
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add it
a
lian dictio
n
ary for
aspell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add
package for Foss
i
l
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add myse
l
f to nixpkg
s
/pkgs/lib/
m
ain
t
a
i
ners
.
n
ix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
A
d
d expression
f
o
r
Coq 8
.
3 bet
a
commit
|
commitdiff
|
tree
2010-04-15
magges
i
pk
g
s
/os
-
specific/linux/blcr: update to version
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
magges
i
U
p
d
a
ted
nixpkgs/pkgs/os
-
specific/linux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
m
a
g
g
esi
Upda
t
ed nixkpkgs/pkgs/os-spec
i
fic/linux/d
m
tcp
/
devel
.
n
i
x
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add HOL L
i
ght and its depen
d
enci
e
s
.
commit
|
commitdiff
|
tree
2010-02-13
m
a
ggesi
Add package dmt
c
p_dev
e
l
commit
|
commitdiff
|
tree
2010-02-04
magg
e
si
Add new
p
ackage pkgs/
o
s-s
p
ecifi
c
/lin
u
x/d
m
tc
p
/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
F
i
x bugs and imp
r
ove pkgs/servers/o
p
enaf
s
-c
l
ient
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for Is
a
belle
2
009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for Proo
f
General
commit
|
commitdiff
|
tree
2009-12-10
magge
s
i
Add
e
x
pression f
o
r Po
l
yML
commit
|
commitdiff
|
tree
2009-12-03
mag
g
esi
Fi
x
ed download url for Unison File Syncronize
r
.
commit
|
commitdiff
|
tree
2009-11-10
magges
i
Add package O
p
enAFS (add
e
d
f
orgotten files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Ad
d
packag
e
OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
mag
g
esi
Ad
d
packag
e
le
d
ger
commit
|
commitdiff
|
tree
2009-11-09
m
a
ggesi
Reintroduced attribu
t
e
scsh a
c
cidentally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
mag
g
esi
New versio
n
of cryop
i
d
.
commit
|
commitdiff
|
tree
2009-11-07
m
aggesi
Add
packages sc
s
h, The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
magge
s
i
Add MI
T
K
erbe
r
os impl
e
mentation krb
5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Prelimina
r
y version
o
f
p
ackage ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated Coq to
v
ersion 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
m
aggesi
Adde
d
camlp5 the preprocess
o
r-pre
t
t
y-printer for OCaml
commit
|
commitdiff
|
tree