Package: libssreflect-coq Priority: extra Section: universe/math Installed-Size: 7261 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~rc1-3 Provides: ssreflect Depends: libssreflect-ocaml (>= 1.5~rc1-3), coq-8.4pl3+4.01.0 Filename: pool/universe/s/ssreflect/libssreflect-coq_1.5~rc1-3_all.deb Size: 1188156 MD5sum: ae84528bfbb9bb7eeecd1897e46a7b93 SHA1: 6f2d5aabecbdfd552ff89717fc1bd3710203e5f8 SHA256: f6381495ccb7cb8c0cf7cbc9aceb96953b8e71c8c74b2966799814a685ba17aa 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