PORTNAME= base64
PORTVERSION= 3.5.1
DISTVERSIONPREFIX= v
PORTREVISION= 1
CATEGORIES= converters
PKGNAMEPREFIX= ocaml-
PORTNAME= bos
PORTVERSION= 0.2.1
PORTREVISION= 2
CATEGORIES= devel
MASTER_SITES= https://erratique.ch/software/bos/releases/
PORTNAME= camlp5
PORTVERSION= 8.02.01
PORTNAME= cstruct
DISTVERSION= 6.2.0
PORTNAME= ipaddr
PORTVERSION= 5.6.0
PORTNAME= logs
PORTVERSION= 0.7.0
MASTER_SITES= https://erratique.ch/software/logs/releases/
PORTNAME= lwt
PORTVERSION= 5.7.0
PORTNAME= ppx_sexp_conv
DISTVERSION= 0.16.0
PORTNAME= ocurl
PORTVERSION= 0.9.2
PORTREVISION= 3
PORTREVISION= 4
CATEGORIES= ftp
PORTNAME= abella
DISTVERSION= 2.0.8
CATEGORIES= math
MASTER_SITES= http://abella-prover.org/distributions/
PORTNAME= lwt_ssl
PORTVERSION= 1.2.0
CATEGORIES= security
-