Package: libcoq-paramcoq
Architecture: amd64
Version: 1.1.3+coq8.19-2build2
Priority: optional
Section: universe/ocaml
Source: paramcoq
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 833
Provides: libcoq-paramcoq-h7062
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb
Size: 123956
MD5sum: 5899276339f53400f7fb1f9cd4a167b6
SHA1: 0257d2f19328e74a75708b55b3572840c76d5cf4
SHA256: ffd7ac3f60a93e7d3e9c24238d59181c6573c16448cec585b44559b4769c214b
SHA512: df7da3f497a3669ed1635762b1d8766dce71a2684f11dd3709ab466d6945aced08e74ae1a07255a668b65d4ba2dff45934671ed96bd52fe2870529182ac09715
Homepage: https://github.com/coq-community/paramcoq/
Description: Coq plugin to generate parametricity statements
Description-md5: 0f313fc531ec3a334d5921ce381c273c