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