Binary package libcoq-equations/1.3-8.19-2+b2 in landing @ pureos

libcoq-equations - 1.3-8.19-2+b2 main

This library provides a notation to write programs using dependent
pattern-matching and well-founded recursion in Coq.
.
Coq is a proof assistant for higher-order logic.

Priority: optional
Section: ocaml
Suites: crimson dawn landing
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>

Homepage Source Package

This package is currently not installable!

Conflicts amd64

libc6 vs. base-files

Conflicts arm64

libc6 vs. base-files

Dependencies

libcoq-hott-pj6b4
libcoq-stdlib-cw0z4

Installed Size: 8.6 MB
Architectures: amd64 arm64

Versions

1.3-8.19-2+b2 arm64 1.3-8.19-2+b2 amd64