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
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