Package: libcoq-reduction-effects
Architecture: amd64
Version: 0.1.5-5build3
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: 111
Provides: libcoq-reduction-effects-6plr5
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-5build3_amd64.deb
Size: 15878
MD5sum: c0b7fa5f0425a755e8363d4372524a33
SHA1: 37fde6ebcdfb535dd23bc9ac89eccce65eba94d5
SHA256: fb70565567910c417b30f67c8cf6ac06bc89bcf77e2a85f5b4916d7c480f843a
SHA512: 00ee2f0a65a6f9e430395828df82c88949171a91612c98ca5c73df78599c2117d688fe82bdca5cab4679a8cd79400625d8888e5b2b1fb59eab9d468048a0f047
Homepage: https://github.com/coq-community/reduction-effects
Description: reduction effects for Coq
Description-md5: 760b1483c020afdf83e92b99f3fd7368