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 expression for PolyML
2009-12-10
maggesi
Add expression for PolyM
L
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed down
l
oad url
for Unison File Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAF
S
(
add
e
d
f
orgotten files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pac
k
a
g
e
O
penAF
S
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add p
a
ckage le
d
g
e
r
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintroduced
att
r
ibu
t
e
s
csh
a
cci
d
entally
r
emo
v
ed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
agge
s
i
New version
o
f cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
m
a
ggesi
Add pack
a
g
es scsh, The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
a
g
gesi
Add MIT
K
erbe
r
os
imple
m
entation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
magges
i
Preliminary v
e
rsion o
f
package
s
sreflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
U
p
dated Coq to version 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Add
e
d camlp5
t
he prepro
c
esso
r
-pr
e
tty-printer for OCa
m
l
commit
|
commitdiff
|
tree