| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| basic/ | Tue Oct 20 11:31:09 PDT 2026 | ||
| complete/ | Wed Oct 21 02:35:09 PDT 2026 | ||
| core/ | Sat Aug 08 08:48:00 PDT 2026 | ||
| learnlib-archetypes-parent/ | Wed Oct 21 03:49:32 PDT 2026 | ||
| typical/ | Wed Oct 21 06:31:57 PDT 2026 |