Package: libcoq-reduction-effects
Source: coq-reduction-effects
Priority: optional
Section: universe/ocaml
Installed-Size: 105
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.1.5-5build11
Provides: libcoq-reduction-effects-nc2o0
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-5build11_amd64.deb
Size: 15476
MD5sum: 64bc1cd3c371de8ae04dc598cdd38d25
SHA1: 37b1094a719924decd1f268c21c80d2e2dc546a3
SHA256: a96187441fc07b57ffa4768d3431fd79276b0da7292b3265aad2697945e2342f
SHA512: ae3ba2661678a1311f31e3f5055e2edeea538363107e4dbe7d32967c21ffe575f83c276be5136da4ee4ed67c5babc20ee78338e2fab980e696cf82e329f7feb7
Homepage: https://github.com/coq-community/reduction-effects
Description: reduction effects for Coq
Description-md5: 760b1483c020afdf83e92b99f3fd7368
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug