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 HOL Light and its dependencies.
2010-02-15
m
a
g
gesi
Add HOL Light an
d
its dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Ad
d
package
d
mtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
ma
g
gesi
Add new package pkgs/os-specifi
c
/linux/dmtc
p
/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bug
s
and improve
p
kgs/ser
v
ers/op
e
nafs-client
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expre
s
s
i
on for Isabe
l
le2
0
09
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for ProofGeneral
commit
|
commitdiff
|
tree
2009-12-10
magge
s
i
Add expression for PolyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fi
x
ed download url for Uniso
n
F
ile S
y
ncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package
O
p
e
nAFS (added forgotte
n
files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
A
d
d package OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
m
agg
e
si
A
d
d package l
e
dger
commit
|
commitdiff
|
tree
2009-11-09
magg
e
si
Reintroduced attribute sc
s
h
acciden
t
all
y
re
m
oved
in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
N
ew v
e
r
s
ion of
c
ryopi
d
.
commit
|
commitdiff
|
tree
2009-11-07
mag
g
es
i
A
dd package
s
scsh, The
Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
agge
s
i
Add MI
T
Kerberos im
p
leme
n
t
ation k
r
b
5
.
commit
|
commitdiff
|
tree
2009-11-05
m
a
ggesi
Preliminary version of
package ss
r
e
f
lect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
U
p
dated Coq t
o
v
e
rs
i
on
8
.
2
pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added ca
m
lp5 the p
r
e
p
rocesso
r
-pretty-pri
n
te
r
for
O
Caml
commit
|
commitdiff
|
tree