Package: libcoq-reduction-effects
Source: coq-reduction-effects
Priority: optional
Section: universe/ocaml
Installed-Size: 81
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.1.6-4build5
Provides: libcoq-reduction-effects-1p7c0
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-4build5_amd64.deb
Size: 16342
SHA512: d55ec455de9a0d2eff59bc567ef21176dfaa0185a3991e4420049679b3d1fcb81c93dadd2331b3c8ec9f9fec31e4d032386d1beb0e0b713be2def119ea3609fc
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