sci-mathematics/
coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

https://github.com/ejgallego/coq-serapi/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
0.17.0  : 0/0.17.0 ~amd64 ?x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
0.16.3  : 0/0.16.3 ~amd64 ?x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
0.16.2-r1  : 0/0.16.2 ~amd64 ?x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc
0.16.1  : 0/0.16.1 ~amd64 ?x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc

Package Metadata