{"schema_version":1,"metadata":{"branch":"current","release":"8.0","architecture":"amd64","generated_at":"2026-10-21T02:36:06.049247+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"a9ce8ec55a8fe364fc54ad95f17013a9932c665a6e50e55f31cee56f1d69cccc","package_count":12123,"source_kind":"sqlports"},"package":{"name":"p9m4-05p7","path":"math/prover9/p9m4","url":"/packages/current/math/prover9/p9m4/","comment":"prover9/mace4 GUI","homepage":"http://www.cs.unm.edu/%7Emccune/prover9/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"GUI for the LADR (prover9 mace4) tools.\n","description_source":null,"description_unresolved":[],"package_architecture":"amd64","stem":"p9m4","readme":null,"dependencies":[{"path":"devel/py-modulegraph","type":"runtime","package_spec":"","url":"/packages/current/devel/py-modulegraph/"},{"path":"math/prover9/ladr","type":"runtime","package_spec":"","url":"/packages/current/math/prover9/ladr/"},{"path":"x11/py-wxPython","type":"runtime","package_spec":"","url":"/packages/current/x11/py-wxPython/"},{"path":"lang/python/3","type":"runtime","package_spec":"","url":"/packages/current/lang/python/3/"},{"path":"lang/python/3","type":"build","package_spec":"","url":"/packages/current/lang/python/3/"}],"reverse_dependencies":{"count":2,"url":"/packages/data/55/5573c1f064ed8211d10d5859d054878e82e1acc660758b187b4e0f25310672ea.json"},"categories":["math","lang/python"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa"],"not_for_architectures":[]}}