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

Source Package: coq-dpdgraph (1.0+8.20-1build8) [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.orig.tar.gz	64.7 kt	fa2ddb45b3eaf9ead35c44ebcddd1152
coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz	3.4 kt	7849f357c2fda55c428e8a989368e541
coq-dpdgraph_1.0+8.20-1build8.dsc	2.2 kt	2d70391bc1e19be11826fa5227b0b8fa

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