../ gloss 08-Feb-2023 21:50 146 gloss-word 10-Sep-2023 21:26 21K glossa 30-May-2023 22:53 13K glossa-codegen 30-May-2023 22:53 7327 glossary 08-Feb-2023 21:50 752 glossy 08-Feb-2023 21:50 948 glossy_codegen 08-Feb-2023 21:50 925