../ clingo-5.5.0.tar.gz 15-Aug-2021 12:23 3027366 clingo-5.5.2.tar.gz 02-Jun-2022 14:31 3136393 clingo-5.6.2.tar.gz 29-Dec-2022 05:45 5079018 clingo-5.7.1.tar.gz 20-Feb-2024 19:13 5339983