7076 unique modules (2024.09.22)

com.github.sormuras.modules/com/github/sormuras/modules/modules.properties

@@ -3305,9 +3305,9 @@ io.ebean.xmapping.xml=https://repo.maven.apache.org/maven2/io/ebean/ebean-extern
 io.ebean.yugabyte=https://repo.maven.apache.org/maven2/io/ebean/ebean-yugabyte/15.6.0/ebean-yugabyte-15.6.0.jar
 io.elsci.multinomialselection=https://repo.maven.apache.org/maven2/io/elsci/multinomial-selection/multinomial-selection/1.0.3/multinomial-selection-1.0.3.jar
 io.floodgate.sdk=https://repo.maven.apache.org/maven2/io/floodgate/sdk/1.0.0/sdk-1.0.0.jar
-io.foldright.cffu=https://repo.maven.apache.org/maven2/io/foldright/cffu/1.0.0-Alpha23/cffu-1.0.0-Alpha23.jar
-io.foldright.cffu.kotlin=https://repo.maven.apache.org/maven2/io/foldright/cffu-kotlin/1.0.0-Alpha23/cffu-kotlin-1.0.0-Alpha23.jar
-io.foldright.cffu.ttl.executor.wrapper=https://repo.maven.apache.org/maven2/io/foldright/cffu-ttl-executor-wrapper/1.0.0-Alpha23/cffu-ttl-executor-wrapper-1.0.0-Alpha23.jar
+io.foldright.cffu=https://repo.maven.apache.org/maven2/io/foldright/cffu/1.0.0-Alpha24/cffu-1.0.0-Alpha24.jar
+io.foldright.cffu.kotlin=https://repo.maven.apache.org/maven2/io/foldright/cffu-kotlin/1.0.0-Alpha24/cffu-kotlin-1.0.0-Alpha24.jar
+io.foldright.cffu.ttl.executor.wrapper=https://repo.maven.apache.org/maven2/io/foldright/cffu-ttl-executor-wrapper/1.0.0-Alpha24/cffu-ttl-executor-wrapper-1.0.0-Alpha24.jar
 io.foldright.inspectablewrappers=https://repo.maven.apache.org/maven2/io/foldright/inspectable-wrappers/0.5.5/inspectable-wrappers-0.5.5.jar
 io.foojay.api.discoclient=https://repo.maven.apache.org/maven2/io/foojay/api/discoclient/21.0.1/discoclient-21.0.1.jar
 io.fusionauth=https://repo.maven.apache.org/maven2/io/fusionauth/fusionauth-jwt/5.3.3/fusionauth-jwt-5.3.3.jar
@@ -6472,7 +6472,7 @@ org.sejda.fonts=https://repo.maven.apache.org/maven2/org/sejda/sejda-fonts/5.1.2
 org.sejda.impl.sambox=https://repo.maven.apache.org/maven2/org/sejda/sejda-sambox/5.1.2/sejda-sambox-5.1.2.jar
 org.sejda.io=https://repo.maven.apache.org/maven2/org/sejda/sejda-io/4.0.0.M4/sejda-io-4.0.0.M4.jar
 org.sejda.model=https://repo.maven.apache.org/maven2/org/sejda/sejda-model/5.1.2/sejda-model-5.1.2.jar
-org.sejda.sambox=https://repo.maven.apache.org/maven2/org/sejda/sambox/3.0.15/sambox-3.0.15.jar
+org.sejda.sambox=https://repo.maven.apache.org/maven2/org/sejda/sambox/3.0.16/sambox-3.0.16.jar
 org.sejda.tests=https://repo.maven.apache.org/maven2/org/sejda/sejda-tests/5.1.2/sejda-tests-5.1.2.jar
 org.seleniumhq.selenium.api=https://repo.maven.apache.org/maven2/org/seleniumhq/selenium/selenium-api/4.25.0/selenium-api-4.25.0.jar
 org.seleniumhq.selenium.chrome_driver=https://repo.maven.apache.org/maven2/org/seleniumhq/selenium/selenium-chrome-driver/4.25.0/selenium-chrome-driver-4.25.0.jar
@@ -6974,7 +6974,9 @@ tokyo.northside.mdict=https://repo.maven.apache.org/maven2/tokyo/northside/mdict
 tokyo.northside.pdic4j=https://repo.maven.apache.org/maven2/tokyo/northside/pdic4j/0.6.0/pdic4j-0.6.0.jar
 tokyo.northside.stardict4j=https://repo.maven.apache.org/maven2/tokyo/northside/stardict4j/1.1.0/stardict4j-1.1.0.jar
 tokyo.northside.trie4j=https://repo.maven.apache.org/maven2/tokyo/northside/trie4j/0.9.10_1/trie4j-0.9.10_1.jar
+tools.aqua.turnkey.cvc5=https://repo.maven.apache.org/maven2/tools/aqua/cvc5-turnkey/1.2.0/cvc5-turnkey-1.2.0.jar
 tools.aqua.turnkey.support=https://repo.maven.apache.org/maven2/tools/aqua/turnkey-support/1.0.0/turnkey-support-1.0.0.jar
+tools.aqua.turnkey.z3=https://repo.maven.apache.org/maven2/tools/aqua/z3-turnkey/4.13.0.1/z3-turnkey-4.13.0.1.jar
 tools.dynamia.actions=https://repo.maven.apache.org/maven2/tools/dynamia/tools.dynamia.actions/5.2.1/tools.dynamia.actions-5.2.1.jar
 tools.dynamia.commons=https://repo.maven.apache.org/maven2/tools/dynamia/tools.dynamia.commons/5.2.1/tools.dynamia.commons-5.2.1.jar
 tools.dynamia.crud=https://repo.maven.apache.org/maven2/tools/dynamia/tools.dynamia.crud/5.2.1/tools.dynamia.crud-5.2.1.jar