Package: libcoq-extructures
Source: coq-extructures
Priority: optional
Section: universe/ocaml
Installed-Size: 2684
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.5.0-1build15
Provides: libcoq-extructures-wp3d7
Depends: libcoq-deriving-o3e07, libcoq-mathcomp-ssreflect-ak300, libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-extructures/libcoq-extructures_0.5.0-1build15_amd64.deb
Size: 841254
MD5sum: b4a1c7017df118c8c7f01a64b8f81809
SHA1: 9c79d5fa4b23ae7b6e386db1d4759cd02868fcf1
SHA256: c6206134b72a5cc3d1ffbdc94700d2bb7d452afe8330b9a23511ba96b7c6f393
SHA512: 3a24c71a314bffe21b1f5662051d2d4a67132cb676c64af227295881dfcd4e38109f4d7e02eee3dbe6f1250740172258024e310848a460c134daf11001328609
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