[  etiona  ] [  nabia  ] [  aramo  ]

Връзки за picosat

Ресурси за Trisquel:

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

Отговорник:

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

Original Maintainers:

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

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

• Начална страница [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-1.dsc	1,9 кБ	5a8ea634497575bdbed85c8100876058
picosat_965.orig.tar.gz	62,9 кБ	d37c236d5c60b03d888d137c2fa4285f
picosat_965-1.debian.tar.xz	5,8 кБ	cf98cde8f10666f6e9c3ba73702c22d5

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

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

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

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