| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Fri May 29 08:27:45 UTC 2026 | ||
| complete/ | Wed May 20 17:00:33 UTC 2026 | ||
| core/ | Mon Mar 30 18:49:25 UTC 2026 | ||
| learnlib-archetypes-parent/ | Fri May 29 05:58:14 UTC 2026 | ||
| typical/ | Fri May 29 06:40:49 UTC 2026 |