libghc-djot-dev_0.1.2.4-1_amd64.deb
libghc-djot-doc_0.1.2.4-1_all.deb
libghc-djot-prof_0.1.2.4-1_amd64.deb