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 ocaml-sqlite3
2010-12-11
maggesi
* Add
o
caml-sqlite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Enable
h
ydra build for ocam
l
-batter
i
es, camlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Put ocaml
3
.
12
.
0 at
lower priority b
e
cause it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
magge
s
i
* Narrow ocaml p
l
atforms t
o
linux and darwin
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Ena
b
le
h
ydra compilation for ocaml 3
.
11
.
1 (e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* Enab
l
e hydr
a
c
o
mpila
t
ion for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add o
c
a
m
l p
a
ckages
findlib, cam
l
zip,
ocaml-ssl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
ma
g
gesi
* Add oc
a
m
l 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magg
e
si
A
d
d CMUC
L
Co
m
m
on Lisp
c
omp
i
ler
commit
|
commitdiff
|
tree
2010-11-04
m
a
g
gesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
mag
g
es
i
Updat
e
HOL Li
g
ht
commit
|
commitdiff
|
tree
2010-09-22
maggesi
Update
f
ossil
commit
|
commitdiff
|
tree
2010-09-15
m
aggesi
Update HOL
Light t
o
version 20100820
(rev
5
7
on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
m
a
g
ge
s
i
Change the name
of
t
he
coq
derivation to coq-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
m
aggesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Improve hol_light:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
A
d
d a
p
atch to dmtc
p
to
al
l
ow the resta
r
t of chec
k
pointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magge
s
i
Rem
o
ve
c
onfigure fil
e
for
O
Caml 3
.
09
.
1 w
h
ich is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magge
s
i
Incl
u
d
e
di
r
ectory for OCaml'
s
C head
e
rs
.
commit
|
commitdiff
|
tree
2010-08-26
magg
e
si
Update fossil to version 2010
-
08-23
2
2:24:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Impro
v
e os-sp
e
cific/linux
/
blcr
.
Fix a problem w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
U
pdate Co
q
to version
8
.
2pl2 (patch
b
y roco
n
n
or
)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove ob
s
o
lete expres
s
i
o
n
for
dmtcp-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgr
a
de dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
m
a
ggesi
Up
g
rade fossil to
ve
r
sion 2
0
10-07-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Upd
a
te F
o
ssil to the new version
commit
|
commitdiff
|
tree
2010-05-22
maggesi
A
d
d
italian dictionary for aspel
l
commit
|
commitdiff
|
tree
2010-05-12
mag
g
esi
Add pa
c
kage for Fossil
commit
|
commitdiff
|
tree
2010-05-12
m
a
ggesi
Add myself to nix
p
k
g
s/pkgs/l
i
b/
m
aintainers
.
n
i
x
commit
|
commitdiff
|
tree
2010-05-11
mag
g
e
s
i
A
dd express
i
on for
Co
q
8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
m
a
gge
s
i
pkgs/os-s
p
ecific/linux/blcr
:
update
to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
ma
g
gesi
U
p
dated nixpkgs/
p
kgs/os-specific
/
l
inu
x
/
d
mtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated
n
ixkpkgs/pkgs/os-specific
/
lin
u
x/dmtcp/devel
.
n
i
x
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add
H
O
L Light an
d
its dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
A
d
d
pac
k
age
d
mtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
mag
g
esi
Add new pack
a
ge
pkgs/os-specific/linux/
d
mtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
aggesi
Fix bugs
and impr
o
ve pkg
s
/servers/ope
n
af
s
-client
commit
|
commitdiff
|
tree
2009-12-11
ma
g
gesi
Add expression for Is
a
belle2009
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add ex
p
ressi
o
n for
P
roofGeneral
commit
|
commitdiff
|
tree
2009-12-10
mag
g
esi
Add expr
e
ssion for Poly
M
L
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fix
e
d do
w
nload url fo
r
Un
i
so
n
F
ile Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Ad
d
packag
e
OpenAF
S
(
a
dded forgotten fi
l
e
s)
commit
|
commitdiff
|
tree
2009-11-10
m
a
g
gesi
Add packag
e
OpenA
F
S
commit
|
commitdiff
|
tree
2009-11-10
ma
g
gesi
Add package ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
R
e
introduced attribute scsh
accide
n
tal
l
y removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
mag
g
e
s
i
Ne
w
version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
m
agges
i
Add package
s
scsh, The Sche
m
e Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add MIT Kerberos
i
m
pleme
n
t
ati
o
n krb5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
P
r
elim
i
nary v
e
rsion of
p
ackage ss
r
eflect
commit
|
commitdiff
|
tree
2009-11-02
magge
s
i
U
p
da
t
ed Coq to
v
ersio
n
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added
ca
m
lp5 the pr
e
p
r
oces
s
or-pretty-
p
r
inter
f
or OCaml
commit
|
commitdiff
|
tree