Todd Gamblin 78ec3d5662 clingo: add version 5.6.2 (#34317) ... See release notes at https://github.com/potassco/clingo/releases/tag/v5.6.2		2022-12-05 10:39:30 -07:00
..
package.py	clingo: add version 5.6.2 (#34317)	2022-12-05 10:39:30 -07:00
python38.patch
size-t.patch
vs2022.patch