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 coq-8.3rc1
2010-09-14
magges
i
Add coq-8
.
3
r
c1
commit
|
commitdiff
|
tree
2010-09-08
m
a
ggesi
Improve hol_light:
commit
|
commitdiff
|
tree
2010-09-08
magg
e
si
A
dd a patc
h
t
o
dmtcp to allow
the
restart of chec
k
point
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
ges
i
R
emove con
f
igure file
for OCaml 3
.
09
.
1 whic
h
is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
agg
e
si
Include dir
e
c
t
ory for
O
C
aml's
C headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Upd
a
te f
o
ssil t
o
versio
n
201
0
-08-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
ma
g
ge
s
i
Improve os-speci
f
ic/linux/blcr
.
Fi
x
a problem wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
pd
a
t
e
Coq to version 8
.
2pl2 (patch
by roconn
o
r)
commit
|
commitdiff
|
tree
2010-08-04
mag
g
esi
R
e
mo
v
e ob
s
olete expre
s
sion for dmtcp-de
v
el
commit
|
commitdiff
|
tree
2010-08-03
magge
s
i
Upgrade dmtcp t
o
version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgrade fossil
to versi
o
n
2
010-07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Up
d
ate Fossil to the new version
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add ital
i
an dicti
o
nary f
o
r aspell
commit
|
commitdiff
|
tree
2010-05-12
ma
g
gesi
Add pack
a
ge for Fossil
commit
|
commitdiff
|
tree
2010-05-12
mag
g
e
s
i
A
d
d myself
t
o
n
i
xpkgs/pkgs/l
i
b/maintainers
.
ni
x
commit
|
commitdiff
|
tree
2010-05-11
magg
e
si
A
d
d expression
f
or Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
magge
s
i
pkgs
/
os-specific/lin
u
x
/
b
lcr: update
t
o
version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpk
g
s/
p
k
g
s/os-
s
pec
i
fic/li
n
u
x
/
dmtcp
commit
|
commitdiff
|
tree
2010-02-18
magg
e
si
Updated nix
k
pkg
s
/pkgs
/
o
s-spe
c
ific/linux/dmtcp/d
e
ve
l
.
nix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add HOL Li
g
ht and its dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
mag
g
e
s
i
Add package d
m
tc
p
_devel
commit
|
commitdiff
|
tree
2010-02-04
magges
i
Add new p
a
ck
a
ge pkgs/os
-
s
peci
f
i
c/linux
/
d
m
tcp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bugs an
d
im
p
rove pkgs/servers/openafs-
c
l
i
ent
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression fo
r
Is
a
belle2009
commit
|
commitdiff
|
tree
2009-12-11
magges
i
A
dd expression for Proof
G
eneral
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add expre
s
sion for Pol
y
ML
commit
|
commitdiff
|
tree
2009-12-03
mag
g
esi
F
ixed download
url for Unison
Fi
l
e Syncroniz
e
r
.
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Ad
d
pac
k
a
ge Ope
n
AFS (a
d
d
ed forgotten files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAF
S
commit
|
commitdiff
|
tree
2009-11-10
mag
g
esi
Add
p
ackage
ledger
commit
|
commitdiff
|
tree
2009-11-09
m
aggesi
Reintroduced attribute sc
s
h acc
i
de
n
tally
removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
mag
g
esi
New v
e
rsion of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
m
a
ggesi
Add
p
acka
g
es
scsh, The Sc
h
e
me
Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Ker
b
eros impl
e
men
t
a
t
ion krb
5
.
commit
|
commitdiff
|
tree
2009-11-05
m
ag
g
esi
Prelimin
a
ry v
e
rsio
n
o
f p
a
ckag
e
ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated Coq to version 8
.
2p
l
1
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
Added camlp5 the preprocessor-prett
y
-
printer
f
or OCaml
commit
|
commitdiff
|
tree