Package: libcoq-paramcoq
Architecture: amd64
Version: 1.1.3+coq8.18-1build2
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: 865
Provides: libcoq-paramcoq-rszc1
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/p/paramcoq/libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb
Size: 129820
MD5sum: fe60c3150ffca1fd1a5d4282f3ab9459
SHA1: d26da59c66f8449dc84ecd7e67de5d0a05b750e6
SHA256: 8d7219d895edcd07544cd1c5bd399189eeb4693d60523c7e797d64552a3e71d0
SHA512: 1ef5939663101625520eb4700d4ddce29d7d21b164742f44d84a9366f367d0019f5886df1179ab4f6bddead0789cee989344e2db54b4ce16ef6e0751c42a36a9
Homepage: https://github.com/coq-community/paramcoq/
Description: Coq plugin to generate parametricity statements
Description-md5: 0f313fc531ec3a334d5921ce381c273c