Package: libssreflect-coq
Priority: extra
Section: universe/math
Installed-Size: 7290
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: all
Source: ssreflect
Version: 1.5-3build1
Provides: ssreflect
Depends: libssreflect-ocaml (>= 1.5-3build1), coq-8.4pl4+4.02.3
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.5-3build1_all.deb
Size: 1193480
MD5sum: 307e459ced24e390b4d26b361938454c
SHA1: 195046e577ca36cfbe28950c5d79ae428e9ca51b
SHA256: 2fa18b182668d45da45b067725e6f190844cdbee25de42454f0268b46717b58b
Description: small scale reflection library for Coq (theories)
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Description-md5: 42f2563f66c9048cc7be758e6ce00ad6
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu