package names descriptions source package names package contents all options

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

[ Source: ssreflect  ]

Links for libssreflect-ocaml-dev

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
• libssreflect-coq
• libaac-tactics-ocaml-dev
• libcoq-ocaml-dev
• coq
• proofgeneral-coq
• libwhy-coq
• libxrandr2
• brutalchess
• libfloat-coq
• coq-doc-html

Other Packages Related to libssreflect-ocaml-dev

depends

recommends

suggests

• dep: camlp5-8ixs9 [i386]

  virtual package provided by camlp5

• dep: camlp5-jr8l7 [amd64]

  virtual package provided by camlp5

• dep: libcoq-ocaml-dev-9fp12 [i386]

  virtual package provided by libcoq-ocaml-dev

• dep: libcoq-ocaml-dev-j25h3 [amd64]

  virtual package provided by libcoq-ocaml-dev

• dep: libssreflect-ocaml-9yce4 [amd64]

  virtual package provided by libssreflect-ocaml

• dep: libssreflect-ocaml-vtgh9 [i386]

  virtual package provided by libssreflect-ocaml

• dep: ocaml-nox-3.12.1

  virtual package provided by ocaml-nox

Download libssreflect-ocaml-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	381.4 kB	2,131.0 kB	[list of files]
i386	378.4 kB	1,345.0 kB	[list of files]