#Sun Aug 20 14:41:12 CEST 2023 ltl-snapshots|http\://basa.ltl.uni-due.de\:34001/artifactory/snapshots|sources=1692495338211 ltl-model|http\://basa.ltl.uni-due.de\:34001/artifactory/models|javadoc=1692535272002 ukp-oss-model-releases|http\://zoidberg.ukp.informatik.tu-darmstadt.de/artifactory/public-model-releases-local|javadoc=1692535272002 ukp-oss-snapshots|http\://zoidberg.ukp.informatik.tu-darmstadt.de/artifactory/public-snapshots/|javadoc=1692535272002 central|https\://repo.maven.apache.org/maven2|javadoc=1692535272002 ltl-releases|http\://basa.ltl.uni-due.de\:34001/artifactory/releases|sources=1692495338211 ukp-oss-model-releases|http\://zoidberg.ukp.informatik.tu-darmstadt.de/artifactory/public-model-releases-local|sources=1692495338211 ukp-oss-snapshots|http\://zoidberg.ukp.informatik.tu-darmstadt.de/artifactory/public-snapshots/|sources=1692495338211 ltl-model|http\://basa.ltl.uni-due.de\:34001/artifactory/models|sources=1692495338211 ltl-releases|http\://basa.ltl.uni-due.de\:34001/artifactory/releases|javadoc=1692535272002 ltl-snapshots|http\://basa.ltl.uni-due.de\:34001/artifactory/snapshots|javadoc=1692535272002 central|https\://repo.maven.apache.org/maven2|sources=1692495338211