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

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

Verwijzigingen voor clasp

Ubuntu bronnen:

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

Beheerder:

• Ubuntu 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 [www.potassco.org]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

clasp

conflict-driven nogood learning answer set solver

Andere aan clasp gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pakket niet beschikbaar

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

  Debian package development tools

• adep: g++-10 (>= 10.2.1)

  GNU C++ compiler

• adep: catch

  C++ Automated Test Cases in Headers

• adep: cmake (>= 3.1.0)

  cross-platform, open-source make system

Download clasp

Bestand	Grootte (in kB)	MD5 checksum
clasp_3.3.5-4ubuntu1.dsc	2,1 kB	75a9943d7bc6ccec59fd4f1ddf0f261e
clasp_3.3.5.orig.tar.gz	811,6 kB	65be9d4c720053e89c31fb2f9d718b69
clasp_3.3.5-4ubuntu1.debian.tar.xz	10,2 kB	cee526a3d89452bc2a997edc280fe2fd

Debian Package Source Repository (VCS: Git)

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

Debian Package Source Repository (Browsable)

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