| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Sat Jun 06 23:36:06 PDT 2026 | ||
| complete/ | Sun Jun 07 01:06:03 PDT 2026 | ||
| core/ | Fri Jul 03 02:04:35 PDT 2026 | ||
| learnlib-archetypes-parent/ | Sat Jun 06 18:20:41 PDT 2026 | ||
| typical/ | Fri Jul 03 00:03:49 PDT 2026 |