Paketti: libcoq-simple-io (1.8.0-2 ja muut)

[ Source: coq-simple-io  ]

Coq plugin for purely functional IO

This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's.

Coq is a proof assistant for higher-order logic.

Muut pakettiin libcoq-simple-io liittyvät paketit

• dep: libcoq-ext-lib-66g51 [i386]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-fi3y7 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-ov5q1 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-sgfs9 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-spew7 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-ext-lib-usvi5 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-ext-lib

• dep: libcoq-stdlib-bj4w1 [i386]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ctiy2 [arm64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ewsr6 [amd64]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ig513 [ppc64el]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-ntv04 [s390x]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

• dep: libcoq-stdlib-u2uh4 [armhf]

  näennäispaketti, jonka toteuttaa libcoq-stdlib

Imuroi libcoq-simple-io

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.8.0-2+b1	87.6 kt	704.0 kt	[tiedostoluettelo]
arm64	1.8.0-2+b1	90.0 kt	854.0 kt	[tiedostoluettelo]
armhf	1.8.0-2+b1	86.4 kt	651.0 kt	[tiedostoluettelo]
i386	1.8.0-2+b1	85.9 kt	659.0 kt	[tiedostoluettelo]
ppc64el	1.8.0-2+b1	88.1 kt	726.0 kt	[tiedostoluettelo]
s390x	1.8.0-2+b1	87.6 kt	702.0 kt	[tiedostoluettelo]