Package: libcoq-mathcomp-boot
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 19451
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Provides: libcoq-mathcomp-boot-vm7y6
Depends: libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-boot_2.6.0-3build2_amd64.deb
Size: 6834944
SHA512: c4b18e7b5e2e956ffaafd2a6e8991b9d0148eca32aa865bc4eaab520b181cd914bafe1c193bbb72e45d029f732badb5344db5ef66dbc510bdf764bcd21b64c21
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (boot)
Description-md5: d9b3cd81273aefbdd7b0fde2f06b23d6
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug