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 CMUCL Common Lisp compiler
2010-11-08
maggesi
Add CMU
C
L Commo
n
Lisp c
o
mpiler
commit
|
commitdiff
|
tree
2010-11-04
ma
g
g
esi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
magg
e
s
i
Update HOL Light
commit
|
commitdiff
|
tree
2010-09-22
maggesi
Update fos
s
il
commit
|
commitdiff
|
tree
2010-09-15
maggesi
U
pdate
H
OL
Light
t
o version 201
0
0820 (
r
ev57 on go
o
gle
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Change the name
of th
e
coq
d
e
ri
v
a
t
ion to coq
-
de
v
el
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
ma
g
gesi
A
dd coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
I
m
pro
v
e ho
l
_
light:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add a
p
atch
t
o d
m
tcp to all
o
w t
h
e r
e
sta
r
t of
c
heckpoi
n
ted
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
gesi
Remove con
f
igu
r
e
file for OCa
m
l 3
.
0
9
.
1 which is
not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
ag
g
esi
I
n
c
lude directory for
O
C
am
l
's C head
e
rs
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update
fossil to version
2
010-08-23 22:24:16
commit
|
commitdiff
|
tree
2010-08-17
magges
i
Improve os-specific
/
linu
x
/blcr
.
Fix a p
r
ob
l
em wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
magges
i
Update Coq
t
o
v
ersion 8
.
2pl2 (
p
atch
b
y
roc
o
nno
r
)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsolete exp
r
e
ssion
for
d
mt
c
p-devel
commit
|
commitdiff
|
tree
2010-08-03
m
a
gge
s
i
Upgr
a
de dmtcp
to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
magge
s
i
Upgrade fossil
t
o v
e
rsio
n
2
0
10-0
7
-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Updat
e
Fossil to the new v
e
rsion
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add ita
l
ia
n
dictionary for aspell
commit
|
commitdiff
|
tree
2010-05-12
magg
e
si
Add package for Fossil
commit
|
commitdiff
|
tree
2010-05-12
mag
g
esi
Add myself to n
i
xpkgs
/
p
k
gs/
l
ib/mai
n
taine
r
s
.
nix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add express
i
on for Coq 8
.
3
b
eta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-
s
peci
f
ic/lin
u
x/blcr: upda
t
e to versio
n
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
magg
e
si
U
p
dated nix
p
k
g
s/pkgs/os
-
specific/l
i
nux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Up
d
ated nixkpkgs/pk
g
s/os-specific/
l
inu
x
/
dmtc
p
/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add HOL Light a
n
d its de
p
endenc
i
e
s
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add p
a
ckage dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add
new
package pkgs/o
s
-
s
pe
c
ific/lin
u
x/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
a
ggesi
Fix bugs and im
p
rove pkgs/s
e
rvers/opena
f
s-client
commit
|
commitdiff
|
tree
2009-12-11
magges
i
Add
expression for Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
A
d
d
expression for P
r
o
o
f
G
eneral
commit
|
commitdiff
|
tree
2009-12-10
mag
g
esi
Add
expression for
PolyML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed download
u
rl for Unison File Syncr
o
nizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
a
g
gesi
Ad
d
pac
k
age OpenAFS (add
e
d forgotten files)
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add packa
g
e OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add package
l
edger
commit
|
commitdiff
|
tree
2009-11-09
magg
e
si
Reintroduced attribute scsh accidentally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
ma
g
gesi
New vers
i
o
n
of cryop
i
d
.
commit
|
commitdiff
|
tree
2009-11-07
m
a
ggesi
Add p
a
c
k
ages scsh, The Sch
e
m
e
Shell
commit
|
commitdiff
|
tree
2009-11-06
magg
e
si
Add MIT Kerb
e
ros imp
l
ement
a
tion
krb5
.
commit
|
commitdiff
|
tree
2009-11-05
m
a
gge
s
i
Pr
e
liminary ver
s
ion
of
p
ackage ssr
e
flect
commit
|
commitdiff
|
tree
2009-11-02
m
a
g
g
es
i
Updated Coq to version
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
ma
g
gesi
Added camlp5 the preprocess
o
r
-p
r
e
t
ty-pri
n
ter f
o
r OCam
l
commit
|
commitdiff
|
tree