Package: libcoq-mathcomp-algebra-tactics
Architecture: amd64
Version: 1.2.4-1build1
Priority: optional
Section: universe/ocaml
Source: mathcomp-algebra-tactics
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: 3418
Provides: libcoq-mathcomp-algebra-tactics-2bc69
Depends: libcoq-elpi-wljb8, libcoq-mathcomp-algebra-tliv7, libcoq-mathcomp-ssreflect-rrbv4, libcoq-mathcomp-zify-g6ie9
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1build1_amd64.deb
Size: 911872
MD5sum: fea84aef8a12da6408e6bb11ee503c71
SHA1: 63633e325597e298ebfa80953b2377297648c52f
SHA256: c2aae4592146a48956de8ffff76feb8666c2eb5bc44bb9fe83fdcb8f337f6873
SHA512: 664aed26d8616bfe241f1eae2d8f7a74e86cff9f36f13bd34cf12606354420f17a48ece34702084cddc6904427880f072d7ac5eee5d698bca4c00e11546020b0
Homepage: https://github.com/math-comp/algebra-tactics
Description: Ring and field tactics for Mathematical Components
Description-md5: b500f100ae04143be5718038beb809bc