Harmen Stoppels 9b4ca0be40 clingo bootstrap: remove 3.12 patch and concretizer workarounds (#44028)		2024-05-06 15:00:41 +02:00
..
spack	clingo bootstrap: remove 3.12 patch and concretizer workarounds (#44028)	2024-05-06 15:00:41 +02:00