[ bianca ]

[ ソース: coq-menhirlib ]

パッケージ: libcoq-menhirlib (20240715+ds-1 など)

libcoq-menhirlib に関するリンク

eLxr パッチ追跡システム

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

メンテナ:

外部の資源:

ホームページ [coquelicot.inria.fr]

類似のパッケージ:

support library for Coq-verified Menhir parsers

This package provides a support library for verified Coq parsers produced by Menhir.

Menhir is a LR(1) parser generator for the OCaml programming language and Coq is a proof assistant for higher-order logic.

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

依存

推奨

提案

enhances

dep: libcoq-stdlib-1ns11 [arm64]

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

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

libcoq-menhirlib のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	20240715+ds-1+b6	1,250.5 kB	3,467.0 kB	[ファイル一覧]
arm64	20240715+ds-1+b5	1,250.5 kB	3,467.0 kB	[ファイル一覧]