eLxr packages

 / Paquets / bianca (stable) / Source / - / clasp

[  bianca  ]

Liens pour clasp

• Dépôt de source Debian (Git)
• Suivis des correctifs pour eLxr

Responsables :

• Debian Science Maintainers
• Thomas Krennwallner

Ressources externes :

• Page d'accueil [www.potassco.org]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

clasp

conflict-driven nogood learning answer set solver

Autres paquets associés à clasp

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Paquet indisponible

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

  Debian package development tools

• adep: catch

  C++ Automated Test Cases in Headers

• adep: cmake (>= 3.1.0)

  cross-platform, open-source make system

Download clasp

Fichier	Taille (en ko)	Somme MD5
clasp_3.3.5-4.2.debian.tar.xz	10,1 ko	8f747c7997d9752c223fad57ce340150
clasp_3.3.5-4.2.dsc	2,0 ko	7013dad61b610dfb34a2d940b1c790e0
clasp_3.3.5.orig.tar.gz	811,6 ko	65be9d4c720053e89c31fb2f9d718b69

Dépôt Debian des paquets source (VCS: Git)

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

Dépôt Debian des paquets source (interface web)

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