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 package for Fossil
2010-05-12
maggesi
Add package
f
or Fo
s
sil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Ad
d
myself to nixpkgs/pkgs/l
i
b/maintainers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expressi
o
n for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
ma
g
ge
s
i
pk
g
s/o
s
-specific/
l
inux/
b
lcr: update t
o
version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
m
aggesi
Upda
t
ed n
i
xpkgs/
p
kgs/os-spec
i
fic/linux/
d
mtcp
commit
|
commitdiff
|
tree
2010-02-18
ma
g
g
e
si
Updated nixkpk
g
s/pkgs/
o
s-sp
e
cific/l
i
nux
/
dmt
c
p/dev
e
l
.
nix
commit
|
commitdiff
|
tree
2010-02-15
ma
g
gesi
Add HOL
L
ight a
n
d
i
t
s depe
n
dencies
.
commit
|
commitdiff
|
tree
2010-02-13
magge
s
i
Add package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
m
a
ggesi
Add
n
e
w package
p
k
gs/o
s
-
speci
f
i
c
/linux/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
a
ggesi
F
i
x
b
ugs
and
i
m
p
r
ove pkgs/se
r
vers/op
e
nafs-clie
n
t
commit
|
commitdiff
|
tree
2009-12-11
ma
g
gesi
Add exp
r
ession for Is
a
belle2009
commit
|
commitdiff
|
tree
2009-12-11
mag
g
esi
Add expressi
o
n f
o
r Proof
G
eneral
commit
|
commitdiff
|
tree
2009-12-10
maggesi
A
d
d expression for Poly
M
L
commit
|
commitdiff
|
tree
2009-12-03
mag
g
e
s
i
F
ixed down
l
oad url
for Unison Fi
l
e Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
agg
e
si
A
d
d
p
ackage
Open
A
FS (added forgotten f
i
les)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
A
d
d package
Ope
n
AF
S
commit
|
commitdiff
|
tree
2009-11-10
mag
g
e
si
Add pac
k
age ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintroduced attribute scsh accidentally remov
e
d in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
ma
g
gesi
New version of
cr
y
op
i
d
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
A
dd packages scsh, The
S
c
heme Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Kerber
o
s
i
mple
m
e
n
tation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Prelim
i
nar
y
vers
i
on of pac
k
age s
s
reflect
commit
|
commitdiff
|
tree
2009-11-02
magg
e
si
Updat
e
d Coq to
v
er
s
ion
8
.
2p
l
1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Ad
d
e
d camlp5 the preprocessor-pretty-
p
ri
n
ter for O
C
aml
commit
|
commitdiff
|
tree