[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour clasp

Ressources Trisquel :

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

Responsable :

• Debian Science Maintainers (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 (>= 11)

  helper programs for debian/rules

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

  Debian package development tools

• adep: g++-8 (>= 8.2.0)

  GNU C++ compiler

• adep: cmake (>= 3.1.0)

  cross-platform, open-source make system

Download clasp

Fichier	Taille (en ko)	Somme MD5
clasp_3.3.4-2build1.dsc	2,0 ko	1c9923b1ec488b5a736e45d774bd7265
clasp_3.3.4.orig.tar.gz	807,3 ko	a2a4de570b39eb9a6ffdf949f632b619
clasp_3.3.4-2build1.debian.tar.xz	7,8 ko	43611b8e1cd85ca5fea5708ea87a1f59

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