{"schema_version":1,"metadata":{"branch":"release","release":"8.0","architecture":"amd64","generated_at":"2026-10-21T02:35:53.703506+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/8.0/packages/amd64/sqlports-7.55.tgz","source_sha256":"393d2bd6f5b23c8ba1809ec63f3e8310d7787d329b7350089609a078eb01a387","package_count":12098,"source_kind":"sqlports"},"package":{"name":"rocq-8.20.1p2","path":"math/rocq","url":"/packages/release/math/rocq/","comment":"proof assistant based on a typed lambda calculus","homepage":"https://rocq-prover.org/","maintainer":"Yozo Toda <yozo@v007.vaio.ne.jp>","description":"The Rocq Prover, formerly known as the Coq Proof Assistant, is an\ninteractive theorem prover, or proof assistant. It provides a formal\nlanguage to write mathematical definitions, executable algorithms\nand theorems together with an environment for semi-interactive\ndevelopment of machine-checked proofs.\n","description_source":null,"description_unresolved":[],"package_architecture":"amd64","stem":"rocq","readme":null,"dependencies":[{"path":"devel/gmp","type":"library","package_spec":"","url":"/packages/release/devel/gmp/"},{"path":"x11/lablgtk3","type":"runtime","package_spec":"","url":"/packages/release/x11/lablgtk3/"},{"path":"math/ocaml-zarith","type":"runtime","package_spec":"","url":"/packages/release/math/ocaml-zarith/"},{"path":"sysutils/findlib","type":"runtime","package_spec":"","url":"/packages/release/sysutils/findlib/"},{"path":"lang/ocaml","type":"runtime","package_spec":"","url":"/packages/release/lang/ocaml/"},{"path":"x11/lablgtk3","type":"build","package_spec":"","url":"/packages/release/x11/lablgtk3/"},{"path":"math/ocaml-zarith","type":"build","package_spec":"","url":"/packages/release/math/ocaml-zarith/"},{"path":"shells/bash","type":"build","package_spec":"","url":"/packages/release/shells/bash/"},{"path":"sysutils/findlib","type":"build","package_spec":"","url":"/packages/release/sysutils/findlib/"},{"path":"devel/dune","type":"build","package_spec":"","url":"/packages/release/devel/dune/"},{"path":"lang/ocaml","type":"build","package_spec":"","url":"/packages/release/lang/ocaml/"},{"path":"devel/gmake","type":"build","package_spec":"","url":"/packages/release/devel/gmake/"}],"reverse_dependencies":{"count":1,"url":"/packages/data/d8/d8fc529bafe7f0070960bac230aeadb11ed5139b0c6ffc54def13e616457c143.json"},"categories":["math"],"flavors":[],"only_for_architectures":["aarch64","amd64","i386"],"not_for_architectures":[]}}