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

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

[ Source: cvc3  ]

Links for cvc3-el

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti cvc3:

• [cvc3_2.4.1-2.dsc]
• [cvc3_2.4.1.orig.tar.gz]
• [cvc3_2.4.1-2.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 Maintainer (usually from Debian):

• Christopher L. Conway

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

External Resources:

• Kotisivu [www.cs.nyu.edu]

Samankaltaisia paketteja:

• sml-mode
• rnc-mode
• css-mode
• lisaac-mode
• gri-el
• lua-mode
• php-elisp
• ess
• anjsp
• libcvc3-2-java
• libcvc3-2-jni

Muut pakettiin cvc3-el liittyvät paketit

depends

recommends

suggests

• dep: emacs

  GNU Emacs editor (metapackage)

  tai emacsen

  näennäispaketti, jonka toteuttaa emacs23, emacs23-lucid, emacs23-nox, emacs24, emacs24-lucid, emacs24-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• rec: cvc3

  Automatic theorem prover for SMT problems

Imuroi cvc3-el

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	13.7 kt	106.0 kt	[tiedostoluettelo]