namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

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

Verwijzigingen voor coq-deriving

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mailarchief)
• Julien Puydt

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

Externe bronnen:

• Homepage [github.com]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

libcoq-deriving

deriving MathComp classes from inductive types

Andere aan coq-deriving gerelateerde pakketten

build-depends

build-depends-indep

• adep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• adep: debhelper-compat (= 13)

  Pakket niet beschikbaar

• adep: dh-coq

  debhelper tool for Coq-related Debian packages

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: libcoq-mathcomp-ssreflect

  Mathematical Components library for Coq (small scale reflection)

• adep: libcoq-core-ocaml-dev

  development libraries and tools for Coq

• adep: libcoq-stdlib

  proof assistant for higher-order logic (theories)

Download coq-deriving

Bestand	Grootte (in kB)	MD5 checksum
coq-deriving_0.2.1.orig.tar.gz	31,1 kB	f3e719683702edbc50fd725d683119c1
coq-deriving_0.2.1-1build14.debian.tar.xz	2,5 kB	8d66562669d715908cc5d94be28cbc84
coq-deriving_0.2.1-1build14.dsc	2,1 kB	179aa6974d457f00299fc0c64a4ce8ea

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/ocaml-team/coq-deriving.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/ocaml-team/coq-deriving