[ bianca ]

Quellcode-Paket: coq-serapi (8.20.0+0.20.0-1)

Links für coq-serapi

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

adep: coq

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

Paket nicht verfügbar
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

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/ocaml-team/coq-serapi.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/ocaml-team/coq-serapi