Source Package: ssreflect (1.3pl4-1)
Links for ssreflect
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [www.msr-inria.inria.fr]
The following binary packages are built from this source package:
- libssreflect-coq
- small scale reflection library for Coq (theories)
- libssreflect-ocaml
- small scale reflection extension for Coq (plugin)
- libssreflect-ocaml-dev
- small scale reflection extension for Coq (devt files)
Other Packages Related to ssreflect
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
-
- adep: coq (>= 8.3)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: libcoq-ocaml-dev (>= 8.3)
- development libraries and tools for Coq
-
- adep: dh-ocaml (>= 0.9~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: camlp5 (>= 5.12-2~)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: ocaml-best-compilers
- virtual package provided by ocaml-native-compilers, ocaml-nox
-
- adep: ocaml-nox (>= 3.11.1-3~)
- ML implementation with a class-based object system (no X)
Download ssreflect
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| ssreflect_1.3pl4-1.dsc | 2.2 kB | 29579d52e53016a347da5b70d4522fb9 |
| ssreflect_1.3pl4.orig.tar.gz | 815.0 kB | 0d2190d61abe494aea7a5c329b18e8c8 |
| ssreflect_1.3pl4-1.debian.tar.gz | 12.2 kB | 120f88dc3f02695f8c6b693497a5b8b7 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/ssreflect.git