Package: libcoq-mathcomp-algebra
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 47306
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-algebra-stlv8
Depends: libcoq-mathcomp-fingroup (= 2.3.0-1build19), libcoq-hierarchy-builder-trjw2, libcoq-stdlib-83lq0
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.3.0-1build19_amd64.deb
Size: 13836652
MD5sum: 5085df356c237c060737d4ec6667b5a5
SHA1: 56464695dee71fe2883c44f11f60f7da4eef9a8e
SHA256: c0f7b3c34a1c74a00a3e7f9ba03a692d8573ff6c643699a974ac9e956ff16efd
SHA512: 82f7d6163b8026fa2a99f6a78b526cf614d58e5ee78ab178473c7196f72ddc063e7a278938114e6dd9aec7d82f85d716bb6daac31da874d888d29bd6ad0d0883
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug