Skip to content

v5.4.1
Compare
Choose a tag to compare
@rkaminsk rkaminsk released this 06 Dec 17:17
· 620 commits to master since this release
v5.4.1
330932b
This commit was signed with the committer’s verified signature.
rkaminsk Roland Kaminski
GPG key ID: 18B18ECF8D9A1533
Learn about vigilant mode.

This minor release fixes a small build issues with Python 3.8 and later.

Existing clingo 5.4.0 binaries can be reused and packages that already apply this patch do not have to be updated.

Assets 2
Loading