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