Package: libcoq-mathcomp
Architecture: amd64
Version: 2.3.0-1build8
Priority: optional
Section: universe/math
Source: ssreflect
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 111201
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 2.3.0-1build8), libcoq-mathcomp-character (= 2.3.0-1build8), libcoq-mathcomp-field (= 2.3.0-1build8), libcoq-mathcomp-fingroup (= 2.3.0-1build8), libcoq-mathcomp-solvable (= 2.3.0-1build8), libcoq-mathcomp-ssreflect (= 2.3.0-1build8)
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.3.0-1build8_amd64.deb
Size: 2610174
MD5sum: 547b57fe7c58ad704db5e81ff4586899
SHA1: 6f11f7b8c59858fe3adaa761a55fc49f82ed23b9
SHA256: d08a705c5b3022c8edfccb7bed8d264a5a0b10be8d864c98177e6ef5d5b5abc1
SHA512: 51748d86ac8dce6492b840b7ea870043633514191b0d3e33d5fb0288a188cdae815189a4578e9e01b3ff2105e5378214c082ac1466a248fd2dcb96c41f139921
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a