имена на пакети описания имена на пакети-източници съдържание на пакети всички настройки

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Връзки за picosat

Ресурси за Ubuntu:

• Доклади за грешки
• Журнал на промените в Ubuntu
• Авторски права
• Хранилище на изходен код (Git)

Отговорник:

• Ubuntu MOTU Developers (Пощенски архив)

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

Original Maintainers (usually from Debian):

• Debian Science Team (Пощенски архив)
• Michael Tautschnig
• Nilesh Patra

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

Външни препратки:

• Начална страница [fmv.jku.at]

Следните двоични пакети са компилирани от този пакет-източник:

picosat

SAT solver with proof and core support

Други пакети, свързани с picosat

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

• adep: debhelper-compat (= 12)

  Пакетът не е наличен

• adep: dh-exec

  Scripts to help with executable debhelper files

Download picosat

Файл	Големина (в кБ)	контролна сума MD5
picosat_965-2.dsc	1,9 кБ	eaabbfd06273f9bdf634bc8ab5c4e47e
picosat_965.orig.tar.gz	62,9 кБ	d37c236d5c60b03d888d137c2fa4285f
picosat_965-2.debian.tar.xz	6,2 кБ	32b6d30566f2e455794f6355b0e8540a

Хранилище на изходния код на пакета (СКП: Git)

https://salsa.debian.org/science-team/picosat.git

Хранилище на изходния код на пакета (за разглеждане през браузър)

https://salsa.debian.org/science-team/picosat