package names descriptions source package names package contents all options

[  lucid  ] [  precise  ] [  quantal  ] [  raring  ]

[ Source: ssreflect  ]

Links for libssreflect-coq

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package ssreflect:

• [ssreflect_1.3pl4-1.dsc]
• [ssreflect_1.3pl4.orig.tar.gz]
• [ssreflect_1.3pl4-1.debian.tar.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mail Archive)
• Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [www.msr-inria.inria.fr]

Similar packages:

• libssreflect-ocaml-dev
• libssreflect-ocaml
• libaac-tactics-coq
• coq-theories
• coq
• libcoq-ocaml-dev
• libwhy-coq
• libfloat-coq
• libonemind-commons-invoke-java
• libmono-reflection-cil
• libmono-reflection-cil-dev

Other Packages Related to libssreflect-coq

depends

recommends

suggests

• dep: coq-8.3pl4+3.12.1

  virtual package provided by coq

• dep: libssreflect-ocaml (>= 1.3pl4-1)

  small scale reflection extension for Coq (plugin)

Download libssreflect-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	15,707.6 kB	89,847.0 kB	[list of files]