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 for Fo
s
sil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add myself to nixpkgs/
p
k
g
s/lib/maintain
e
rs
.
nix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression for Coq
8
.
3 bet
a
commit
|
commitdiff
|
tree
2010-04-15
m
agg
e
si
pkgs/os-specifi
c
/linu
x
/
b
lcr:
u
pda
t
e to version
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
m
aggesi
Updated n
i
xpkgs/pkgs/
o
s-specific/linux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Update
d
ni
x
kpkgs/pkgs/os-specific
/
linux
/
dmtcp
/
devel
.
n
ix
commit
|
commitdiff
|
tree
2010-02-15
magges
i
Add HOL
L
ight
a
n
d
i
t
s d
e
pendencies
.
commit
|
commitdiff
|
tree
2010-02-13
mag
g
esi
Add packa
g
e dmtcp_dev
e
l
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add new
package pkgs/os-
s
p
e
cif
i
c/linux
/
dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bug
s
and
i
mprove
p
kg
s
/servers/openaf
s
-client
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add
e
x
pression
f
or Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add exp
r
ession for
Pro
o
f
G
enera
l
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add expr
e
ssion for PolyML
commit
|
commitdiff
|
tree
2009-12-03
magg
e
si
F
i
xed download url
for U
n
ison File Syn
c
ron
i
zer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS (a
d
d
e
d
forgo
t
ten files)
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add packag
e
OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Ad
d
p
a
ckag
e
l
e
dger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintrodu
c
e
d attri
b
ute
s
csh
acc
i
dentall
y
r
emoved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
New
v
e
r
sion of
cryo
p
id
.
commit
|
commitdiff
|
tree
2009-11-07
magge
s
i
Add
pac
k
ages scs
h
,
The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Ke
r
beros
i
mplementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Preli
m
inary
v
ers
i
o
n
of p
a
ckage ss
r
e
f
lect
commit
|
commitdiff
|
tree
2009-11-02
ma
g
gesi
Up
d
ated Coq to ve
r
sio
n
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added camlp5 the
p
reprocessor-pretty-printer for OCaml
commit
|
commitdiff
|
tree