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
ma
g
gesi
Add HOL L
i
gh
t
and
its dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
m
a
gge
s
i
Add
p
ackage
dmt
c
p_devel
commit
|
commitdiff
|
tree
2010-02-04
mag
g
e
si
A
dd n
e
w
packag
e
pkgs/os-specific/linux
/
dmtc
p
/
commit
|
commitdiff
|
tree
2010-02-01
magg
e
si
F
i
x bugs and im
p
rov
e
pkgs/s
e
r
v
ers/opena
f
s-clie
n
t
commit
|
commitdiff
|
tree
2009-12-11
mag
g
esi
Add expres
s
ion for Isab
e
lle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for Proof
G
eneral
commit
|
commitdiff
|
tree
2009-12-10
m
ag
g
esi
Add expression for PolyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed download
url for Unison
F
ile Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add package OpenAFS
(
added forgot
t
en file
s
)
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
Add
package Open
A
FS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pack
a
ge ledger
commit
|
commitdiff
|
tree
2009-11-09
ma
g
gesi
Rein
t
roduced attribute scs
h
accid
e
ntally
r
e
moved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
magge
s
i
N
ew version of cr
y
opid
.
commit
|
commitdiff
|
tree
2009-11-07
m
aggesi
A
d
d packages scs
h
, The
Scheme Shel
l
commit
|
commitdiff
|
tree
2009-11-06
m
a
ggesi
A
dd MI
T
Kerber
o
s implementation krb
5
.
commit
|
commitdiff
|
tree
2009-11-05
magge
s
i
Prelimi
n
ary version of
pac
k
age
s
sreflec
t
commit
|
commitdiff
|
tree
2009-11-02
maggesi
U
p
dated Coq t
o
versi
o
n 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
mag
g
esi
Added
c
amlp5 the preproces
s
or-p
r
etty-printer
fo
r
OCaml
commit
|
commitdiff
|
tree