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
* take camlzip META file from GODI
2010-12-12
m
agg
e
si
* take
camlz
i
p MET
A
file from GODI
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Add ocaml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
magges
i
*
E
nab
l
e hydra build
f
or oc
a
ml-batter
i
e
s,
camlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
P
ut ocaml 3
.
12
.
0 at lower
priority becau
s
e it
i
s
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
ma
g
gesi
* Narr
o
w
ocaml pla
t
forms to linux and darwin
commit
|
commitdiff
|
tree
2010-12-09
magg
e
si
* Enab
l
e hydr
a
compila
t
i
on for oca
m
l
3
.
11
.
1
(
error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magg
e
si
*
E
nable hydra comp
i
lat
i
o
n fo
r
ocaml
3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
*
Add ocaml packages f
i
ndlib,
c
amlzip
,
ocaml-ssl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* A
d
d ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
m
a
ggesi
A
d
d
C
MUCL Common Lis
p
compiler
commit
|
commitdiff
|
tree
2010-11-04
maggesi
U
p
date
Coq
commit
|
commitdiff
|
tree
2010-11-03
magge
s
i
Update HO
L
L
igh
t
commit
|
commitdiff
|
tree
2010-09-22
m
a
ggesi
Update fossil
commit
|
commitdiff
|
tree
2010-09-15
magge
s
i
Upda
t
e HOL Light to version 20100820 (rev57 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
m
agge
s
i
C
hange the n
a
me of t
h
e coq derivation to coq-
d
evel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
ma
g
gesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Improve
h
o
l_ligh
t
:
commit
|
commitdiff
|
tree
2010-09-08
magges
i
Add
a patch
t
o dm
t
c
p to allow
t
he
restart of checkpointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
mag
g
es
i
Rem
o
ve config
u
r
e file
f
o
r
O
Caml 3
.
09
.
1 whi
c
h is n
o
t
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magges
i
I
nclude d
i
rectory
for OCaml's C hea
d
e
r
s
.
commit
|
commitdiff
|
tree
2010-08-26
magge
s
i
Update
f
ossil
to version 2010-08-
2
3 22:24:1
6
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Improve
o
s-spe
c
ific/
l
inu
x
/blcr
.
Fi
x
a
pr
o
blem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
m
a
ggesi
Update
Coq t
o
version 8
.
2pl2 (p
a
tch by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
m
aggesi
Re
m
ove obsolete expre
s
si
o
n
f
o
r dmtcp-d
e
vel
commit
|
commitdiff
|
tree
2010-08-03
magg
e
si
Upgr
a
de dmtcp to ver
s
i
on
1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
magg
e
si
U
pgra
d
e
fossil to version 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
magge
s
i
Update Fossil to the new version
commit
|
commitdiff
|
tree
2010-05-22
magg
e
si
Add
i
tal
i
an dictiona
r
y for asp
e
ll
commit
|
commitdiff
|
tree
2010-05-12
maggesi
A
d
d package for Fossi
l
commit
|
commitdiff
|
tree
2010-05-12
mag
g
esi
Add mys
e
lf to nixpkgs/pkgs/lib/maintainers
.
ni
x
commit
|
commitdiff
|
tree
2010-05-11
mag
g
esi
A
d
d expression for
C
oq
8
.
3
beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-specifi
c
/li
n
ux/bl
c
r: update to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated n
i
xpkgs/pkgs/os-specific
/
linux/dmt
c
p
commit
|
commitdiff
|
tree
2010-02-18
m
agge
s
i
Updated nixkpkgs/pkgs/os-specific/linux/dmtcp/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
magges
i
Add HOL Light and its
d
ep
e
nde
n
cies
.
commit
|
commitdiff
|
tree
2010-02-13
m
a
ggesi
Add package d
m
tcp_de
v
el
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Ad
d
new
pack
a
ge
p
kgs/o
s
-specif
i
c/
l
inux/dmtc
p
/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
F
i
x
bugs and i
m
prove pkg
s
/servers/ope
n
af
s
-client
commit
|
commitdiff
|
tree
2009-12-11
m
a
g
gesi
Add
e
xpress
i
on fo
r
Isab
e
ll
e
2
0
09
commit
|
commitdiff
|
tree
2009-12-11
magge
s
i
A
dd
e
xp
r
ess
i
on for
P
roofGe
n
eral
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Ad
d
expression for PolyML
commit
|
commitdiff
|
tree
2009-12-03
magges
i
F
ixe
d
download
u
rl for Unison Fi
l
e Syn
c
ron
i
zer
.
commit
|
commitdiff
|
tree
2009-11-10
m
ag
g
e
s
i
Ad
d
package OpenAFS (added forg
o
tten fi
l
es)
commit
|
commitdiff
|
tree
2009-11-10
ma
g
ges
i
Add package Op
e
nAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add
p
ackage
l
edger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Rei
n
tr
o
duced at
t
ri
b
u
t
e
scsh accidentally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
magg
e
si
N
ew version of
cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
ma
g
gesi
Add packages scsh, The
S
cheme Shell
commit
|
commitdiff
|
tree
2009-11-06
ma
g
gesi
A
d
d MIT Kerberos implementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Preli
m
inary
v
ersion of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
magges
i
Up
d
ated Coq to v
e
r
s
i
o
n 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
A
dde
d
camlp5 the
p
reproc
e
s
s
or-pretty-printer
f
or O
C
aml
commit
|
commitdiff
|
tree
