../ libghc-ogma-language-lustre-dev_1.15.0-1_amd64.deb 24-Jul-2026 16:05 194K libghc-ogma-language-lustre-doc_1.15.0-1_all.deb 24-Jul-2026 16:10 88K libghc-ogma-language-lustre-prof_1.15.0-1_amd64..> 24-Jul-2026 16:05 181K