| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Mon May 25 01:18:21 UTC 2026 | ||
| complete/ | Wed May 20 17:00:33 UTC 2026 | ||
| core/ | Mon Mar 30 18:49:25 UTC 2026 | ||
| learnlib-archetypes-parent/ | Wed May 20 09:53:33 UTC 2026 | ||
| typical/ | Tue May 26 03:42:57 UTC 2026 |