[ bianca ]

Zdrojový balík: picosat (965-2)

Odkazy pre picosat

Správcovia:

Externé zdroje:

Domovská stránka [fmv.jku.at]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

picosat: SAT solver with proof and core support

Ostatné balíky súvisiace s balíkom picosat

build-depends

build-depends-indep

adep: debhelper-compat (= 12)

Balík nie je dostupný
adep: dh-exec

Scripts to help with executable debhelper files

Download picosat

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
picosat_965-2.debian.tar.xz	6.2 kB	32b6d30566f2e455794f6355b0e8540a
picosat_965-2.dsc	1.9 kB	eaabbfd06273f9bdf634bc8ab5c4e47e
picosat_965.orig.tar.gz	62.9 kB	d37c236d5c60b03d888d137c2fa4285f

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/science-team/picosat.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/science-team/picosat