názvy balíkov popisy názvy zdrojových balíkov obsah balíkov všetky možnosti

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

[ Zdroj: picosat  ]

Odkazy pre picosat

Zdroje Ubuntu:

• Hlásenia chýb
• Záznam zmien Ubuntu
• Autori a licencia

Stiahnuť zdrojový balík picosat:

• [picosat_936-4.dsc]
• [picosat_936.orig.tar.gz]
• [picosat_936-4.debian.tar.gz]

Správca:

• Ubuntu MOTU Developers (Konferencia)

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

Original Maintainer (usually from Debian):

• Michael Tautschnig

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

Externé zdroje:

• Domovská stránka [fmv.jku.at]

Podobné balíky:

• minisat2
• sat4j
• minisat
• alt-ergo
• proofgeneral-misc
• proofgeneral-coq
• proofgeneral-minlog
• wml
• minlog
• gnudoq
• coinor-libosi-doc

Ostatné balíky súvisiace s balíkom picosat

závisí

odporúča

navrhuje

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

  Embedded GNU C Library: Shared libraries
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

  dep: libc6 (>= 2.7) [i386]

Stiahnuť picosat

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	303.5 kB	741.0 kB	[zoznam súborov]
i386	272.0 kB	653.0 kB	[zoznam súborov]