clasp source package in Lunar

clasp: conflict-driven nogood learning answer set solver
clasp-dbgsym: debug symbols for clasp

Versions published

Release

The package versions that were published when the distribution release was made.

clasp information

Current version:
3.3.5-4ubuntu1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

Is one of these projects the upstream for this source package?






Binary packages

Download files from current release (3.3.5-4ubuntu1)

File Size SHA-256 Checksum
clasp_3.3.5.orig.tar.gz 811.6 KiB c0204b85ea3453af9372d8c7ffcb11306d5279b68c4d4af056f3fad65fe50724
clasp_3.3.5-4ubuntu1.debian.tar.xz 10.2 KiB 91fe0fa495b683c1706a6877003b8aba9fd69d65e6a5dc8920636cfe52310271
clasp_3.3.5-4ubuntu1.dsc 2.1 KiB f4d0bfbd1a75afbc2544619a49e06e772762fbcf075b0af9c1c97661c05e1942

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies