namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

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

Verwijzigingen voor depqbf

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Mailarchief)
• Thomas Krennwallner

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

Externe bronnen:

• Homepage [lonsing.github.io]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

depqbf

solver for quantified boolean formulae

Andere aan depqbf gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper (>= 11)

  helper programs for debian/rules

• adep: dpkg-dev (>= 1.16.1~)

  Debian package development tools

Download depqbf

Bestand	Grootte (in kB)	MD5 checksum
depqbf_5.01.orig.tar.gz	419,8 kB	577d2a77c592ec87660811dd61482abf
depqbf_5.01-3build1.debian.tar.xz	5,0 kB	2402587f46c5fbaffb9fc12d906e4d2f
depqbf_5.01-3build1.dsc	1,9 kB	02414214c2607dc2688c6762ebdcb32c

Debian Package Source Repository (VCS: Git)

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

Debian Package Source Repository (Browsable)

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