CVS: cvs.openbsd.org: ports

[Matthias Kilian]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2013/07/18 16:32:09

Modified files:
        security/hs-crypto: Makefile distinfo 

Log message:
Update to 4.2.5.1.