Package: libcoq-reduction-effects
Architecture: amd64
Version: 0.1.5-5build7
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: 104
Provides: libcoq-reduction-effects-yn7w1
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-5build7_amd64.deb
Size: 15468
MD5sum: 194245e477465267b0330d433d3f4051
SHA1: 1fc70a0b8976d454e1230affdf2b2932a40cc5a5
SHA256: 7916659c7fe17304fd59e90ea6b5c4e3d5a3e53b5dd066307cf8601cf7cdb878
SHA512: 171e5cf4382cf065aaefb02b8f33d1d31aef4b9bc84fd8ba146b9208bb610d329fad4bb9f9783605cf70a941ae16304d55d56b586591cc37361120fb2fbf142f
Homepage: https://github.com/coq-community/reduction-effects
Description: reduction effects for Coq
Description-md5: 760b1483c020afdf83e92b99f3fd7368