Package: libcoq-mathcomp-algebra
Architecture: amd64
Version: 2.3.0-1build12
Priority: optional
Section: universe/math
Source: ssreflect
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: 47312
Provides: libcoq-mathcomp-algebra-ia346
Depends: libcoq-mathcomp-fingroup (= 2.3.0-1build12), libcoq-hierarchy-builder-jddc4, libcoq-stdlib-kgau6
Breaks: libssreflect-coq (<= 2.3.0-1build12)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.3.0-1build12_amd64.deb
Size: 13835722
MD5sum: f88f971c0db06d1fb3cc60758ed30013
SHA1: f622f788cba0f0b197e483a2f75022d4de3e58e9
SHA256: 43d3bb1af197552dad4625e42af182c25715acfd0ebf02080010d665fd3026f0
SHA512: 7290d058780fc8e953ec0cb1d4b04681ba7305d8a02706cffad31fe7ca18b0d4a9ecb42e378de32289e6176e7f63f853f6f7134cb45718e64315885b4a936c8f
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3