[ bianca ]

Пакет-източник: depqbf (5.01-3)

Връзки за depqbf

Отговорници:

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

Начална страница [lonsing.github.io]

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

depqbf: solver for quantified boolean formulae

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

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

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

adep: debhelper (>= 11)

helper programs for debian/rules
adep: dpkg-dev (>= 1.16.1~)

Debian package development tools

Download depqbf

Файл	Големина (в кБ)	контролна сума MD5
depqbf_5.01-3.debian.tar.xz	4,9 кБ	56ccd9fccabfc46fcf2cf107350c8dc0
depqbf_5.01-3.dsc	1,9 кБ	5b2afbfaa9d8f0ae9217e2efc4b0ce31
depqbf_5.01.orig.tar.gz	419,8 кБ	577d2a77c592ec87660811dd61482abf

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/science-team/depqbf.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/science-team/depqbf