Package: libssreflect-coq Priority: extra Section: universe/math Installed-Size: 89844 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.3pl2-2build1 Provides: ssreflect Depends: libssreflect-ocaml (>= 1.3pl2-2build1), coq-8.3pl3+3.12.1 Filename: pool/universe/s/ssreflect/libssreflect-coq_1.3pl2-2build1_all.deb Size: 16079258 MD5sum: dbc4c6d17510858b46aa75d638720887 SHA1: 3def6fa073f2b8b68884fd454f1012844af74fe2 SHA256: 5fb37a52d774ef644a21234e282e0f739a83288e9849e844e18374d2b92b7026 Description: small scale reflection library for Coq (theories) Homepage: http://www.msr-inria.inria.fr/Projects/math-components Description-md5: 42f2563f66c9048cc7be758e6ce00ad6 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu