wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: clasp (3.3.5-4.2)

Odnośniki dla clasp

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
clasp
conflict-driven nogood learning answer set solver

Inne pakiety związane z clasp

  • build-depends
  • build-depends-indep

Download clasp

PlikRozmiar (w KiB)Suma kontrolna MD5
clasp_3.3.5-4.2.dsc 2,0 KiB 7013dad61b610dfb34a2d940b1c790e0
clasp_3.3.5.orig.tar.gz 811,6 KiB 65be9d4c720053e89c31fb2f9d718b69
clasp_3.3.5-4.2.debian.tar.xz 10,1 KiB 8f747c7997d9752c223fad57ce340150
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/science-team/clasp.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/science-team/clasp