c2a4ba
Update clingo to version 5.6.2 / rev 5 via SR 1094387 https://build.opensuse.org/request/show/1094387 by user aginies + dimstar_suse