Package: libcoq-mathcomp-algebra-tactics
Architecture: amd64
Version: 1.2.3-4build6
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: 2133
Provides: libcoq-mathcomp-algebra-tactics-dqo88
Depends: libcoq-elpi-dsxd7, libcoq-mathcomp-algebra-lyc29, libcoq-mathcomp-ssreflect-uyii6, libcoq-mathcomp-zify-rno17
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.3-4build6_amd64.deb
Size: 616944
MD5sum: 70e2038006286c628e1b38a269958a9a
SHA1: a18a48ed5f13b0bedbaecdc531f7ce7c7e4d31e8
SHA256: 88e7f8e75952ef63a010674c563dc5ff7196c628eae63f89e48fc09f0497e999
SHA512: d20daac73ec28419e6ac8fbf84d2f8756dfa06ec180aa188813ee7d24d1a05a6e1e2b70daf79e696e14a093fbb630f1144388fb0343fe5a4223a142998c8643b
Homepage: https://github.com/math-comp/algebra-tactics
Description: Ring and field tactics for Mathematical Components
Description-md5: b500f100ae04143be5718038beb809bc