Package: libcoq-extructures
Architecture: amd64
Version: 0.4.0-1build5
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: 2689
Provides: libcoq-extructures-lx0z8
Depends: libcoq-deriving-72b52, libcoq-mathcomp-ssreflect-y5tl2, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-extructures/libcoq-extructures_0.4.0-1build5_amd64.deb
Size: 731708
MD5sum: 015ff033bb4b0939e516d2f16ace6643
SHA1: e58e258f35ee6d4a5baa040ca3ab55389dc0e50c
SHA256: 07cce3d5b62eff75b77e2be2fa950d50090bea09778be3290267e95b050361bb
SHA512: 8926ee5c500678b67d227cad3b193cf89efb144c5a0e7be1bf8b82e82d9381c20c3cd654f27deba7104f13596e89ac9ab1df21695fff81cefdf819fe80445015
Homepage: https://github.com/arthuraa/extructures/
Description: data structures with extensional reasoning for Coq
Description-md5: 0c8bbd733f0477a3e66701a1b6d2b4c2