Package: libcoq-reduction-effects
Architecture: amd64
Version: 0.1.5-1build3
Priority: optional
Section: universe/ocaml
Source: coq-reduction-effects
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: 98
Provides: libcoq-reduction-effects-mq7p1
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-1build3_amd64.deb
Size: 14522
MD5sum: d793a26da8639fcd9f6ed6f35ea95bcc
SHA1: 244d3e850b978566697d825a435d04709275f4a3
SHA256: 06ed6633d3149d2ec9750585858c3515f059db778c70e58dad28ab30e70e843c
SHA512: 521fb77b7b6e1a7af85a25ca824c0293041e81b14d12e5bab8f52c9b7b5558b6b0d60aa044bed11f0e518fbae5e054c30ca0e8fd3d83b128cac38f876d01ad09
Homepage: https://github.com/coq-community/reduction-effects
Description: reduction effects for Coq
Description-md5: 760b1483c020afdf83e92b99f3fd7368