Package: libcoq-mathcomp-algebra-tactics
Source: mathcomp-algebra-tactics
Priority: optional
Section: universe/ocaml
Installed-Size: 3422
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.2.4-1build10
Suggests: ocaml-findlib
Provides: libcoq-mathcomp-algebra-tactics-63d57
Depends: libcoq-elpi-m4al6, libcoq-mathcomp-algebra-stlv8, libcoq-mathcomp-ssreflect-ak300, libcoq-mathcomp-zify-a50p6
Filename: pool/universe/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.4-1build10_amd64.deb
Size: 911448
MD5sum: ab7d532dd0cda9ecdb0b8b303a7dad38
SHA1: 11112933b12e69ec5011d47a01b32e603156ec1c
SHA256: 511f99ce12f829bbe3048dbb0853f8f0f0beb79f59373f19c27625e0e4838b8a
SHA512: 70892e307dab015334bfbfb377d411cfd558f7f88b1d96d59ab8102f920da9215e74aad4b39b09bb7b7efea97607abad89d3507e654bfd8a9dc8380cfbe54678
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