Source Package: coq-reduction-effects (0.1.6-2)
Links for coq-reduction-effects
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [github.com]
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
The following binary packages are built from this source package:
- libcoq-reduction-effects
- reduction effects for Coq
Other Packages Related to coq-reduction-effects
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: cppo
- cpp for OCaml
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- adep: libcoq-stdlib
- proof assistant for higher-order logic (theories)
Download coq-reduction-effects
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| coq-reduction-effects_0.1.6-2.dsc | 2.2 kB | 593a1f02cc068c61642ea28a01c8abcd |
| coq-reduction-effects_0.1.6.orig.tar.gz | 10.2 kB | cf98e2d1df03ad74339fd8145313cdab |
| coq-reduction-effects_0.1.6-2.debian.tar.xz | 1.9 kB | e553bcfb52ad1f43f50b621d907675cd |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/ocaml-team/coq-reduction-effects.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/ocaml-team/coq-reduction-effects