| .. |
|
patches
|
f5fd6f0fd2
Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep
|
%!s(int64=8) %!d(string=hai) anos |
|
pkg
|
b565ffc051
g/c PFRAG.shared from OCaml ports; ok chrisz@
|
%!s(int64=8) %!d(string=hai) anos |
|
Makefile
|
391b2d9839
Minor cleanup:
|
%!s(int64=8) %!d(string=hai) anos |
|
distinfo
|
1c147d96fd
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
|
%!s(int64=9) %!d(string=hai) anos |
daniel