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
pkgs/os-specific/linux/blcr: update to version 0.8.2
2010-04-15
magg
e
s
i
pk
g
s/os-specifi
c
/
linux/
b
lcr: update
t
o version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixp
k
gs/pkgs/os-
s
pecifi
c
/linux/dm
t
cp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated nixkpkgs/
p
kg
s
/os-specific/lin
u
x/dmt
c
p/deve
l
.
n
ix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
A
d
d HOL Lig
h
t a
n
d it
s
d
epen
d
encies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add packa
g
e dmt
c
p_dev
e
l
commit
|
commitdiff
|
tree
2010-02-04
mag
g
esi
Add new package pkgs
/
os-s
p
ecific/linu
x
/
d
mtcp/
commit
|
commitdiff
|
tree
2010-02-01
magge
s
i
Fix bugs and i
m
pr
o
v
e
pkgs/servers/openafs-clie
n
t
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression
for Isa
b
elle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expre
s
sion for ProofGe
n
er
a
l
commit
|
commitdiff
|
tree
2009-12-10
m
aggesi
Add
expr
e
ssion for PolyML
commit
|
commitdiff
|
tree
2009-12-03
m
a
g
g
esi
Fixed
d
ownload url for Unison File Syncronize
r
.
commit
|
commitdiff
|
tree
2009-11-10
ma
g
gesi
Add
p
acka
g
e O
p
enAFS (add
e
d
forgotten files)
commit
|
commitdiff
|
tree
2009-11-10
mag
g
esi
Add
package OpenAF
S
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add p
a
c
k
age led
g
er
commit
|
commitdiff
|
tree
2009-11-09
magges
i
Reintr
o
d
u
ced
a
t
tribute sc
s
h acci
d
en
t
ally r
e
moved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
magge
s
i
New version of cr
y
opid
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
Add packages sc
s
h, The Scheme
S
h
ell
commit
|
commitdiff
|
tree
2009-11-06
ma
g
gesi
Add MIT Ke
r
b
ero
s
impl
e
mentation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
m
aggesi
Preliminary versio
n
of
p
ackage ssre
f
lec
t
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updat
e
d C
o
q to ver
s
ion 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
A
d
d
e
d
camlp5 the
p
reprocessor-pretty-printer for OCaml
commit
|
commitdiff
|
tree