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

[  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

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

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

picosat

SAT solver with proof and core support

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

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

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

• adep: debhelper-compat (= 13)

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

• adep: dh-exec

  Scripts to help with executable debhelper files

Download picosat

Файл	Големина (в кБ)	контролна сума MD5
picosat_965-3.dsc	1,3 кБ	4f0e0f10727d7ab06819a8e7fa3fdb07
picosat_965.orig.tar.gz	62,9 кБ	d37c236d5c60b03d888d137c2fa4285f
picosat_965-3.debian.tar.xz	6,3 кБ	8056b0b4faf24558bf224966c851c2e3

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

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

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

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