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
Remove configure file for OCaml 3.09.1 which is not used anymore.
2010-09-03
magge
s
i
Remove configure file for
O
Caml 3
.
09
.
1 which is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magg
e
si
I
nclude d
i
rec
t
ory
f
or OCaml's C
headers
.
commit
|
commitdiff
|
tree
2010-08-26
m
aggesi
Update fo
s
sil to version 2010-08-23
2
2:24:16
commit
|
commitdiff
|
tree
2010-08-17
magg
e
si
Imp
r
ove os-spec
i
fic/l
i
nux/blcr
.
Fi
x
a prob
l
em w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
pdate Coq to
version
8
.
2pl2 (patch by r
o
connor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remov
e
ob
s
olete expression for
d
mtcp-de
v
e
l
commit
|
commitdiff
|
tree
2010-08-03
mag
g
e
si
U
pg
r
ade dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
m
a
g
gesi
Upgrade f
o
ssil to v
e
r
s
ion 2010-07-
0
3
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update Fossil to
t
he new versi
o
n
commit
|
commitdiff
|
tree
2010-05-22
magg
e
si
Add it
a
lia
n
diction
a
ry for
a
s
p
ell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add
packa
g
e
for Foss
i
l
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add
m
yself to nixpkgs/pkgs/lib/maintai
n
er
s
.
n
i
x
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression
for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
magge
s
i
pkgs/os-sp
e
c
ific/linux/blcr: upda
t
e to v
e
rsio
n
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
m
a
ggesi
Updated nixpkgs/
p
kg
s
/os-specific/li
n
ux
/
dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated n
i
xkpkgs/pkgs
/
os-specifi
c
/linux/dmtcp/de
v
e
l
.
n
i
x
commit
|
commitdiff
|
tree
2010-02-15
mag
g
esi
Add HOL Light and it
s
dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
magg
e
si
Add package dmtc
p
_devel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add
new pac
k
age pkgs/os-spec
i
f
i
c
/li
n
ux/
d
m
tcp/
commit
|
commitdiff
|
tree
2010-02-01
ma
g
g
e
si
Fix
b
u
gs an
d
i
m
p
rove pkgs/server
s
/op
e
nafs-client
commit
|
commitdiff
|
tree
2009-12-11
m
ag
g
e
s
i
Add expression
f
or Isabelle
2
009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expr
e
ssion for ProofGener
a
l
commit
|
commitdiff
|
tree
2009-12-10
m
aggesi
Add expression for P
o
lyML
commit
|
commitdiff
|
tree
2009-12-03
m
aggesi
Fixe
d
download u
r
l for Unison Fi
l
e Syncronize
r
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Ad
d
p
a
ckage O
p
enAFS (ad
d
ed forgotten
f
i
l
e
s)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add packag
e
O
p
enAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add
p
ack
a
ge ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Rein
t
roduced attribute scsh accidentally removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
New
version
o
f
c
r
y
o
p
id
.
commit
|
commitdiff
|
tree
2009-11-07
ma
g
gesi
Add pack
a
ges
s
csh, The Scheme Shel
l
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Ker
b
eros
i
m
ple
m
enta
t
ion kr
b
5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
P
reliminary
v
ersion of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
mag
g
esi
Updated Coq
to version
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
A
d
ded camlp5
t
h
e preprocessor-p
r
etty-printe
r
for O
C
a
m
l
commit
|
commitdiff
|
tree