Package - libcoq-mathcomp-fingroup

Primary informations

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

Property	Value
Package	libcoq-mathcomp-fingroup
Source	ssreflect (2.3.0-1)
Version	2.3.0-1+b7
Installed-Size	8603
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libssreflect-coq
Provides	libcoq-mathcomp-fingroup-ibaa9
Depends	libcoq-mathcomp-ssreflect (= 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)
Description-md5	a3c104270704751f92a4ae03a396fd7b
Homepage	https://math-comp.github.io/math-comp/
Section	math
Priority	optional
Filename	pool/main/s/ssreflect/libcoq-mathcomp-fingroup_2.3.0-1+b7_amd64.deb
Size	2300100
MD5sum	eb8efad2c30031dc664840aef8f66afe
SHA256	073dd71ff82438d547c55c548fe763bb8b9d49a5181d6eea7e0ba11b05a800e8

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/action.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/action.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/action.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/all_fingroup.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/automorphism.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/automorphism.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/automorphism.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/fingroup.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/fingroup.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/fingroup.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/gproduct.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/gproduct.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/gproduct.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/morphism.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/morphism.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/morphism.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/perm.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/perm.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/perm.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/presentation.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/presentation.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/presentation.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/quotient.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/quotient.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/fingroup/quotient.vo
• /usr/share/doc/libcoq-mathcomp-fingroup/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-fingroup/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-fingroup/changelog.gz
• /usr/share/doc/libcoq-mathcomp-fingroup/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-fingroup.checksum