Package: libcoq-reduction-effects
Architecture: amd64
Version: 0.1.4-3build2
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: 95
Provides: libcoq-reduction-effects-els20
Depends: libcoq-stdlib-jkdo7
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.4-3build2_amd64.deb
Size: 14244
MD5sum: 08cbcb64f8a906c9bcf7a7b8f54d736e
SHA1: 05dd2dc2e29d62db363e76ba54bffbf9af56afc5
SHA256: 90cf2910f41d470c10c5938dcf41894304a34eec949352c6f547518e3f722d46
SHA512: a82f3b5a8b8865b8f7ad9c05a9f2cafac69b058848ad81319f679cdec5e9cda7b6f7d92bd5b0e36ba2b14523f4d64046c6cfcf84c7253bcd40abed9b5ffbf868
Homepage: https://github.com/coq-community/reduction-effects
Description: reduction effects for Coq
Description-md5: 760b1483c020afdf83e92b99f3fd7368