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