repspec.ada 6.24 KB