Package - libcoq-mathcomp-solvable

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/ssreflect/libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb (Size: 4.6MiB)

Property	Value
Package	libcoq-mathcomp-solvable
Source	ssreflect (2.3.0-1)
Version	2.3.0-1+b7
Installed-Size	17170
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libssreflect-coq
Provides	libcoq-mathcomp-solvable-pljy8
Depends	libcoq-mathcomp-algebra (= 2.3.0-1+b7), libcoq-hierarchy-builder-x91u3, libcoq-stdlib-68yx1
Breaks	libssreflect-coq (<= 2.3.0-1+b7)
Description	Mathematical Components library for Coq (finite groups II)
Description-md5	1a7210a8e613050539efbce3f6024942
Homepage	https://math-comp.github.io/math-comp/
Section	math
Priority	optional
Filename	pool/main/s/ssreflect/libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb
Size	4865908
MD5sum	f3c9cd473429c42616fa7b5754bb6baf
SHA256	ec712947b9ca2785352ca05e6392a469499f76384db903ed8669cb102bf47439

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/abelian.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/abelian.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/abelian.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/all_solvable.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/all_solvable.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/all_solvable.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/alt.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/alt.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/alt.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/burnside_app.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/burnside_app.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/burnside_app.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/center.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/center.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/center.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/commutator.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/commutator.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/commutator.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/cyclic.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/cyclic.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/cyclic.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extraspecial.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extraspecial.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extraspecial.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extremal.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extremal.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/extremal.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/finmodule.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/finmodule.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/finmodule.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/frobenius.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/frobenius.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/frobenius.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gfunctor.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gfunctor.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gfunctor.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gseries.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gseries.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/gseries.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/hall.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/hall.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/hall.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/jordanholder.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/jordanholder.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/jordanholder.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/maximal.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/maximal.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/maximal.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/nilpotent.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/nilpotent.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/nilpotent.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/pgroup.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/pgroup.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/pgroup.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/primitive_action.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/primitive_action.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/primitive_action.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/sylow.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/sylow.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/solvable/sylow.vo
• /usr/share/doc/libcoq-mathcomp-solvable/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-solvable/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-solvable/changelog.gz
• /usr/share/doc/libcoq-mathcomp-solvable/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-solvable.checksum