Index of /distfiles/buildlogs/build-3-17-armv7/community/clingo/

../
clingo-5.6.1-r0.log                                28-Oct-2022 18:47    458K
clingo-5.6.2-r0.log                                09-Nov-2022 07:34    457K