#Thu Jun 13 19:27:52 CEST 2024
artifact.main=/storage/repos/ultimate/trunk/source/TraceAbstractionConcurrent/target/de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent-0.2.4.jar
artifact.attached.p2artifacts=/storage/repos/ultimate/trunk/source/TraceAbstractionConcurrent/target/p2artifacts.xml
artifact.attached.p2metadata=/storage/repos/ultimate/trunk/source/TraceAbstractionConcurrent/target/p2content.xml
