Publishing details
-
Removed from disk
.
-
Removal requested
.
-
Superseded
by clingo-dl - 1.5.0-jammy2
-
Published
Changelog
clingo-dl (1.5.0-jammy1) jammy; urgency=medium
* build for git revision 0375aa61c2554d8df3eab1c65c42e267b9bcf283
-- Roland Kaminski <email address hidden> Thu, 15 Feb 2024 17:22:44 +0000
Builds
Package files