Package - libcoq-reduction-effects

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-5+b8_amd64.deb (Size: 15.3KiB)

Property	Value
Package	libcoq-reduction-effects
Source	coq-reduction-effects (0.1.5-5)
Version	0.1.5-5+b8
Installed-Size	114
Maintainer	Debian OCaml Maintainers
Architecture	amd64
Provides	libcoq-reduction-effects-rcu20
Depends	libcoq-stdlib-68yx1
Description	reduction effects for Coq
Description-md5	760b1483c020afdf83e92b99f3fd7368
Homepage	https://github.com/coq-community/reduction-effects
Section	ocaml
Priority	optional
Filename	pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.5-5+b8_amd64.deb
Size	15684
MD5sum	d38d54b6855105bbe91dbaadf28b66c5
SHA256	3156d71563a21a4d534b047c856ad1ab70459ee7e87e1b3e26df3cbed1321a54

Files in package

• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/META
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmi
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmx
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxa
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects/redeffect_plugin.cmxs
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ReductionEffect/PrintingEffect.glob
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ReductionEffect/PrintingEffect.v
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ReductionEffect/PrintingEffect.vo
• /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/ReductionEffect/redeffect_plugin.cmxs
• /usr/share/doc/libcoq-reduction-effects/changelog.Debian.amd64.gz
• /usr/share/doc/libcoq-reduction-effects/changelog.Debian.gz
• /usr/share/doc/libcoq-reduction-effects/changelog.gz
• /usr/share/doc/libcoq-reduction-effects/copyright
• /usr/share/lintian/overrides/libcoq-reduction-effects
• /var/lib/coq/md5sums/libcoq-reduction-effects.checksum