Package: libcoq-extructures
Source: coq-extructures
Priority: optional
Section: universe/ocaml
Installed-Size: 2119
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.5.0-6build2
Provides: libcoq-extructures-lbgc0
Depends: libcoq-deriving-8s7y8, libcoq-mathcomp-ssreflect-aj4k8, libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-extructures/libcoq-extructures_0.5.0-6build2_amd64.deb
Size: 819978
SHA512: c2ec628867d2b5713ba1ba1aca039d21a9a13d201ed09d450f3f4b9c606ab89317c5749a381479870c0256a59d81ad3fa8afd068ca43d0f4b85293de3428f83d
Homepage: https://github.com/arthuraa/extructures/
Description: data structures with extensional reasoning for Coq
Description-md5: 0c8bbd733f0477a3e66701a1b6d2b4c2
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug