Package: libcoq-extructures
Architecture: amd64
Version: 0.3.1-3build2
Priority: optional
Section: universe/ocaml
Source: coq-extructures
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2059
Provides: libcoq-extructures-2xdm4
Depends: libcoq-deriving-t6yg9, libcoq-mathcomp-ssreflect-rfbo8, libcoq-stdlib-jkdo7
Filename: pool/universe/c/coq-extructures/libcoq-extructures_0.3.1-3build2_amd64.deb
Size: 669656
MD5sum: 9f5c5b8e8d9993821484f738139e704d
SHA1: d9fc1a921bc21f296d8063caac3b0032a83ebdec
SHA256: 98e3cfe6ed59635d5e54961ce62f2c8392d8b83f60816ac235e936ddbee794d2
SHA512: 9583fd3864728f7db2724b3c851e65cdee0278c0fbc6299162d61a0fd9dc3a3e14eca0d1e41390841cbc274d08a825668c7353ca980033e72dd78a9629e0f216
Homepage: https://github.com/arthuraa/extructures/
Description: data structures with extensional reasoning for Coq
Description-md5: 0c8bbd733f0477a3e66701a1b6d2b4c2