Package: libcoq-mathcomp-algebra
Architecture: amd64
Version: 2.1.0-1build4
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: 37351
Provides: libcoq-mathcomp-algebra-kgjy6
Depends: libcoq-mathcomp-fingroup (= 2.1.0-1build4), libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-algebra_2.1.0-1build4_amd64.deb
Size: 10320130
MD5sum: 62da92726937f308377a0452cd8a2cad
SHA1: 03d4a67c9db5ee044f19176c96de0e1f93f5e0c8
SHA256: 1854f9115de75bf88afc3344767a6538e40057f7770a0bf9d49ba04b4d37f4c4
SHA512: a86479168b1c5fd68505c6bb1fa0a51ae3cc1290299dc7135f9adfc7cd9d4493ebb61f58cb27e61a8607b607e4953065f6b3f22243a12f4c65c9d37090660559
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (algebra)
Description-md5: 402a51057693053e1578bf2afd16f6e3