| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| enum_with_gap.adb | 2026-Jan-02 10:03:46 | 0.9K | application/octet-stream |
| enum_with_gap.ads | 2026-Jan-02 10:03:46 | 1.3K | application/octet-stream |
| enum_with_gap_main.adb | 2026-Jan-02 10:03:46 | 1.0K | application/octet-stream |