[ noble ] [ questing ] [ resolute ] [ stonking ]

Source Package: coq-dpdgraph (1.0+8.20-1build4) [universe]

Links for coq-dpdgraph

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

coq-dpdgraph-tools: Coq plugin to extract dependencies between Coq objects (tools)
libcoq-dpdgraph: Coq plugin to extract dependencies between Coq objects

adep: coq (>= 8.18)

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

Paketti ei saatavilla
adep: dh-coq

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

helper tools for maintaining OCaml-related Debian packages
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdlib

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

graph library for OCaml

Tiedosto	Koko (kt)	MD5-tarkiste
coq-dpdgraph_1.0+8.20-1build4.dsc	2.2 kt	349f112e9392e7feec234ba4f86a78b4
coq-dpdgraph_1.0+8.20.orig.tar.gz	64.7 kt	fa2ddb45b3eaf9ead35c44ebcddd1152
coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz	3.2 kt	8c1f6a5fc46e878c3cd62f321b708312

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/coq-dpdgraph