[ bianca ]

源码包：coq-serapi（8.20.0+0.20.0-1）

coq-serapi 的相关链接

本源码包构建了以下这些二进制包：

adep: coq

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: help2man

Automatic manpage generator
adep: libcmdliner-ocaml-dev

declarative definition of command line interfaces
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)
adep: libppx-deriving-ocaml-dev

type-driven code generation for OCaml (dev files)
adep: libppx-deriving-yojson-ocaml-dev

OCaml syntax extension for JSON serialization
adep: libppx-hash-ocaml-dev

ppx writer generating hash functions (development)
adep: libppx-import-ocaml-dev

OCaml extension to import declarations (development)
adep: libppx-sexp-conv-ocaml-dev

generation of S-expressions from type definitions (dev files)
adep: libppxlib-ocaml-dev

meta-programming for OCaml
adep: libsexplib-ocaml-dev

automated conversions between OCaml-values and S-expressions (dev files)
adep: libyojson-ocaml-dev (>= 2.2)

JSON library for OCaml - development package
adep: ocaml-dune

composable build system for OCaml projects
adep: ocaml-findlib

management tool for OCaml libraries