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 3.12.0
2010-12-09
maggesi
* Add o
c
aml 3
.
12
.
0
commit
|
commitdiff
|
tree
2010-11-08
magg
e
s
i
Add CMUCL Common Lisp co
m
pil
e
r
commit
|
commitdiff
|
tree
2010-11-04
magge
s
i
Update Coq
commit
|
commitdiff
|
tree
2010-11-03
m
agge
s
i
Updat
e
HOL Light
commit
|
commitdiff
|
tree
2010-09-22
magges
i
Update foss
i
l
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Update
HOL Light to
v
e
rsion 20100820 (rev57
o
n
go
o
gle
.
.
.
commit
|
commitdiff
|
tree
2010-09-15
maggesi
Cha
n
ge the name of the coq derivation to coq-deve
l
.
.
.
commit
|
commitdiff
|
tree
2010-09-14
maggesi
Add coq-8
.
3rc1
commit
|
commitdiff
|
tree
2010-09-08
m
aggesi
Improve hol_l
i
ght:
commit
|
commitdiff
|
tree
2010-09-08
maggesi
Add
a
patch to dmtcp to allow th
e
restart of check
p
ointed
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
m
a
gg
e
si
Remove co
n
f
igur
e
file for
O
Cam
l
3
.
0
9
.
1 which
is not
.
.
.
commit
|
commitdiff
|
tree
2010-09-03
ma
g
gesi
Include dire
c
tory for OCaml's C he
a
ders
.
commit
|
commitdiff
|
tree
2010-08-26
maggesi
Upda
t
e fossil to v
e
rsion 2010-08-23 22:24
:
1
6
commit
|
commitdiff
|
tree
2010-08-17
magges
i
Improve os-specific/lin
u
x/
b
lcr
.
Fix
a
p
r
o
b
l
e
m
with
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
ma
g
g
e
si
Update Coq
t
o versio
n
8
.
2
pl2
(patc
h
by roconnor)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove ob
s
olete
e
x
pre
s
sion for
d
mtcp-devel
commit
|
commitdiff
|
tree
2010-08-03
m
a
g
gesi
Upgr
a
de dmtcp to version 1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgrade fos
s
i
l
to version
2010
-
07-03
commit
|
commitdiff
|
tree
2010-05-31
magge
s
i
Up
d
ate Fos
s
il t
o
the new version
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Ad
d
i
talian dictionary for aspell
commit
|
commitdiff
|
tree
2010-05-12
magge
s
i
Add package f
o
r Fossil
commit
|
commitdiff
|
tree
2010-05-12
magges
i
A
dd mys
e
lf to nixp
k
g
s
/pk
g
s/lib
/
maintainers
.
nix
commit
|
commitdiff
|
tree
2010-05-11
magges
i
Add expression f
o
r
Coq
8
.
3
b
eta
commit
|
commitdiff
|
tree
2010-04-15
magges
i
p
kgs/os
-
specific/linux/blcr: update to ver
s
ion
0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
maggesi
U
p
d
ated nixpkgs/pkg
s
/os
-
specific/linux/dmtcp
commit
|
commitdiff
|
tree
2010-02-18
maggesi
U
pdated nixkpkgs/pkgs/os-spec
i
fic/linux/
d
m
t
c
p/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
mag
g
esi
A
d
d
H
O
L L
i
ght and its dependencies
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Add package
dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
mag
g
e
si
Add ne
w
package pkgs/
o
s-specific/linux/dmtc
p
/
commit
|
commitdiff
|
tree
2010-02-01
m
aggesi
Fi
x
bugs and imp
r
ove
pkgs/servers/openafs-
c
l
ient
commit
|
commitdiff
|
tree
2009-12-11
magge
s
i
Add expres
s
ion for I
s
abelle2009
commit
|
commitdiff
|
tree
2009-12-11
ma
g
gesi
A
dd expressio
n
f
or ProofGeneral
commit
|
commitdiff
|
tree
2009-12-10
ma
g
ge
s
i
Add expression for Poly
M
L
commit
|
commitdiff
|
tree
2009-12-03
m
aggesi
Fixed
do
w
nl
o
ad url for Unison
Fil
e
Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add packa
g
e
Ope
n
AFS (ad
d
e
d fo
r
gotten files)
commit
|
commitdiff
|
tree
2009-11-10
magge
s
i
Add package OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
maggesi
Add pack
a
ge
ledge
r
commit
|
commitdiff
|
tree
2009-11-09
maggesi
Re
i
nt
r
oduced attrib
u
te
s
c
s
h accid
e
ntally re
m
oved in
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
m
a
ggesi
N
e
w
versi
o
n of
cryo
p
id
.
commit
|
commitdiff
|
tree
2009-11-07
m
a
g
gesi
Add packages sc
s
h,
The Scheme She
l
l
commit
|
commitdiff
|
tree
2009-11-06
maggesi
Add
MIT Kerbero
s
implementat
i
on k
r
b5
.
commit
|
commitdiff
|
tree
2009-11-05
m
a
g
ges
i
Preliminary
v
ersion of packag
e
s
sreflect
commit
|
commitdiff
|
tree
2009-11-02
m
a
ggesi
Updated Coq to version
8
.
2
pl
1
commit
|
commitdiff
|
tree
2009-11-02
mag
g
esi
Added camlp5 the
pre
p
r
ocessor-pretty-pr
i
n
ter for OCaml
commit
|
commitdiff
|
tree