Package: libcoq-mathcomp-algebra-tactics
Architecture: amd64
Version: 1.2.3-1build5
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: 2092
Provides: libcoq-mathcomp-algebra-tactics-k8nw9
Depends: libcoq-elpi-wqat9, libcoq-mathcomp-algebra-kgjy6, libcoq-mathcomp-ssreflect-y5tl2, libcoq-mathcomp-zify-6q1x8
Suggests: ocaml-findlib
Filename: pool/universe/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.3-1build5_amd64.deb
Size: 602798
MD5sum: d771fc439ec3912cf686ff12011a0172
SHA1: c213e51c57f3e523cb154574cf88b0e50b3f194b
SHA256: 38ce09c7eb91a452742345bc2d52c5c56593b6247426df1ff56a584773438a45
SHA512: 9b7054d632a9d78d743ab1a32b04894e83764e2df27a108cd49dcfc8be837a89729586dbcaaa3fcfba56abfd492a3d656539d8070505c344983a8afb4a4d1b0a
Homepage: https://github.com/math-comp/algebra-tactics
Description: Ring and field tactics for Mathematical Components
Description-md5: b500f100ae04143be5718038beb809bc