Upstream dependencies with JPMS support

LicenseApache 2.0
Tagsprotocol
HomePage https://www.aya-prover.org
Ranking#226733 in MvnRepository (See Top Artifacts)
Used By2 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
0.0.29Central
0
Nov 27, 2024
0.0.28CentralNov 04, 2024
0.0.27Central
0
Aug 15, 2024
0.0.26Central
0
Jun 29, 2024
0.0.25CentralMay 30, 2024
0.0.24CentralMay 28, 2024
0.0.23Central
0
May 14, 2024
0.0.22Central
0
Apr 23, 2024
0.0.21CentralDec 13, 2023
0.0.20CentralNov 04, 2023
0.0.19Central
0
Oct 09, 2023
0.0.18Central
0
Aug 12, 2023
0.0.17Central
0
Jun 07, 2023
0.0.16Central
0
Jun 07, 2023
0.0.15Central
0
Jun 05, 2023
0.0.14CentralMay 06, 2023
0.0.13Central
0
Apr 26, 2023
0.0.12Central
0
Apr 10, 2023
0.0.11CentralJan 21, 2023
0.0.10CentralDec 17, 2022
0.0.9CentralNov 10, 2022
0.0.8Central
0
Nov 10, 2022
0.0.7CentralOct 08, 2022
0.0.6Central
0
Sep 30, 2022
0.0.5Central
0
Sep 27, 2022
0.0.4CentralSep 25, 2022