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

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

[ Source: why  ]

Links for why-examples

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti why:

• [why_2.30+dfsg-3.dsc]
• [why_2.30+dfsg.orig.tar.gz]
• [why_2.30+dfsg-3.debian.tar.gz]

Ylläpitäjä:

• 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)
• Samuel Mimram
• Mehdi Dogguy

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

External Resources:

• Kotisivu [why.lri.fr]

Samankaltaisia paketteja:

• libwhy-coq
• cacao
• qt3-examples
• zsh-lovers
• atlc-examples
• libobject-realize-later-perl
• jython-gcj
• libggi-samples
• ruby1.8-examples
• ruby1.9-examples
• ruby1.9.1-examples

Muut pakettiin why-examples liittyvät paketit

depends

recommends

suggests

• dep: libwhy-coq

  Why library for Coq

• dep: why

  Software verification tool

Imuroi why-examples

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	173.6 kt	1,628.0 kt	[tiedostoluettelo]