Alle Optionen
squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]

Quellcode-Paket: clasp (2.0.2-1~bpo60+1) [backports]

Links für clasp

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
clasp
conflict-driven nogood learning answer set solver

Andere Pakete mit Bezug zu clasp

  • build-depends
  • build-depends-indep

Download clasp

DateiGröße (in kB)MD5-Prüfsumme
clasp_2.0.2-1~bpo60+1.dsc 1,3 kB 41b3fc3f4b79a121b856a079edb2a07d
clasp_2.0.2.orig.tar.gz 358,3 kB 4e5f63ccf95b6b2150478d68a13e7e09
clasp_2.0.2-1~bpo60+1.debian.tar.gz 5,7 kB 51f4e8175ca0dd5823f4238998dd16e7
Quellcode-Depot des Debian-Pakets (VCS: Git)
git://git.debian.org/git/debian-science/packages/clasp.git
Quellcode-Depot des Debian-Pakets (browsable)
http://git.debian.org/?p=debian-science/packages/clasp.git