Please enable JavaScript in your browser!
Home
Verkennen
Help
Inloggen
dfanfdsanfdsa
/
ood-ports-lbsd-fork1
geforked van
jimmy/ood-ports-lbsd
Volgen
1
Ster
0
Vork
0
Bestanden
Boom:
f08698bfd3
Aftakkingen
Labels
master
ood-ports-lb...
/
math
/
coq
/
pkg
naddy
b565ffc051
g/c PFRAG.shared from OCaml ports; ok chrisz@
8 jaren geleden
..
DESCR
cc072d54cf
update to version 8.4
12 jaren geleden
PFRAG.dynlink-native
1c147d96fd
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
9 jaren geleden
PFRAG.native
cc072d54cf
update to version 8.4
12 jaren geleden
PLIST
b565ffc051
g/c PFRAG.shared from OCaml ports; ok chrisz@
8 jaren geleden