[ Source: coq-simple-io ]
Package: libcoq-simple-io (1.8.0-4 and others)
Links for libcoq-simple-io
Debian Resources:
Download Source Package coq-simple-io:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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.
Other Packages Related to libcoq-simple-io
|
|
|
|
-
- dep: libcoq-ext-lib-3toz0 [riscv64]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-jlal4 [arm64]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-mbs27 [amd64]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-nf624 [armhf]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-q4rt3 [ppc64el]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-qnqn9 [ppc64]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-ut615 [s390x]
- virtual package provided by libcoq-ext-lib
-
- dep: libcoq-ext-lib-x81b0 [i386]
- virtual package provided by libcoq-ext-lib
-
- 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
Download libcoq-simple-io
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.8.0-4+b1 | 88.5 kB | 718.0 kB | [list of files] |
arm64 | 1.8.0-4+b1 | 90.7 kB | 870.0 kB | [list of files] |
armhf | 1.8.0-4+b1 | 87.3 kB | 667.0 kB | [list of files] |
i386 | 1.8.0-4+b1 | 86.7 kB | 673.0 kB | [list of files] |
ppc64 (unofficial port) | 1.8.0-3+b2 | 88.9 kB | 864.0 kB | [list of files] |
ppc64el | 1.8.0-4+b1 | 88.9 kB | 742.0 kB | [list of files] |
riscv64 | 1.8.0-4+b1 | 88.6 kB | 718.0 kB | [list of files] |
s390x | 1.8.0-4+b1 | 88.2 kB | 718.0 kB | [list of files] |