Package: libcoq-mathcomp-abel
Source: mathcomp-abel
Priority: optional
Section: universe/ocaml
Installed-Size: 4134
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.2.1-2build4
Provides: libcoq-mathcomp-abel-2o2d0
Depends: libcoq-mathcomp-algebra-cajr9, libcoq-mathcomp-field-xgnt3, libcoq-mathcomp-fingroup-z4ye4, libcoq-mathcomp-real-closed-03n80, libcoq-mathcomp-solvable-oyxl4, libcoq-mathcomp-ssreflect (>= 1.17)
Filename: pool/universe/m/mathcomp-abel/libcoq-mathcomp-abel_1.2.1-2build4_amd64.deb
Size: 1730186
MD5sum: 3f455b3c40d9d8e9be80b3d3bb526192
SHA1: b74d56771f5d1f940582507d9788c668089b19fc
SHA256: 59844d9be3b6b32736d72067f3d57a096d82bb1e94d4a4be97014c132e061cfd
SHA512: f783da4adefdb1d24dff99da2b7e69dc623fedf0a5fb625345c3dbec9acbb8c00286e8364f66f85a6bc37eff259cd4d0a3859b6a1ccc85bd4e2bbc7d25c50bd1
Homepage: https://github.com/math-comp/abel
Description: Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Description-md5: 3adc2407c3df0e5de782fe2f159ef52b
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug