[ bianca ]

Pakiet źródłowy: coq-serapi (8.20.0+0.20.0-1)

Odnośniki dla coq-serapi

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

adep: coq

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

Pakiet niedostępny
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

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/ocaml-team/coq-serapi.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/ocaml-team/coq-serapi