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