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
* Add findlib to hydra
2010-12-20
maggesi
* Add findli
b
to hydra
commit
|
commitdiff
|
tree
2010-12-12
mag
g
es
i
* Ad
d
oca
m
ln
e
t
commit
|
commitdiff
|
tree
2010-12-12
ma
g
gesi
* Fix installatio
n
of camlzip
commit
|
commitdiff
|
tree
2010-12-12
magges
i
* take camlzip M
E
TA file from GODI
commit
|
commitdiff
|
tree
2010-12-11
m
a
g
gesi
* Add ocaml
-
sqlite3
commit
|
commitdiff
|
tree
2010-12-11
magges
i
* Enab
l
e
hydra build f
o
r
ocaml-batteries, camlz
i
p,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Put ocaml 3
.
12
.
0 at
l
ower priority
because
i
t is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* N
a
r
row ocaml platforms to linux and
d
a
rw
i
n
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Enable hydra compilation for ocaml 3
.
11
.
1
(error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* E
n
able
hy
d
ra compil
a
tion for ocaml 3
.
1
1
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* A
d
d ocaml packages findlib
,
camlzip,
o
c
a
ml-
s
sl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* A
d
d
ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
maggesi
Add CMU
C
L
Common
L
isp compil
e
r
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
magg
e
si
Upda
t
e HOL L
i
ght
commit
|
commitdiff
|
tree
2010-09-22
maggesi
Up
d
a
te foss
i
l
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Upd
a
te HO
L
L
ight
t
o
v
ersion 2
0
1
00820 (rev
5
7 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Cha
n
ge th
e
name of the
c
oq de
r
i
vation to coq-de
v
el
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add c
o
q-8
.
3rc
1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Improve
h
ol_light:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add a
p
atch to dmtcp to al
l
ow the r
e
start of
c
h
e
c
kpoin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magg
e
si
Remove configure
f
ile
for O
C
a
m
l
3
.
09
.
1 which
i
s no
t
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magg
e
si
Inclu
d
e dir
e
ctory for OCa
m
l
'
s C head
e
rs
.
commit
|
commitdiff
|
tree
2010-08-26
mag
g
e
s
i
Update fos
s
il
to version 2010-
0
8-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
magg
e
si
Improve os-s
p
e
c
ific
/
linux/
b
lcr
.
Fix
a
problem
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
magge
s
i
U
p
d
a
te Coq
to vers
i
o
n
8
.
2pl2
(
patch b
y
roconno
r
)
commit
|
commitdiff
|
tree
2010-08-04
mag
g
e
s
i
Re
m
o
ve obs
o
lete
e
x
pres
s
ion for dmtc
p
-deve
l
commit
|
commitdiff
|
tree
2010-08-03
mag
g
esi
Upgrade dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
mag
g
esi
Upgrad
e
f
o
ssil to vers
i
on 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update
F
ossil to the new vers
i
on
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add
ita
l
ian dictionary for asp
e
ll
commit
|
commitdiff
|
tree
2010-05-12
maggesi
A
d
d pac
k
a
ge for Fossil
commit
|
commitdiff
|
tree
2010-05-12
magges
i
Add mys
e
lf to nixpkgs/pkg
s
/lib
/
maintainers
.
n
ix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression for Co
q
8
.
3 bet
a
commit
|
commitdiff
|
tree
2010-04-15
m
a
gge
s
i
pkgs/o
s
-s
p
ecific/linux/bl
c
r: u
p
d
a
te
to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkgs/p
k
gs/
o
s-specific/linu
x
/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
m
aggesi
U
p
dated nixkpkgs/pkgs/os-sp
e
cific/li
n
ux/dmtcp/deve
l
.
n
ix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add
HOL Lig
h
t and
i
ts
dependen
c
ies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add p
a
ckage dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add
n
ew package pkgs/os-specific/linux/
d
mt
c
p/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix
b
ugs
a
n
d
improve pkgs/server
s
/openafs
-
c
l
ient
commit
|
commitdiff
|
tree
2009-12-11
ma
g
gesi
Add expr
e
ssion for I
s
abel
l
e20
0
9
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add
e
x
p
ression
f
or
P
roo
f
General
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add expressi
o
n f
o
r
P
o
l
y
ML
commit
|
commitdiff
|
tree
2009-12-03
magg
e
s
i
Fixed download url for Unison File Syn
c
roni
z
er
.
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add package Open
A
F
S
(added
f
orgotte
n
file
s
)
commit
|
commitdiff
|
tree
2009-11-10
magges
i
Ad
d
package OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Ad
d
package led
g
er
commit
|
commitdiff
|
tree
2009-11-09
mag
g
es
i
Reintroduce
d
att
r
ibute scsh accidenta
l
ly removed i
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
ma
g
gesi
Ne
w
version of cryo
p
i
d
.
commit
|
commitdiff
|
tree
2009-11-07
ma
g
gesi
Add packag
e
s scsh
,
The
Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
agge
s
i
A
d
d
MIT Ker
b
eros
im
p
lementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
magge
s
i
P
r
eliminary version of pac
k
age s
s
reflect
commit
|
commitdiff
|
tree
2009-11-02
ma
g
g
esi
Updated Coq
t
o
v
ersion 8
.
2
p
l1
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
Added camlp5 the preprocessor-pretty-pri
n
t
e
r f
o
r OCaml
commit
|
commitdiff
|
tree