Checksum: 42358ec07c606f41b3d4b9c920f58dba80a66e582ce4aaad7be7225c423da7d5 (page 1)

• haskell-skylighting-core/0.14.3-1/xml/agda.xml
• kf6-syntax-highlighting/6.13.0-1/data/syntax/agda.xml
• ksyntax-highlighting/5.116.0-1/data/syntax/agda.xml