CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2017/02/25 11:58:04

Modified files:
        math/coq       : Makefile 

Log message:
Minor cleanup:
- http -> https
- drop gettext module

ok shadchin@, tb@