[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ ソース: coq-record-update ]

パッケージ: libcoq-record-update (0.3.4-4 など)

libcoq-record-update に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

Coq is a proof assistant for higher-order logic.

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

依存

推奨

提案

enhances

dep: libcoq-stdlib-1ns11 [arm64]

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

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

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

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

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

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

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

libcoq-record-update のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.3.4-4+b4	14.3 kB	58.0 kB	[ファイル一覧]
arm64	0.3.4-4+b4	14.3 kB	58.0 kB	[ファイル一覧]
loong64 (非公式の移植版)	0.3.4-3	14.3 kB	60.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	0.3.4-3	14.3 kB	60.0 kB	[ファイル一覧]
ppc64el	0.3.4-4+b4	14.3 kB	58.0 kB	[ファイル一覧]
riscv64	0.3.4-4+b4	14.3 kB	58.0 kB	[ファイル一覧]
s390x	0.3.4-4+b4	14.2 kB	58.0 kB	[ファイル一覧]