Package - libcoq-mathcomp-character

Primary informations

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

Property	Value
Package	libcoq-mathcomp-character
Source	ssreflect (2.3.0-1)
Version	2.3.0-1+b7
Installed-Size	15357
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Replaces	libssreflect-coq
Provides	libcoq-mathcomp-character-sk9h1
Depends	libcoq-mathcomp-field (= 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 (character)
Description-md5	b3a4f562c34593b33ba8ad962a117066
Homepage	https://math-comp.github.io/math-comp/
Section	math
Priority	optional
Filename	pool/main/s/ssreflect/libcoq-mathcomp-character_2.3.0-1+b7_amd64.deb
Size	4289280
MD5sum	7afbb73995d1f5cd974f4edda9cecd3c
SHA256	5d32dc56e0f5322cb73425c1fa85d53035d2f13cf6c7273f29be21922b067fe4

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/all_character.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/all_character.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/all_character.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/character.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/character.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/character.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/classfun.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/classfun.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/classfun.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/inertia.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/inertia.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/inertia.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/integral_char.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/integral_char.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/integral_char.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxabelem.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxabelem.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxabelem.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxrepresentation.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxrepresentation.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/mxrepresentation.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/vcharacter.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/vcharacter.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/character/vcharacter.vo
• /usr/share/doc/libcoq-mathcomp-character/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-mathcomp-character/changelog.Debian.gz
• /usr/share/doc/libcoq-mathcomp-character/changelog.gz
• /usr/share/doc/libcoq-mathcomp-character/copyright
• /var/lib/coq/md5sums/libcoq-mathcomp-character.checksum