[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour clasp

Ressources Trisquel :

• Rapports de bogues
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Ubuntu Developers (Archive du courrier électronique)

Original Maintainers:

• Debian Science Maintainers (Archive du courrier électronique)
• 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: 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

Fichier	Taille (en ko)	Somme MD5
clasp_3.3.5-4ubuntu1.dsc	2,1 ko	75a9943d7bc6ccec59fd4f1ddf0f261e
clasp_3.3.5.orig.tar.gz	811,6 ko	65be9d4c720053e89c31fb2f9d718b69
clasp_3.3.5-4ubuntu1.debian.tar.xz	10,2 ko	cee526a3d89452bc2a997edc280fe2fd

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