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 coq-8.3rc1
2010-09-14
magges
i
Add
c
oq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
m
a
g
g
esi
Improve h
o
l_
l
ight:
commit
|
commitdiff
|
tree
2010-09-08
m
agge
s
i
Add a pat
c
h to dmtcp to
a
llow
t
he r
e
start of checkpointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
R
e
move confi
g
ure file f
o
r O
C
aml 3
.
0
9
.
1
w
h
ic
h
is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
aggesi
Include directory
for OCa
m
l's C headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update fossil to versio
n
201
0
-08-
2
3 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Improve
os-speci
f
ic/linux/blcr
.
Fi
x
a problem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
Update Coq
to v
e
rsion 8
.
2pl2 (pa
t
ch by r
o
conno
r
)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
R
e
move ob
s
olet
e
e
xpression
f
or dmtcp-de
v
el
commit
|
commitdiff
|
tree
2010-08-03
m
a
g
g
esi
Upgrade
d
mtcp t
o
versio
n
1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
U
pgrad
e
f
o
s
sil to
ve
r
sion 2010-07-0
3
commit
|
commitdiff
|
tree
2010-05-31
m
a
gg
e
si
Upd
a
te Fossil t
o
the new ve
r
s
i
on
commit
|
commitdiff
|
tree
2010-05-22
mag
g
esi
Add italian dictionary for aspel
l
commit
|
commitdiff
|
tree
2010-05-12
m
aggesi
Ad
d
package fo
r
Fossil
commit
|
commitdiff
|
tree
2010-05-12
m
a
g
ges
i
Ad
d
mysel
f
to nixpkgs/pkgs/lib/mai
n
tai
n
e
r
s
.
nix
commit
|
commitdiff
|
tree
2010-05-11
m
a
g
gesi
Add expression for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
mag
g
esi
pk
g
s/
o
s-spec
i
fic/l
i
nux
/
b
l
cr: update to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Update
d
nix
p
k
g
s/pkgs/os-spe
c
ific/linux/d
m
tcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updat
e
d nixkpkgs/pkgs/os-specific
/
linux
/
dmtcp/deve
l
.
nix
commit
|
commitdiff
|
tree
2010-02-15
magg
e
si
A
dd
H
OL Light and its de
p
endencies
.
commit
|
commitdiff
|
tree
2010-02-13
magge
s
i
Ad
d
package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
magg
e
si
Add
new pa
c
kage pk
g
s/os
-
specific/linu
x
/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bugs and improv
e
pkgs/servers/ope
n
afs-client
commit
|
commitdiff
|
tree
2009-12-11
m
a
ggesi
Add expression for Isabelle
2
009
commit
|
commitdiff
|
tree
2009-12-11
mag
g
esi
Add expression for
ProofGeneral
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add exp
r
es
s
i
o
n for Po
l
y
ML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed download url for Unis
o
n Fil
e
Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS (added forgott
e
n fil
e
s)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package Ope
n
AFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pac
k
age
le
d
g
e
r
commit
|
commitdiff
|
tree
2009-11-09
ma
g
gesi
Reintro
d
uced attribute scsh accidentall
y
removed
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
New version
of cr
y
opid
.
commit
|
commitdiff
|
tree
2009-11-07
maggesi
Add pac
k
age
s
scsh, T
h
e
Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
m
aggesi
Add MIT Kerb
e
ros impleme
n
tati
o
n krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Prel
i
minary ve
r
sion o
f
pack
a
ge ssre
f
lect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Updated
Coq t
o
versio
n
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added c
a
mlp5 th
e
preprocessor-pretty-printer for OCaml
commit
|
commitdiff
|
tree