Package: libcoq-mathcomp-abel
Source: mathcomp-abel
Version: 1.2.1-2build4
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 4134
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)
Provides: libcoq-mathcomp-abel-2o2d0
Section: ocaml
Priority: optional
Homepage: https://github.com/math-comp/abel
Description: Abel-Galois and Abel-Ruffini theorems for Mathematical Components
 This package provides proofs of the Abel-Galois (solvability by
 radicals and solvability of the Galois group) and of the Abel-Ruffini
 theorem (general unsolvability of the quintic equations) using the
 Mathematical Components library.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.
