daniel 391b2d9839 Minor cleanup: ...

- http -> https
- drop gettext module

ok shadchin@, tb@

2017-02-25 18:58:04 +00:00

..

patches

Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep

2016-06-24 15:59:11 +00:00

pkg

g/c PFRAG.shared from OCaml ports; ok chrisz@

2016-03-29 11:27:00 +00:00

distinfo

Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@

2015-06-19 21:25:32 +00:00

Makefile

Minor cleanup:

2017-02-25 18:58:04 +00:00