Package: libcoq-mathcomp-algebra-tactics
Source: mathcomp-algebra-tactics
Priority: optional
Section: universe/ocaml
Installed-Size: 4116
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.2.7-5build1
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-algebra-tactics-o4xw3
Depends: libcoq-elpi-shov2, libcoq-mathcomp-algebra-qptj6, libcoq-mathcomp-ssreflect-aj4k8, libcoq-mathcomp-zify-4i513
Filename: pool/universe/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.7-5build1_amd64.deb
Size: 1142390
SHA512: 7319991ccde9279f662a0e5f15ca941a093620f76ecfcfe0195222c200bd749675c3ef0e64dc1e44bc92e1dedf6eef5c136672c47fe480a45276b55bb11202b3
Homepage: https://github.com/math-comp/algebra-tactics
Description: Ring and field tactics for Mathematical Components
Description-md5: b500f100ae04143be5718038beb809bc
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug