pakettien nimistä kuvauksista lähdepakettien nimistä pakettien sisällöistä Tarkennettu haku

[  precise  ] [  quantal  ] [  raring  ]

[ Source: mcrl2  ]

Links for mcrl2

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti mcrl2:

• [mcrl2_201210.1-1ubuntu1.dsc]
• [mcrl2_201210.1.orig.tar.gz]
• [mcrl2_201210.1-1ubuntu1.debian.tar.gz]

Ylläpitäjä:

• Ubuntu Developers (Mail Archive)

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

Original Maintainers (usually from Debian):

• Jeroen Keiren
• Paul van Tilburg

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

External Resources:

• Kotisivu [www.mcrl2.org]

Samankaltaisia paketteja:

• coq-doc-html
• coq-doc-pdf
• coq-doc
• coqide
• libcoq-ocaml-dev
• spark
• scm
• coq-theories
• puppet
• python-guppy
• puppetmaster

Muut pakettiin mcrl2 liittyvät paketit

depends

recommends

suggests

• dep: libc6 (>= 2.14) [amd64]

  Embedded GNU C Library: Shared libraries
  myös näennäispaketti, jonka toteuttaa libc6-udeb

  dep: libc6 (>= 2.4) [i386]

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgl1-mesa-glx

  free implementation of the OpenGL API -- GLX runtime

  tai libgl1

  näennäispaketti, jonka toteuttaa libgl1-mesa-glx

• dep: libgl2ps0

  Lib providing high quality vector output for OpenGL application

• dep: libglu1-mesa

  Mesa OpenGL utility library (GLU)

  tai libglu1

  näennäispaketti, jonka toteuttaa libglu1-mesa

• dep: libqt4-opengl (>= 4:4.5.3)

  Qt 4 OpenGL module

• dep: libqt4-xml (>= 4:4.5.3)

  Qt 4 XML module

• dep: libqtcore4 (>= 4:4.8.0)

  Qt 4 core module

• dep: libqtgui4 (>= 4:4.8.0)

  Qt 4 GUI module

• dep: libstdc++6 (>= 4.6)

  GNU Standard C++ Library v3

Imuroi mcrl2

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	12,670.0 kt	42,314.0 kt	[tiedostoluettelo]
i386	13,272.7 kt	42,792.0 kt	[tiedostoluettelo]