namn på paket beskrivningar namn på källkodspaket innehåll i paket alla flaggor

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

[ Källkod: ssreflect  ]

Länkar för libssreflect-ocaml

Ubunturesurser:

• Felrapporter
• Ändringslogg för Ubuntu
• Upphovsrättsfil

Hämta källkodspaketet ssreflect:

• [ssreflect_1.3pl2-2build1.dsc]
• [ssreflect_1.3pl2.orig.tar.gz]
• [ssreflect_1.3pl2-2build1.debian.tar.gz]

Ansvarig:

• Ubuntu MOTU Developers (E-postarkiv)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (E-postarkiv)
• Stéphane Glondu

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

Externa resurser:

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

Liknande paket:

• libssreflect-ocaml-dev
• libssreflect-coq
• libcoq-ocaml-dev
• coq
• libaac-tactics-ocaml
• libjs-jquery-reflection
• libwhy-coq
• libxrandr2
• proofgeneral-coq
• brutalchess
• libfloat-coq

Andra paket besläktade med libssreflect-ocaml

beror

rekommenderar

föreslår

• dep: libc6 (>= 2.1.3) [i386]

  Embedded GNU C Library: Shared libraries
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcoq-ocaml-4zyg6 [amd64]

  Paketet inte tillgängligt

• dep: libcoq-ocaml-ib824 [i386]

  Paketet inte tillgängligt

• dep: ocaml-base-nox-3.12.1

  virtuellt paket som tillhandahålls av ocaml-base-nox

Hämta libssreflect-ocaml

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	460,4 kbyte	1.907,0 kbyte	[filförteckning]
i386	387,5 kbyte	1.539,0 kbyte	[filförteckning]