namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

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

[ Bron: picosat  ]

Verwijzigingen voor picosat

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand

Het bronpakket picosat downloaden:

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

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

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.

Externe bronnen:

• Homepage [fmv.jku.at]

Vergelijkbare pakketten:

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

Andere aan picosat gerelateerde pakketten

depends

recommends

suggests

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

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6-udeb

  dep: libc6 (>= 2.7) [i386]

picosat downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	303,5 kB	741,0 kB	[overzicht]
i386	272,0 kB	653,0 kB	[overzicht]