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
* Coq: fix compilation of coqide (path to lablgkt)
2011-01-03
m
aggesi
* Coq: fix
com
p
ila
t
ion of coqide (path to lablgkt)
commit
|
commitdiff
|
tree
2011-01-01
mag
g
e
si
* Fix build
i
ng of OCa
m
l on
D
arwin
.
Gnu sed changed
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
ma
g
gesi
* Handle variabl
e
cr
e
a
t
eFindlibDestdir correctly
in
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove useless
code put by
error in camomile
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Add variable crea
t
e
F
i
n
d
libDestdir to th
e
setup
H
ook
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
m
a
ggesi
* Remove the automati
c
creation of a direc
t
ory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update l
a
b
lgtk2 (and en
a
ble hydra build)
commit
|
commitdiff
|
tree
2010-12-20
m
aggesi
* Upda
t
e c
a
m
l
p5
commit
|
commitdiff
|
tree
2010-12-20
mag
g
esi
* Ad
d
findlib to hydra
commit
|
commitdiff
|
tree
2010-12-12
mag
g
es
i
* Add ocamlnet
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Fix
installation of
caml
z
ip
commit
|
commitdiff
|
tree
2010-12-12
maggesi
*
t
ake caml
z
ip META
file from G
O
DI
commit
|
commitdiff
|
tree
2010-12-11
m
a
gg
e
si
* Add ocaml-sq
l
ite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
E
na
b
le
hydra bui
l
d fo
r
ocam
l
-batteries,
c
a
mlzip,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
aggesi
* Put ocaml 3
.
1
2
.
0 at lower
p
riority because it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Narrow ocaml platforms to linux and darwin
commit
|
commitdiff
|
tree
2010-12-09
magge
s
i
* En
a
ble hydra
comp
i
lation for oc
a
m
l 3
.
11
.
1 (
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
aggesi
* Enable hyd
r
a compilation for
o
caml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
ma
g
gesi
* Add ocam
l
packages findlib, camlzip,
oc
a
m
l-ssl, oc
a
ml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* Add oca
m
l 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magge
s
i
Add CMUCL Common Li
s
p c
o
mp
i
ler
commit
|
commitdiff
|
tree
2010-11-04
m
a
ggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
mag
g
esi
Upda
t
e HOL Light
commit
|
commitdiff
|
tree
2010-09-22
m
a
ggesi
Update f
o
ssil
commit
|
commitdiff
|
tree
2010-09-15
magges
i
Up
d
ate HOL L
i
g
h
t to version 20100820 (rev57 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
m
a
gges
i
Change the name
o
f th
e
coq der
i
vat
i
on to co
q
-d
e
vel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
m
agges
i
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Improve ho
l
_li
g
h
t
:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add a
p
atch to
d
mtcp t
o
allow the
res
t
art of
c
h
e
c
k
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
gesi
Remove
configure file f
o
r
OCaml
3
.
09
.
1 whic
h
is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
maggesi
Include dir
e
cto
r
y for OCaml
'
s C headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Update f
o
s
s
il t
o
version
2
0
10-0
8
-23 22:24
:
16
commit
|
commitdiff
|
tree
2010-08-17
m
a
g
g
e
si
Improve os-specif
i
c/
l
i
n
ux/b
l
cr
.
Fix a pr
o
blem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
m
a
gges
i
Upd
a
te
Co
q
to ve
r
sion 8
.
2pl2
(
patch b
y
ro
c
onnor)
commit
|
commitdiff
|
tree
2010-08-04
m
aggesi
Remove obsole
t
e
e
xpressi
o
n
for
d
mt
c
p-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgrade
d
mtcp to
v
ersion 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
m
a
g
gesi
Upg
r
ade fo
s
sil to version 2010-
0
7-03
commit
|
commitdiff
|
tree
2010-05-31
maggesi
Update
F
o
ssil to t
h
e
new version
commit
|
commitdiff
|
tree
2010-05-22
mag
g
esi
Add it
a
lian d
i
ctionary
for aspell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add pac
k
age fo
r
Fossil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add mys
e
lf to nix
p
kgs/pkgs/lib/mai
n
tainer
s
.
nix
commit
|
commitdiff
|
tree
2010-05-11
m
a
g
gesi
A
dd ex
p
ression for Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
p
kgs/os-specific/
l
i
nux/
b
lcr: update
t
o ve
r
sion 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
Updated nixpkgs/pkgs/os-
s
pecific/linux/dm
t
cp
commit
|
commitdiff
|
tree
2010-02-18
m
agge
s
i
Updated
n
ixkpkgs/pk
g
s
/os
-
s
p
ecific/l
i
nux/dm
t
cp/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
magg
e
si
Add
H
OL Light and i
t
s dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add package dmt
c
p_d
e
vel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add
n
ew package p
k
gs/o
s
-
s
pecific/linux/
d
m
t
cp/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bugs
and imp
r
ove pkg
s
/
se
r
v
e
rs/op
e
nafs
-
client
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
Add exp
r
essi
o
n for Isabel
l
e2009
commit
|
commitdiff
|
tree
2009-12-11
m
a
gge
s
i
Add ex
p
res
s
i
on for
P
r
oofGenera
l
commit
|
commitdiff
|
tree
2009-12-10
maggesi
A
d
d e
x
p
r
e
ssion
f
or
P
ol
y
ML
commit
|
commitdiff
|
tree
2009-12-03
maggesi
Fixed download
u
rl for Unison
F
i
le Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
a
ggesi
Add pack
a
ge
Op
e
nAF
S
(added forgot
t
en
f
i
les)
commit
|
commitdiff
|
tree
2009-11-10
magges
i
Ad
d
package OpenA
F
S
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
A
dd package
ledger
commit
|
commitdiff
|
tree
2009-11-09
magges
i
R
e
i
ntroduced attribute scsh accid
e
n
t
ally removed
in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
Ne
w
version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
magge
s
i
Add p
a
ck
a
ges scsh, The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
maggesi
A
dd MIT Kerberos imp
l
ementation kr
b
5
.
commit
|
commitdiff
|
tree
2009-11-05
maggesi
Pr
e
liminary
v
ersion
o
f
pac
k
age ssr
e
flec
t
commit
|
commitdiff
|
tree
2009-11-02
m
agg
e
si
Updated Coq to version
8
.
2p
l
1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Ad
d
e
d
cam
l
p5 the pre
p
rocessor-pretty-pri
n
ter for OC
a
ml
commit
|
commitdiff
|
tree