パッケージ: libcoq-deriving (0.2.1-1 など)

libcoq-deriving に関するリンク

• eLxr パッチ追跡システム

coq-deriving ソースパッケージをダウンロード:

• [coq-deriving_0.2.1-1.debian.tar.xz]
• [coq-deriving_0.2.1-1.dsc]
• [coq-deriving_0.2.1.orig.tar.gz]

メンテナ:

• Debian OCaml Maintainers
• Julien Puydt

外部の資源:

• ホームページ [github.com]

類似のパッケージ:

• libcoq-quickchick
• quickchick
• libcoq-math-classes
• libcoq-stdpp
• libcoq-simple-io
• libcoq-unimath
• libghc-agda-dev
• libcoq-mathcomp-character
• libcoq-mathcomp-classical
• libghc-agda-doc
• coq

その他の libcoq-deriving 関連パッケージ

• dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

  以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect

• dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

  以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect

• dep: libcoq-stdlib-1ns11 [arm64]

  以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

• dep: libcoq-stdlib-68yx1 [amd64]

  以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

libcoq-deriving のダウンロード