libghc-ogma-language-lustre-dev_1.12.0-1_amd64.deb
libghc-ogma-language-lustre-doc_1.12.0-1_all.deb
libghc-ogma-language-lustre-prof_1.12.0-1_amd64.deb