Пакунок: libcoq-menhirlib (20231231+ds-1 and others)

[ Source: coq-menhirlib  ]

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

• dep: libcoq-stdlib-84f80 [amd64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-8u5j8 [armhf]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-97v84 [arm64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-l2kk4 [riscv64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-n0k10 [ppc64]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-nhhu6 [ppc64el]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-tp8b6 [i386]

  virtual package provided by libcoq-stdlib

• dep: libcoq-stdlib-wsmp7 [s390x]

  virtual package provided by libcoq-stdlib

Завантажити libcoq-menhirlib

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
amd64	20231231+ds-1+b1	1,236.4 kB	4,897.0 kB	[список файлів]
arm64	20231231+ds-1+b1	1,236.4 kB	4,897.0 kB	[список файлів]
armhf	20231231+ds-1+b1	1,236.0 kB	4,894.0 kB	[список файлів]
i386	20231231+ds-1+b1	1,236.1 kB	4,894.0 kB	[список файлів]
ppc64 (unofficial port)	20230608+ds-1+b2	1,431.3 kB	5,773.0 kB	[список файлів]
ppc64el	20231231+ds-1+b1	1,236.5 kB	4,897.0 kB	[список файлів]
riscv64	20231231+ds-1+b1	1,236.4 kB	4,897.0 kB	[список файлів]
s390x	20231231+ds-1+b1	1,237.0 kB	4,897.0 kB	[список файлів]