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
maggesi
* Coq:
fix compilation of c
o
qide (path to
l
abl
g
k
t
)
commit
|
commitdiff
|
tree
2011-01-01
maggesi
*
F
i
x building of
O
Caml on Darw
i
n
.
Gnu se
d
chan
g
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-12-23
magges
i
* Han
d
le variable createFindli
b
Destdir
c
orrectly i
n
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
*
Remove useles
s
code put b
y
error in camomile
commit
|
commitdiff
|
tree
2010-12-21
magge
s
i
* Add variable c
r
eat
e
Fi
n
dlibDestd
i
r to the setupH
o
ok
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
maggesi
* Remove the auto
m
atic c
r
e
ation
of a directory from
.
.
.
commit
|
commitdiff
|
tree
2010-12-20
m
agg
e
s
i
* Update
l
ablgtk2 (and e
n
able hydra build)
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* Update camlp5
commit
|
commitdiff
|
tree
2010-12-20
maggesi
* A
d
d findlib to hydra
commit
|
commitdiff
|
tree
2010-12-12
m
aggesi
*
Add ocamlnet
commit
|
commitdiff
|
tree
2010-12-12
maggesi
* Fix i
n
stalla
t
ion of cam
l
z
i
p
commit
|
commitdiff
|
tree
2010-12-12
mag
g
e
s
i
* take cam
l
zi
p
MET
A
file from GODI
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Add
o
c
aml-sq
l
ite3
commit
|
commitdiff
|
tree
2010-12-11
maggesi
*
Enable hydra build f
o
r ocaml-batteries, camlzip
,
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
maggesi
* Put ocaml 3
.
1
2
.
0
at lower priority because it is
.
.
.
commit
|
commitdiff
|
tree
2010-12-11
m
aggesi
*
N
ar
r
ow ocaml platforms to linux and darwi
n
commit
|
commitdiff
|
tree
2010-12-09
maggesi
*
E
n
able
h
ydra compi
l
ation for oc
a
ml 3
.
11
.
1 (error
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
maggesi
* E
n
able
h
ydra compila
t
ion for ocaml 3
.
11
.
1
commit
|
commitdiff
|
tree
2010-12-09
m
a
gge
s
i
* Add ocaml
packages findlib, camlzip, ocam
l
-ssl, ocaml
.
.
.
commit
|
commitdiff
|
tree
2010-12-09
m
agg
e
s
i
*
Add ocaml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
maggesi
Add CMUCL Comm
o
n
Lisp c
o
mpil
e
r
commit
|
commitdiff
|
tree
2010-11-04
maggesi
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
m
aggesi
Update HOL Li
g
ht
commit
|
commitdiff
|
tree
2010-09-22
magges
i
Upd
a
te fossi
l
commit
|
commitdiff
|
tree
2010-09-15
ma
g
ge
s
i
Updat
e
H
OL Light to version 201008
2
0 (rev
5
7 on google
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Change the name of t
h
e coq d
e
riv
a
t
ion to coq-devel
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
A
dd co
q
-
8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Improve hol_lig
h
t:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add
a p
a
tc
h
to
d
m
tcp to a
l
low th
e
rest
a
r
t of checkpo
i
nted
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magg
e
si
Remo
v
e
configure file for OCaml 3
.
09
.
1 whi
c
h is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
magge
s
i
Include
d
i
r
e
ctor
y
for OCaml's C headers
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
U
pdate fo
s
sil to v
e
rsio
n
2010-0
8
-23 22:2
4
:16
commit
|
commitdiff
|
tree
2010-08-17
maggesi
Impr
o
ve os-spe
c
ific/linu
x
/blcr
.
F
i
x a problem with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
maggesi
Upd
a
te
C
oq
t
o
version
8
.
2
p
l
2
(
patch by r
o
c
onnor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsolete
e
xpres
s
ion for dmtcp-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgrad
e
dmt
c
p
t
o
version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
magg
e
si
U
pgr
a
de fossil to ve
r
sion 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
mag
g
esi
Update Fo
s
sil t
o
the new versi
o
n
commit
|
commitdiff
|
tree
2010-05-22
m
a
gges
i
Ad
d
i
t
alian di
c
tionary for aspe
l
l
commit
|
commitdiff
|
tree
2010-05-12
magg
e
s
i
Add package for Fossil
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add myself to nixpkgs/pkg
s
/lib/mai
n
tai
n
e
rs
.
nix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression f
o
r Coq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/o
s
-
specific/linux/blcr: update to version 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
U
pd
a
ted nixpkgs/pk
g
s/
o
s-spe
c
ific/l
i
nux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
Updated nixk
p
k
g
s/pkgs/os-specific/linux/dm
t
cp/de
v
el
.
nix
commit
|
commitdiff
|
tree
2010-02-15
maggesi
Add
H
OL Light and its depe
n
dencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add pa
c
k
a
ge d
m
tcp_devel
commit
|
commitdiff
|
tree
2010-02-04
m
a
g
g
esi
A
d
d
new package
p
k
g
s/os-specific/l
i
n
u
x/dmtcp/
commit
|
commitdiff
|
tree
2010-02-01
m
aggesi
Fix bugs
and improve pkgs
/
serve
r
s/openaf
s
-
c
lient
commit
|
commitdiff
|
tree
2009-12-11
ma
g
gesi
Add e
x
pr
e
s
sion fo
r
Isabelle2009
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
Add expr
e
ssion for ProofGener
a
l
commit
|
commitdiff
|
tree
2009-12-10
maggesi
Add
expressio
n
for PolyML
commit
|
commitdiff
|
tree
2009-12-03
m
ag
g
esi
Fixed download url for Unison
F
ile S
y
ncro
n
izer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Ad
d
p
a
ckage O
p
enAFS (added forgotten files)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add package OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add package ledger
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Reintrod
u
ced attribute s
c
sh acci
d
ent
a
l
l
y removed in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
New
version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
m
aggesi
Ad
d
packages
scsh, T
h
e Sch
e
me
Shell
commit
|
commitdiff
|
tree
2009-11-06
magge
s
i
A
d
d MIT Ke
r
beros imp
l
em
e
ntation k
r
b5
.
commit
|
commitdiff
|
tree
2009-11-05
magges
i
Preli
m
in
a
ry v
e
r
s
ion of pa
c
kage ss
r
eflect
commit
|
commitdiff
|
tree
2009-11-02
maggesi
U
p
dated Coq to
v
ersion 8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added
camlp5
the prep
r
ocessor-pretty-printer for
OCaml
commit
|
commitdiff
|
tree