Package: libcoq-extructures
Architecture: amd64
Version: 0.5.0-1build6
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: 2684
Provides: libcoq-extructures-hxif0
Depends: libcoq-deriving-0mr85, libcoq-mathcomp-ssreflect-rrbv4, libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-extructures/libcoq-extructures_0.5.0-1build6_amd64.deb
Size: 842512
MD5sum: f8b3d3f4cff0ae3233a559d648a146dc
SHA1: d8f6e7888ad4a9f00a3901e6e93627f1e78649aa
SHA256: d4973adb787fa442de8d78056c5a6424c50e5810bfb30d9792c8c773867e0bcc
SHA512: 7dca09f3889dcce20f31577cfd7be4ca193ff648684ddb1dababd254bc156c6ed6ff8a712f1dad7eadf854b49d49c027efbdbd1f1515ddb82e2ca623a4e3ae49
Homepage: https://github.com/arthuraa/extructures/
Description: data structures with extensional reasoning for Coq
Description-md5: 0c8bbd733f0477a3e66701a1b6d2b4c2