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
Update Coq to version 8.2pl2 (patch by roconnor)
2010-08-05
maggesi
Update
Coq to vers
i
on 8
.
2pl2 (
p
at
c
h by roco
n
no
r
)
commit
|
commitdiff
|
tree
2010-08-04
maggesi
Remove obsolete expression
for d
m
tcp-devel
commit
|
commitdiff
|
tree
2010-08-03
maggesi
Upgrade dmtcp to v
e
rsio
n
1
.
1
.
8
commit
|
commitdiff
|
tree
2010-07-30
maggesi
Upgrade fossil to
v
ersion 2010-07-03
commit
|
commitdiff
|
tree
2010-05-31
m
a
g
gesi
Up
d
ate Fossil to the new
v
e
rsio
n
commit
|
commitdiff
|
tree
2010-05-22
maggesi
Add it
a
lian dicti
o
n
ary for
a
s
p
ell
commit
|
commitdiff
|
tree
2010-05-12
maggesi
Add
p
ackage for Foss
i
l
commit
|
commitdiff
|
tree
2010-05-12
m
a
g
ges
i
Add myself to nixpkgs/pkg
s
/
l
i
b/maintain
e
rs
.
n
ix
commit
|
commitdiff
|
tree
2010-05-11
maggesi
Add expression for
C
oq 8
.
3 beta
commit
|
commitdiff
|
tree
2010-04-15
maggesi
pkgs/os-specific/
l
inux/blcr: update to v
e
rsion 0
.
8
.
2
commit
|
commitdiff
|
tree
2010-02-23
m
a
ggesi
Updated ni
x
p
kgs
/
pkgs/os-
s
p
e
cific/li
n
ux/dmtc
p
commit
|
commitdiff
|
tree
2010-02-18
ma
g
g
e
si
Upda
t
ed nixkpkgs/p
k
gs/os-specific/linux/dmtcp/devel
.
nix
commit
|
commitdiff
|
tree
2010-02-15
m
agges
i
Add HOL Light and its
dependenc
i
es
.
commit
|
commitdiff
|
tree
2010-02-13
maggesi
Ad
d
package dmtcp_devel
commit
|
commitdiff
|
tree
2010-02-04
maggesi
Add new
p
ackag
e
pkgs
/
os-specific
/
li
n
ux/dmt
c
p/
commit
|
commitdiff
|
tree
2010-02-01
maggesi
Fix bugs and imp
r
o
v
e
p
k
gs/serv
e
rs/openafs-cli
e
n
t
commit
|
commitdiff
|
tree
2009-12-11
maggesi
Add expression for Isabel
l
e
2
009
commit
|
commitdiff
|
tree
2009-12-11
m
aggesi
Add ex
p
res
s
ion for ProofGeneral
commit
|
commitdiff
|
tree
2009-12-10
magg
e
si
Add expression f
o
r Po
l
y
ML
commit
|
commitdiff
|
tree
2009-12-03
m
aggesi
F
ixed down
l
oad
url fo
r
U
nison File Syncronizer
.
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
A
d
d package OpenAFS
(added forgotten
f
iles)
commit
|
commitdiff
|
tree
2009-11-10
maggesi
A
d
d
packa
g
e OpenAFS
commit
|
commitdiff
|
tree
2009-11-10
m
aggesi
Add package ledger
commit
|
commitdiff
|
tree
2009-11-09
m
a
gges
i
Rei
n
t
r
o
duced attribute scsh
accidental
l
y
removed
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-08
maggesi
New version of cryopid
.
commit
|
commitdiff
|
tree
2009-11-07
magg
e
si
Add
pack
a
ge
s
scsh, The Scheme Shell
commit
|
commitdiff
|
tree
2009-11-06
mag
g
esi
Ad
d
MIT Kerberos im
p
lementation krb5
.
commit
|
commitdiff
|
tree
2009-11-05
m
agge
s
i
Preliminary v
e
rsion of package ssreflect
commit
|
commitdiff
|
tree
2009-11-02
m
aggesi
Upd
a
t
ed C
o
q
t
o ver
s
i
o
n
8
.
2pl1
commit
|
commitdiff
|
tree
2009-11-02
maggesi
Added
c
a
m
lp5 t
h
e
p
repro
c
essor-pretty-printer for OC
a
ml
commit
|
commitdiff
|
tree