HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"count": 51943,
"next": "https://ports.macports.org/api/v1/ports/?format=api&ordering=-updated_at&page=15",
"previous": "https://ports.macports.org/api/v1/ports/?format=api&ordering=-updated_at&page=13",
"results": [
{
"name": "p5.26-business-isbn-data",
"portdir": "perl/p5-business-isbn-data",
"version": "20210112.6.0",
"license": "Artistic-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://metacpan.org/pod/Business::ISBN::Data",
"description": "ISBN data required for use of Business::ISBN",
"long_description": "This package provides ISBN data used by the Business::ISBN family of Perl modules to associate countries with ISBN codes. It has been made a separate module so that it can be updated independently of the Business::ISBN code.",
"active": false,
"categories": [
"perl"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-9.0"
]
},
{
"type": "lib",
"ports": [
"perl5.26"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"p5.26-business-isbn"
]
}
]
},
{
"name": "ocaml-zed",
"portdir": "ocaml/ocaml-zed",
"version": "3.2.3",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml-community/zed",
"description": "Abstract engine for text edition in OCaml",
"long_description": "Abstract engine for text edition in OCaml",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-react",
"ocaml-result",
"ocaml",
"ocaml-uucp",
"ocaml-uuseg",
"ocaml-uutf",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-lambda-term",
"ocaml-utop"
]
}
]
},
{
"name": "ocaml-uutf",
"portdir": "ocaml/ocaml-uutf",
"version": "1.0.4",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/uutf",
"description": "Non-blocking streaming Unicode codec for OCaml",
"long_description": "Non-blocking streaming Unicode codec for OCaml",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb",
"ocaml-alcotest",
"ocaml-jingoo",
"ocaml-markup",
"ocaml-ocamlformat-lib",
"ocaml-textutils",
"ocaml-textutils_kernel",
"ocaml-uunf",
"ocaml-uuseg",
"ocaml-zed"
]
}
]
},
{
"name": "ocaml-uuseg",
"portdir": "ocaml/ocaml-uuseg",
"version": "15.1.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/dbuenzli/uuseg",
"description": "Unicode text segmentation for OCaml",
"long_description": "Unicode text segmentation for OCaml",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-uucp",
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml-uutf"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-ocamlformat-lib",
"ocaml-zed"
]
}
]
},
{
"name": "ocaml-uunf",
"portdir": "ocaml/ocaml-uunf",
"version": "15.1.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/dbuenzli/uunf",
"description": "Unicode text normalization for OCaml",
"long_description": "Unicode text normalization for OCaml",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18",
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml-uutf"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb",
"ocaml-uucp"
]
}
]
},
{
"name": "ocaml-uucp",
"portdir": "ocaml/ocaml-uucp",
"version": "15.1.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/dbuenzli/uucp",
"description": "Unicode character properties for OCaml",
"long_description": "Unicode character properties for OCaml",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18",
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml-uunf"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb",
"karamel",
"ocaml-jingoo",
"ocaml-uuseg",
"ocaml-zed"
]
}
]
},
{
"name": "ocaml-utop",
"portdir": "ocaml/ocaml-utop",
"version": "2.15.0",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml-community/utop",
"description": "Universal toplevel (i.e. REPL) for OCaml",
"long_description": "utop is an improved toplevel (i.e. Read-Eval-Print Loop) for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors and more.",
"active": true,
"categories": [
"devel",
"editors",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-lwt",
"ocaml-lwt_react",
"ocaml-react",
"ocaml-xdg",
"ocaml-lambda-term",
"ocaml-logs",
"ocaml-zed",
"ocaml",
"ocaml-cppo"
]
},
{
"type": "test",
"ports": [
"ocaml-alcotest"
]
}
],
"depends_on": [
{
"type": "test",
"ports": [
"stanc3"
]
}
]
},
{
"name": "ocaml-textutils_kernel",
"portdir": "ocaml/ocaml-textutils_kernel",
"version": "0.16.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/janestreet/textutils_kernel",
"description": "The subset of textutils using only core_kernel and working in JavaScript",
"long_description": "The subset of textutils using only core_kernel and working in JavaScript",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-uutf",
"ocaml",
"ocaml-ppx_jane",
"ocaml-core",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-textutils"
]
}
]
},
{
"name": "ocaml-textutils",
"portdir": "ocaml/ocaml-textutils",
"version": "0.16.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/janestreet/textutils",
"description": "Text output utilities",
"long_description": "Text output utilities",
"active": true,
"categories": [
"textproc",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-uutf",
"ocaml-core",
"ocaml-core_kernel",
"ocaml",
"ocaml-ppx_jane",
"ocaml-textutils_kernel",
"ocaml-core_unix",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-async",
"ocaml-shell"
]
}
]
},
{
"name": "ocaml-syslog-message",
"portdir": "ocaml/ocaml-syslog-message",
"version": "1.2.0",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/verbosemode/syslog-message",
"description": "Syslog message parser",
"long_description": "This is a library for parsing and generating RFC3164 and RFC5424 syslog messages.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-ptime"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-logs-syslog"
]
}
]
},
{
"name": "ocaml-shell",
"portdir": "ocaml/ocaml-shell",
"version": "0.16.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/janestreet/shell",
"description": "Implementation of fork&exec and related functionality.",
"long_description": "Yet another implementation of fork&exec and related functionality. Functions for invoking executables and for running bash in a subprocess.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-jst-config",
"ocaml-core",
"ocaml-core_unix",
"ocaml",
"ocaml-spawn",
"ocaml-textutils",
"ocaml-ppx_jane",
"ocaml-findlib"
]
}
],
"depends_on": []
},
{
"name": "ocaml-ptime",
"portdir": "ocaml/ocaml-ptime",
"version": "1.2.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/ptime",
"description": "POSIX time for OCaml",
"long_description": "POSIX time for OCaml",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-crunch",
"ocaml-logs-syslog",
"ocaml-syslog-message"
]
}
]
},
{
"name": "ocaml-ppx_blob",
"portdir": "ocaml/ocaml-ppx_blob",
"version": "0.9.0",
"license": "Unlicense",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/johnwhitington/ppx_blob",
"description": "Include a file as a string at compile time",
"long_description": "ppx_blob allows you to include a binary blob from a file as a string. Writing [%blob \"filename\"] will replace the string with the contents of the file at compile time. This allows the inclusion of arbitary, possibly compressed, data, without the need to respect OCaml's lexical conventions.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-ppxlib",
"ocaml-alcotest"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb"
]
}
]
},
{
"name": "ocaml-ocp-indent",
"portdir": "ocaml/ocaml-ocp-indent",
"version": "1.9.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/OCamlPro/ocp-indent",
"description": "Simple tool to indent OCaml programs",
"long_description": "Simple tool to indent OCaml programs",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-cmdliner"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-ocamlformat-lib"
]
},
{
"type": "test",
"ports": [
"stanc3"
]
}
]
},
{
"name": "ocaml-ocamlformat-lib",
"portdir": "ocaml/ocaml-ocamlformat",
"version": "0.29.0",
"license": "(LGPL-2.1 or MIT)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml-ppx/ocamlformat",
"description": "Auto-formatter for OCaml code",
"long_description": "Auto-formatter for OCaml code",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-csexp",
"ocaml-findlib",
"ocaml-fix",
"ocaml-menhir",
"ocaml-menhirLib",
"ocaml-menhirSdk",
"ocaml-stdio",
"ocaml-cmdliner",
"ocaml",
"ocaml-astring",
"ocaml-uutf",
"ocaml-dune-build-info",
"ocaml-either",
"ocaml-fpath",
"ocaml-ocaml-version",
"ocaml-ocp-indent",
"ocaml-uuseg",
"ocaml-camlp-streams",
"ocaml-base"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-ocamlformat"
]
}
]
},
{
"name": "ocaml-ocamlformat",
"portdir": "ocaml/ocaml-ocamlformat",
"version": "0.29.0",
"license": "(LGPL-2.1 or MIT)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml-ppx/ocamlformat",
"description": "Auto-formatter for OCaml code",
"long_description": "Auto-formatter for OCaml code",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-re",
"ocaml",
"ocaml-ocamlformat-lib",
"ocaml-cmdliner",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "test",
"ports": [
"stanc3"
]
}
]
},
{
"name": "ocaml-not-ocamlfind",
"portdir": "ocaml/ocaml-not-ocamlfind",
"version": "0.14",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/chetmurthy/not-ocamlfind",
"description": "A small frontend for ocamlfind that adds a few useful commands",
"long_description": "A small frontend for ocamlfind that adds a few useful commands",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-camlp-streams",
"ocaml",
"ocaml-fmt",
"ocaml-ocamlgraph",
"ocaml-rresult"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-camlp5-buildscripts"
]
}
]
},
{
"name": "ocaml-markup",
"portdir": "ocaml/ocaml-markup",
"version": "1.0.3",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/aantron/markup.ml",
"description": "Error-recovering functional HTML5 and XML parsers and writers",
"long_description": "Markup.ml provides an HTML parser and an XML parser. The parsers are wrapped in a simple interface: they are functions that transform byte streams to parsing signal streams. Streams can be manipulated in various ways, such as processing by fold, filter, and map, assembly into DOM tree structures, or serialization back to HTML or XML. Both parsers are based on their respective standards. The HTML parser, in particular, is based on the state machines defined in HTML5. The parsers are error-recovering by default, and accept fragments. This makes it very easy to get a best-effort parse of some input. The parsers can, however, be easily configured to be strict, and to accept only full documents. Apart from this, the parsers are streaming (do not build up a document in memory), non-blocking (can be used with threading libraries), lazy (do not consume input unless the signal stream is being read), and process the input in a single pass. They automatically detect the character encoding of the input stream, and convert everything to UTF-8.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-uutf"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb"
]
}
]
},
{
"name": "ocaml-logs-syslog",
"portdir": "ocaml/ocaml-logs-syslog",
"version": "0.5.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/hannesm/logs-syslog",
"description": "Logs reporter to syslog (UDP/TCP/TLS)",
"long_description": "This library provides log reporters using syslog over various transports (UDP, TCP, and TLS).",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-logs",
"ocaml",
"ocaml-syslog-message",
"ocaml-ptime",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb"
]
}
]
},
{
"name": "ocaml-logs",
"portdir": "ocaml/ocaml-logs",
"version": "0.10.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/logs",
"description": "Logging infrastructure for OCaml",
"long_description": "Logging infrastructure for OCaml",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-fmt",
"ocaml",
"ocaml-js_of_ocaml",
"ocaml-findlib",
"ocaml-lwt",
"ocaml-cmdliner"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb",
"ocaml-bos",
"ocaml-lambda-term",
"ocaml-logs-syslog",
"ocaml-utop"
]
}
]
},
{
"name": "ocaml-lambda-term",
"portdir": "ocaml/ocaml-lambda-term",
"version": "3.3.2",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml-community/lambda-term",
"description": "Cross-platform library for manipulating the terminal",
"long_description": "Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as a set of widgets to write curses-like applications.",
"active": true,
"categories": [
"devel",
"editors",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-lwt",
"ocaml-lwt_react",
"ocaml-react",
"ocaml",
"ocaml-mew_vi",
"ocaml-zed",
"ocaml-logs",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-utop"
]
}
]
},
{
"name": "ocaml-js_of_ocaml-compiler",
"portdir": "ocaml/ocaml-js_of_ocaml",
"version": "5.9.1",
"license": "(GPL-2+ or LGPL-2.1+)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocsigen/js_of_ocaml",
"description": "Compiler from OCaml bytecode to JavaScript",
"long_description": "Compiler from OCaml bytecode to JavaScript",
"active": true,
"categories": [
"devel",
"lang",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-menhir",
"ocaml-menhirLib",
"ocaml-menhirSdk",
"ocaml",
"ocaml-yojson",
"ocaml-ppxlib",
"ocaml-cmdliner",
"ocaml-sedlex",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-js_of_ocaml"
]
}
]
},
{
"name": "ocaml-js_of_ocaml",
"portdir": "ocaml/ocaml-js_of_ocaml",
"version": "5.9.1",
"license": "(GPL-2+ or LGPL-2.1+)",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocsigen/js_of_ocaml",
"description": "Compiler from OCaml bytecode to JavaScript",
"long_description": "Compiler from OCaml bytecode to JavaScript",
"active": true,
"categories": [
"devel",
"lang",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-ppxlib",
"ocaml-js_of_ocaml-compiler"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-logs"
]
}
]
},
{
"name": "ocaml-jingoo",
"portdir": "ocaml/ocaml-jingoo",
"version": "1.5.2",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/tategakibunko/jingoo",
"description": "Template engine almost compatible with Jinja2(python template engine)",
"long_description": "Template engine almost compatible with Jinja2(python template engine)",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"ocaml-ppx_deriving",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-ounit",
"ocaml-re",
"ocaml",
"ocaml-uucp",
"ocaml-uutf",
"ocaml-findlib",
"ocaml-menhir"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb"
]
}
]
},
{
"name": "ocaml-fmt",
"portdir": "ocaml/ocaml-fmt",
"version": "0.11.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/fmt",
"description": "Fmt exposes combinators to devise format pretty-printing functions",
"long_description": "Fmt exposes combinators to devise format pretty-printing functions",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb",
"camlp5",
"stanc3",
"ocaml-alcotest",
"ocaml-bos",
"ocaml-camlp5-buildscripts",
"ocaml-logs",
"ocaml-not-ocamlfind"
]
}
]
},
{
"name": "ocaml-xdg",
"portdir": "ocaml/ocaml-dune",
"version": "3.22.2",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml/dune",
"description": "Composable build system for OCaml",
"long_description": "Dune is a build system for OCaml and Reason.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-utop"
]
}
]
},
{
"name": "ocaml-dune-build-info",
"portdir": "ocaml/ocaml-dune",
"version": "3.22.2",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml/dune",
"description": "Composable build system for OCaml",
"long_description": "Dune is a build system for OCaml and Reason.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-ocamlformat-lib"
]
}
]
},
{
"name": "ocaml-dune-configurator",
"portdir": "ocaml/ocaml-dune",
"version": "3.22.2",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml/dune",
"description": "Composable build system for OCaml",
"long_description": "Dune is a build system for OCaml and Reason.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-csexp",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "build",
"ports": [
"ocaml-jst-config",
"ocaml-ocaml_intrinsics",
"ocaml-bigstringaf",
"ocaml-pcre",
"ocaml-pcre2",
"ocaml-ctypes"
]
},
{
"type": "lib",
"ports": [
"ocaml-base",
"ocaml-sqlite3",
"ocaml-checkseum",
"ocaml-lwt",
"ocaml-lwt_ppx",
"ocaml-lwt_react",
"ocaml-parmap"
]
}
]
},
{
"name": "ocaml-dune",
"portdir": "ocaml/ocaml-dune",
"version": "3.22.2",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/ocaml/dune",
"description": "Composable build system for OCaml",
"long_description": "Dune is a build system for OCaml and Reason.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "build",
"ports": [
"ocaml-batteries",
"ocaml-hacl-star",
"everparse",
"geneweb",
"fstar",
"karamel",
"abella",
"stanc3",
"ocaml-alcotest",
"ocaml-async",
"ocaml-bisect_ppx",
"ocaml-crunch",
"ocaml-decompress",
"ocaml-dune-configurator",
"ocaml-dune-build-info",
"ocaml-xdg",
"ocaml-jingoo",
"ocaml-js_of_ocaml",
"ocaml-js_of_ocaml-compiler",
"ocaml-lambda-term",
"ocaml-logs-syslog",
"ocaml-markup",
"ocaml-ocamlformat",
"ocaml-ocamlformat-lib",
"ocaml-ocp-indent",
"ocaml-ppx_blob",
"ocaml-shell",
"ocaml-syslog-message",
"ocaml-textutils",
"ocaml-textutils_kernel",
"ocaml-utop",
"ocaml-zed",
"ocaml-cudf",
"camlimages",
"ocaml-angstrom",
"ocaml-async_kernel",
"ocaml-async_rpc_kernel",
"ocaml-async_unix",
"ocaml-base64",
"ocaml-base",
"ocaml-base_quickcheck",
"ocaml-base_bigstring",
"ocaml-bigarray-compat",
"ocaml-bigstringaf",
"ocaml-bin_prot",
"ocaml-biniou",
"ocaml-calendars",
"ocaml-camlp-streams",
"ocaml-checkseum",
"ocaml-compiler-libs",
"ocaml-configurator",
"ocaml-core",
"ocaml-core_extended",
"ocaml-core_kernel",
"ocaml-core_unix",
"ocaml-cppo",
"ocaml-cppo_ocamlbuild",
"ocaml-csexp",
"ocaml-cstruct",
"ocaml-ctypes",
"ocaml-digestif",
"ocaml-easy-format",
"ocaml-either",
"ocaml-eqaf",
"ocaml-expect_test_helpers_core",
"ocaml-expect_test_helpers_kernel",
"ocaml-fieldslib",
"ocaml-fileutils",
"ocaml-fix",
"ocaml-gen",
"ocaml-hex",
"ocaml-int_repr",
"ocaml-integers",
"ocaml-jane-street-headers",
"ocaml-jst-config",
"ocaml-lwt",
"ocaml-lwt_ppx",
"ocaml-lwt_react",
"ocaml-memtrace",
"ocaml-menhir",
"ocaml-merlin",
"ocaml-menhirLib",
"ocaml-menhirSdk",
"ocaml-coq-menhirlib",
"ocaml-dot-merlin-reader",
"ocaml-merlin-lib",
"ocaml-mew",
"ocaml-mew_vi",
"ocaml-migrate-parsetree",
"ocaml-mmap",
"ocaml-ocaml-version",
"ocaml-ocaml_intrinsics",
"ocaml-ocamlgraph",
"ocaml-ocplib-endian",
"ocaml-optint",
"ocaml-ounit2",
"ocaml-parmap",
"ocaml-parsexp",
"ocaml-patdiff",
"ocaml-patience_diff",
"ocaml-pcre",
"ocaml-pcre2",
"ocaml-pp_loc",
"ocaml-pprint",
"ocaml-ppx_assert",
"ocaml-ppx_base",
"ocaml-ppx_bench",
"ocaml-ppx_bin_prot",
"ocaml-ppx_cold",
"ocaml-ppx_compare",
"ocaml-ppx_custom_printf",
"ocaml-ppx_derivers",
"ocaml-ppx_deriving",
"ocaml-ppx_deriving_yojson",
"ocaml-ppx_disable_unused_warnings",
"ocaml-ppx_enumerate",
"ocaml-ppx_expect",
"ocaml-ppx_fields_conv",
"ocaml-ppx_fixed_literal",
"ocaml-ppx_globalize",
"ocaml-ppx_hash",
"ocaml-ppx_here",
"ocaml-ppx_ignore_instrumentation",
"ocaml-ppx_import",
"ocaml-ppx_inline_test",
"ocaml-ppx_jane",
"ocaml-ppx_let",
"ocaml-ppx_log",
"ocaml-ppx_module_timer",
"ocaml-ppx_optcomp",
"ocaml-ppx_optional",
"ocaml-ppx_pipebang",
"ocaml-ppx_sexp_conv",
"ocaml-ppx_sexp_message",
"ocaml-ppx_sexp_value",
"ocaml-ppx_stable",
"ocaml-ppx_stable_witness",
"ocaml-ppx_string",
"ocaml-ppx_tools",
"ocaml-ppx_tools_versioned",
"ocaml-ppx_tydi",
"ocaml-ppx_typerep_conv",
"ocaml-ppx_variants_conv",
"ocaml-ppxfind",
"ocaml-ppxlib",
"ocaml-protocol_version_header",
"ocaml-re",
"ocaml-record_builder",
"ocaml-result",
"ocaml-sedlex",
"ocaml-seq",
"ocaml-sexp_pretty",
"ocaml-sexplib",
"ocaml-sexplib0",
"ocaml-sha",
"ocaml-spawn",
"ocaml-splittable_random",
"ocaml-sqlite3",
"ocaml-stdcompat",
"ocaml-stdint",
"ocaml-stdio",
"ocaml-stdlib-shims",
"ocaml-stringext",
"ocaml-syntax-shims",
"ocaml-syslog",
"ocaml-time_now",
"ocaml-timezone",
"ocaml-trie",
"ocaml-typerep",
"ocaml-unidecode",
"ocaml-uri",
"ocaml-variantslib",
"ocaml-visitors",
"ocaml-wasm",
"ocaml-yojson"
]
}
]
},
{
"name": "ocaml-decompress",
"portdir": "ocaml/ocaml-decompress",
"version": "1.5.3",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/mirage/decompress",
"description": "Implementation of Zlib and GZip in OCaml",
"long_description": "Decompress is an implementation of Zlib and GZip in OCaml.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-cmdliner",
"ocaml",
"ocaml-checkseum",
"ocaml-optint",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"geneweb"
]
}
]
},
{
"name": "ocaml-crunch",
"portdir": "ocaml/ocaml-crunch",
"version": "3.3.1",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/mirage/ocaml-crunch",
"description": "Convert a filesystem into a static OCaml module",
"long_description": "Convert a filesystem into a static OCaml module",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-cmdliner",
"ocaml-ptime"
]
}
],
"depends_on": [
{
"type": "build",
"ports": [
"abella"
]
}
]
},
{
"name": "ocaml-cmdliner",
"portdir": "ocaml/ocaml-cmdliner",
"version": "2.1.1",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/cmdliner",
"description": "ocaml-cmdliner allows the declarative definition of command line interfaces for OCaml",
"long_description": "ocaml-cmdliner allows the declarative definition of command line interfaces for OCaml",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"abella",
"ocaml-alcotest",
"ocaml-bisect_ppx",
"ocaml-crunch",
"ocaml-decompress",
"ocaml-fmt",
"ocaml-js_of_ocaml-compiler",
"ocaml-logs",
"ocaml-ocamlformat",
"ocaml-ocamlformat-lib",
"ocaml-ocp-indent",
"ocaml-ptime",
"ocaml-uucp",
"ocaml-uunf",
"ocaml-uuseg",
"ocaml-uutf"
]
}
]
},
{
"name": "ocaml-camlp5-buildscripts",
"portdir": "ocaml/ocaml-camlp5-buildscripts",
"version": "0.06",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/camlp5/camlp5-buildscripts",
"description": "Camlp5 Build scripts (written in OCaml)",
"long_description": "These are build-scripts that are helpful in building Camlp5 and packages based on Camlp5. As such, they need to not depend on Camlp5. The command are not installed in a bin-directory, but in the package-directory, hence invoked via the ocamlfind package/exe method.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"bash",
"ocaml-re",
"ocaml",
"ocaml-fmt",
"ocaml-bos",
"ocaml-not-ocamlfind",
"ocaml-rresult"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"camlp5"
]
}
]
},
{
"name": "ocaml-bos",
"portdir": "ocaml/ocaml-bos",
"version": "0.3.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://erratique.ch/software/bos",
"description": "Basic OS interaction for OCaml",
"long_description": "Bos provides support for basic and robust interaction with the operating system in OCaml. It has functions to access the process environment, parse command line arguments, interact with the file system and run command line programs.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-ocamlbuild",
"ocaml-topkg",
"opam",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-astring",
"ocaml",
"ocaml-logs",
"ocaml-fpath",
"ocaml-findlib",
"ocaml-rresult",
"ocaml-fmt"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"camlp5",
"ocaml-camlp5-buildscripts"
]
}
]
},
{
"name": "ocaml-bisect_ppx",
"portdir": "ocaml/ocaml-bisect_ppx",
"version": "2.8.3",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/aantron/bisect_ppx",
"description": "Code coverage tool for OCaml and Reason",
"long_description": "Code coverage tool for OCaml and Reason",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-ppxlib",
"ocaml-cmdliner"
]
}
],
"depends_on": [
{
"type": "test",
"ports": [
"stanc3"
]
}
]
},
{
"name": "ocaml-async",
"portdir": "ocaml/ocaml-async",
"version": "0.16.0",
"license": "MIT",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/janestreet/async",
"description": "Jane Street Capitalʼs asynchronous execution library",
"long_description": "Async is a library for asynchronous programming, i.e. programming where some part of the program must wait for things that happen at times determined by some external entity (like a human or another program). This includes pretty much any program that uses blocking calls (e.g. networking code, disk access), timeouts or event loops (e.g. GUIs).",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-ppx_log",
"ocaml-async_kernel",
"ocaml-async_rpc_kernel",
"ocaml-async_unix",
"ocaml",
"ocaml-core_kernel",
"ocaml-core_unix",
"ocaml-ppx_jane",
"ocaml-textutils",
"ocaml-core",
"ocaml-findlib"
]
}
],
"depends_on": []
},
{
"name": "ocaml-alcotest",
"portdir": "ocaml/ocaml-alcotest",
"version": "1.7.0",
"license": "ISC",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://github.com/mirage/alcotest",
"description": "Lightweight and colorful test framework",
"long_description": "Alcotest exposes simple interface to perform unit tests.",
"active": true,
"categories": [
"devel",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-stdlib-shims",
"ocaml-re",
"ocaml-cmdliner",
"ocaml",
"ocaml-astring",
"ocaml-uutf",
"ocaml-syntax-shims",
"ocaml-fmt",
"ocaml-findlib"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ocaml-ppx_blob"
]
},
{
"type": "test",
"ports": [
"ocaml-utop"
]
}
]
},
{
"name": "stanc3",
"portdir": "math/stanc3",
"version": "2.35.0",
"license": "BSD",
"platforms": "darwin",
"epoch": 1,
"replaced_by": null,
"homepage": "https://mc-stan.org/stanc3/stanc",
"description": "New compiler for Stan, written in OCaml",
"long_description": "New compiler for Stan, written in OCaml",
"active": true,
"categories": [
"lang",
"math",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-menhir",
"ocaml-ppx_deriving",
"ocaml-yojson",
"python311",
"ocaml-fmt",
"ocaml-core",
"ocaml-core_kernel",
"ocaml",
"ocaml-findlib"
]
},
{
"type": "test",
"ports": [
"ocaml-bisect_ppx",
"ocaml-patdiff",
"ocaml-merlin",
"ocaml-ocamlformat",
"ocaml-ocp-indent",
"ocaml-utop"
]
}
],
"depends_on": []
},
{
"name": "abella",
"portdir": "math/abella",
"version": "2.0.8.3",
"license": "GPL-3",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://abella-prover.org",
"description": "Interactive theorem prover",
"long_description": "Abella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.",
"active": true,
"categories": [
"math",
"ocaml"
],
"maintainers": [],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml",
"ocaml-dune",
"clang-18",
"ocaml-crunch"
]
},
{
"type": "lib",
"ports": [
"ocaml-base64",
"ocaml-menhir",
"ocaml-yojson",
"ocaml-re",
"ocaml-cmdliner"
]
},
{
"type": "test",
"ports": [
"ocaml-ounit2"
]
}
],
"depends_on": []
},
{
"name": "kremlin_select",
"portdir": "lang/fstar",
"version": "1.3",
"license": "none",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://fstar-lang.org",
"description": "Obsolete port",
"long_description": "This port is obsolete.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "extract",
"ports": [
null
]
},
{
"type": "fetch",
"ports": [
null
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "patch",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
},
{
"type": "test",
"ports": [
null
]
}
],
"depends_on": []
},
{
"name": "fstar_select",
"portdir": "lang/fstar",
"version": "1.3",
"license": "none",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://fstar-lang.org",
"description": "Obsolete port",
"long_description": "This port is obsolete.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "extract",
"ports": [
null
]
},
{
"type": "fetch",
"ports": [
null
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "patch",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
},
{
"type": "test",
"ports": [
null
]
}
],
"depends_on": [
{
"type": "run",
"ports": [
"fstar"
]
}
]
},
{
"name": "fstar-devel",
"portdir": "lang/fstar",
"version": "20210824-b95d1ac",
"license": "none",
"platforms": "darwin",
"epoch": 0,
"replaced_by": "fstar",
"homepage": "https://fstar-lang.org",
"description": "Obsolete port, replaced by fstar",
"long_description": "This port has been replaced by fstar.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "extract",
"ports": [
null
]
},
{
"type": "fetch",
"ports": [
null
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "patch",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
},
{
"type": "test",
"ports": [
null
]
}
],
"depends_on": []
},
{
"name": "kremlin",
"portdir": "lang/fstar",
"version": "2022.06.08",
"license": "none",
"platforms": "darwin",
"epoch": 0,
"replaced_by": "karamel",
"homepage": "https://fstar-lang.org",
"description": "Obsolete port, replaced by karamel",
"long_description": "This port has been replaced by karamel.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18"
]
},
{
"type": "extract",
"ports": [
null
]
},
{
"type": "fetch",
"ports": [
null
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "patch",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
},
{
"type": "test",
"ports": [
null
]
}
],
"depends_on": [
{
"type": "test",
"ports": [
"fstar"
]
}
]
},
{
"name": "karamel",
"portdir": "lang/fstar",
"version": "2025.04.01",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 1,
"replaced_by": null,
"homepage": "https://fstar-lang.org",
"description": "A tool for extracting low-level F* programs to readable C code",
"long_description": "KaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"gmake",
"ocaml-dune",
"ocaml-ocamlbuild",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml-findlib",
"ocaml-fix",
"ocaml-menhir",
"ocaml-pprint",
"ocaml-ppx_deriving",
"ocaml-ppx_deriving_yojson",
"ocaml-process",
"fstar",
"ocaml-visitors",
"ocaml-wasm",
"ocaml-yojson",
"ocaml-zarith",
"coreutils",
"ocaml-uucp",
"ocaml-stdint",
"ocaml",
"ocaml-batteries",
"ocaml-fileutils"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"everparse"
]
}
]
},
{
"name": "fstar",
"portdir": "lang/fstar",
"version": "2025.03.25",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 1,
"replaced_by": null,
"homepage": "https://fstar-lang.org",
"description": "Verification system for effectful programs",
"long_description": "F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.",
"active": true,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-18",
"gmake",
"ocaml-dune",
"ocaml-ocamlbuild",
"coreutils"
]
},
{
"type": "lib",
"ports": [
"ocaml-menhir",
"ocaml-pprint",
"ocaml-ppx_deriving",
"ocaml-ppx_deriving_yojson",
"ocaml-process",
"ocaml-sedlex",
"ocaml-stdint",
"ocaml-yojson",
"ocaml-zarith",
"ocaml-ppxlib",
"ocaml-memtrace",
"ocaml-mtime",
"ocaml",
"z3-fstar",
"ocaml-batteries",
"ocaml-fileutils",
"ocaml-findlib"
]
},
{
"type": "run",
"ports": [
"fstar_select"
]
},
{
"type": "test",
"ports": [
"kremlin"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"everparse",
"karamel"
]
}
]
},
{
"name": "camlp5",
"portdir": "lang/camlp5",
"version": "8.03.01",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://camlp5.github.io/",
"description": "Camlp5 is a preprocessor-pretty-printer of OCaml.",
"long_description": "Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools. As a preprocessor, it allows to: extend the syntax of OCaml, redefine the whole syntax of the language. As a pretty printer, it allows to: display OCaml programs in an elegant way, convert from one syntax to another, check the results of syntax extensions. Camlp5 also provides some parsing and pretty printing tools: extensible grammars, extensible printers, stream parsers and lexers pretty print module. It works as a shell command and can also be used in the OCaml toplevel.",
"active": true,
"categories": [
"lang",
"ocaml"
],
"maintainers": [
{
"name": "pmetzger",
"github": "pmetzger",
"ports_count": 22
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"perl5",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ocaml",
"ocaml-findlib",
"ocaml-re",
"ocaml-camlp-streams",
"ocaml-rresult",
"ocaml-fmt",
"ocaml-bos",
"ocaml-camlp5-buildscripts"
]
}
],
"depends_on": [
{
"type": "lib",
"ports": [
"ledit",
"geneweb"
]
}
]
},
{
"name": "geneweb",
"portdir": "genealogy/geneweb",
"version": "7.1.0-beta2",
"license": "GPL-2",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "https://geneweb.tuxfamily.org/wiki/GeneWeb",
"description": "Sophisticated Genealogy System",
"long_description": "GeneWeb is sophisticated genealogy software with a web interface. It provides efficient relationship and consanguinity computing, support for very large database (i.e., hundreds of thousands of entries), and more.",
"active": true,
"categories": [
"genealogy"
],
"maintainers": [
{
"name": "pguyot",
"github": "pguyot",
"ports_count": 176
}
],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-dune",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"camlp5",
"ocaml",
"ocaml-cppo",
"ocaml-ppx_deriving",
"ocaml-yojson",
"ocaml-zarith",
"ocaml-stdlib-shims",
"ocaml-camlp-streams",
"ocaml-fmt",
"ocaml-uutf",
"ocaml-logs",
"ocaml-uucp",
"ocaml-uunf",
"ocaml-calendars",
"ocaml-jingoo",
"ocaml-ppx_blob",
"ocaml-unidecode",
"ocaml-ppx_import",
"ocaml-markup",
"ocaml-uri",
"ocaml-pp_loc",
"ocaml-digestif",
"ocaml-decompress",
"ocaml-logs-syslog"
]
}
],
"depends_on": []
},
{
"name": "ledit",
"portdir": "editors/ledit",
"version": "2.04",
"license": "BSD",
"platforms": "darwin",
"epoch": 0,
"replaced_by": null,
"homepage": "http://cristal.inria.fr/~ddr/",
"description": "A line editor to be used with interactive commands.",
"long_description": "The command ledit allows to edit lines one by one when running an interactive command. When typing a line, some keys with control or meta are interpreted: it is possible to insert characters in the middle of the line, go to the beginning or the end of the line, get a previous line, search for a line with a pattern, etc.",
"active": true,
"categories": [
"editors"
],
"maintainers": [],
"variants": [
"universal"
],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml",
"clang-18"
]
},
{
"type": "lib",
"ports": [
"ncurses",
"camlp5"
]
}
],
"depends_on": []
},
{
"name": "everparse",
"portdir": "devel/everparse",
"version": "2025.01.25",
"license": "Apache-2",
"platforms": "darwin",
"epoch": 1,
"replaced_by": null,
"homepage": "https://github.com/project-everest/everparse",
"description": "A verified secure parser framework for F*.",
"long_description": "EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.",
"active": true,
"categories": [
"devel"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"ocaml-sha",
"ocaml-sexplib",
"clang-18",
"ocaml",
"ocaml-batteries",
"ocaml-dune",
"ocaml-hex",
"ocaml-menhir",
"ocaml-ppx_deriving_yojson",
"ocaml-process",
"ocaml-yojson",
"ocaml-re"
]
},
{
"type": "lib",
"ports": [
"karamel",
"fstar"
]
}
],
"depends_on": []
},
{
"name": "kremlin-devel",
"portdir": "lang/fstar",
"version": "20210824-b95d1ac",
"license": "none",
"platforms": "darwin",
"epoch": 0,
"replaced_by": "fstar",
"homepage": "https://fstar-lang.org",
"description": "Obsolete port, replaced by fstar",
"long_description": "This port has been replaced by fstar.",
"active": false,
"categories": [
"devel",
"lang"
],
"maintainers": [
{
"name": "landonf",
"github": "landonf",
"ports_count": 84
}
],
"variants": [],
"dependencies": [
{
"type": "build",
"ports": [
"clang-16"
]
},
{
"type": "extract",
"ports": [
null
]
},
{
"type": "fetch",
"ports": [
null
]
},
{
"type": "lib",
"ports": [
null
]
},
{
"type": "patch",
"ports": [
null
]
},
{
"type": "run",
"ports": [
null
]
},
{
"type": "test",
"ports": [
null
]
}
],
"depends_on": []
}
]
}