| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| Jena-PA/ | Sat Jan 15 06:13:38 CET 2022 | ||
| contracts-cmdLine/ | Sat Dec 23 00:09:12 CET 2023 | ||
| junit-contracts/ | Mon Aug 14 09:30:34 CEST 2023 | ||
| maven-metadata.xml | Sat Jan 20 20:32:13 CET 2018 | 264 | |
| maven-metadata.xml.sha1 | Sat Jan 20 20:32:13 CET 2018 | 40 |