About

This package is 1.1 MB. It is available at http://ftp.debian.org/debian/pool/main/s/ssreflect/libssreflect-coq_1.5-2_all.deb .

View its full control file here: debian/control.

Description

small scale reflection library for Coq (theories)

Relations

This package depends on: libssreflect-ocaml (>= 1.5-2), coq-8.4pl4+4.01.0.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libssreflect-coq 1.5-2 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/coq/ root:root 0o755
/usr/lib/coq/user-contrib/ root:root 0o755
/usr/lib/coq/user-contrib/Ssreflect/ root:root 0o755
/usr/lib/coq/user-contrib/Ssreflect/choice.vo application/octet-stream root:root 0o644 168.7 KB
/usr/lib/coq/user-contrib/Ssreflect/eqtype.vo application/octet-stream root:root 0o644 152.0 KB
/usr/lib/coq/user-contrib/Ssreflect/fintype.vo application/octet-stream root:root 0o644 538.8 KB
/usr/lib/coq/user-contrib/Ssreflect/seq.vo application/octet-stream root:root 0o644 736.0 KB
/usr/lib/coq/user-contrib/Ssreflect/ssrbool.vo application/octet-stream root:root 0o644 355.3 KB
/usr/lib/coq/user-contrib/Ssreflect/ssreflect.vo application/octet-stream root:root 0o644 29.1 KB
/usr/lib/coq/user-contrib/Ssreflect/ssrfun.vo application/octet-stream root:root 0o644 91.3 KB
/usr/lib/coq/user-contrib/Ssreflect/ssrmatching.vo application/octet-stream root:root 0o644 1.7 KB
/usr/lib/coq/user-contrib/Ssreflect/ssrnat.vo application/octet-stream root:root 0o644 327.3 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/ssreflect-library text/plain root:root 0o644 312 bytes
/usr/share/doc/libssreflect-coq/ root:root 0o755
/usr/share/doc/libssreflect-coq/ANNOUNCE text/plain root:root 0o644 2.8 KB
/usr/share/doc/libssreflect-coq/changelog.Debian.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/libssreflect-coq/copyright text/plain root:root 0o644 22.4 KB
/usr/share/doc/libssreflect-coq/examples/ root:root 0o755
/usr/share/doc/libssreflect-coq/examples/pg-ssr.el text/plain root:root 0o644 1.7 KB
/usr/share/doc/libssreflect-coq/html/ root:root 0o755
/usr/share/doc/libssreflect-coq/html/coqdoc.css text/plain root:root 0o644 5.1 KB
/usr/share/doc/libssreflect-coq/html/index.html text/html root:root 0o644 816.2 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.choice.html text/html root:root 0o644 235.7 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.eqtype.html text/html root:root 0o644 291.5 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.fintype.html text/html root:root 0o644 818.0 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.seq.html text/html root:root 0o644 1.0 MB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrbool.html text/html root:root 0o644 659.3 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssreflect.html text/html root:root 0o644 59.6 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrfun.html text/html root:root 0o644 202.1 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrmatching.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrnat.html text/html root:root 0o644 700.8 KB
/usr/share/doc/libssreflect-coq/html/toc.html text/html root:root 0o644 1.1 KB
/usr/share/doc/libssreflect-coq/README text/plain root:root 0o644 1.8 KB
/usr/share/doc/libssreflect-coq/README.Debian text/plain root:root 0o644 432 bytes