Package: libcoq-extructures
Source: coq-extructures
Version: 0.5.0-1build15
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2684
Depends: libcoq-deriving-6nlc6, libcoq-mathcomp-ssreflect-bqio0, libcoq-stdlib-sbhb9
Provides: libcoq-extructures-wwji0
Section: ocaml
Priority: optional
Homepage: https://github.com/arthuraa/extructures/
Description: data structures with extensional reasoning for Coq
 This Coq plugin provides finite sets, maps and
 other data structures with extensional reasoning.
 .
 Coq is a proof assistant for higher-order logic.
