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
Upgrade dmtcp to version 1.1.8
2010-08-03
m
a
gg
e
si
Upgrade dmtcp to versio
n
1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
U
pgrade f
o
ssil to
v
ersion 2
0
10-07-03
commit
|
commitdiff
|
tree
2010-05-31
m
aggesi
Updat
e
Fo
s
s
i
l
to the new version
commit
|
commitdiff
|
tree
2010-05-22
magges
i
A
dd italian dictiona
r
y
f
or
a
s
p
e
l
l
commit
|
commitdiff
|
tree
2010-05-12
magges
i
Add package for Fossil
commit
|
commitdiff
|
tree
2010-05-12
m
aggesi
Add myse
l
f
t
o ni
x
p
k
gs/pk
g
s/li
b
/maintainers
.
n
ix
commit
|
commitdiff
|
tree
2010-05-11
magg
e
si
Ad
d
expression
f
or Coq
8
.
3 be
t
a
commit
|
commitdiff
|
tree
2010-04-15
magge
s
i
pkgs/os-specific/lin
u
x/
b
lcr
:
upda
t
e to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
magg
e
si
Updated
n
i
x
p
kgs/pkg
s
/os-speci
f
ic/linu
x
/d
m
t
c
p
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated nixkpkgs/pkgs/os-specific/linu
x
/d
m
tcp/d
e
vel
.
n
i
x
commit
|
commitdiff
|
tree
2010-02-15
magg
e
si
Add HOL Light and its dep
e
ndenc
i
es
.
commit
|
commitdiff
|
tree
2010-02-13
ma
g
gesi
Add package d
m
tcp_de
v
el
commit
|
commitdiff
|
tree
2010-02-04
mag
g
es
i
Add
ne
w
package pkg
s
/
o
s
-
spe
c
i
fic/linux/dm
t
cp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bugs and improve pkgs/serv
e
rs/o
p
e
na
f
s-client
commit
|
commitdiff
|
tree
2009-12-11
magg
e
si
Ad
d
expressi
o
n for Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
mag
g
esi
Ad
d
e
xpression for ProofGener
a
l
commit
|
commitdiff
|
tree
2009-12-10
maggesi
A
dd
e
xpr
e
ssion f
o
r
P
olyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed dow
n
load ur
l
for Unison File Syncr
o
nizer
.
commit
|
commitdiff
|
tree
2009-11-10
ma
g
gesi
Ad
d
package O
p
enAFS (a
d
ded forgot
t
en f
i
l
e
s)
commit
|
commitdiff
|
tree
2009-11-10
m
a
g
gesi
Ad
d
package OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add package le
d
ger
commit
|
commitdiff
|
tree
2009-11-09
m
aggesi
Reint
r
o
d
u
c
ed attribu
t
e scsh accidentally
r
emov
e
d in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
ma
g
gesi
New version of
cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
Add packag
e
s scsh, The
S
cheme She
l
l
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT
K
erb
e
ros implem
e
n
t
a
t
ion krb5
.
commit
|
commitdiff
|
tree
2009-11-05
magg
e
si
Preliminary version of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Up
d
ated Coq to version
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
m
aggesi
Added camlp5
the preprocess
o
r-pretty-printer
f
or
O
Caml
commit
|
commitdiff
|
tree
