| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Tue Nov 10 17:32:22 PST 2026 | ||
| complete/ | Tue Nov 10 17:56:06 PST 2026 | ||
| core/ | Tue Nov 10 01:10:19 PST 2026 | ||
| learnlib-archetypes-parent/ | Tue Nov 10 07:13:26 PST 2026 | ||
| typical/ | Tue Nov 10 12:20:34 PST 2026 |