../ libghc-djot-dev_0.1.4.2-1_amd64.deb 09-Oct-2026 11:36 893712 libghc-djot-doc_0.1.4.2-1_all.deb 09-Oct-2026 11:36 187088 libghc-djot-prof_0.1.4.2-1_amd64.deb 09-Oct-2026 11:36 796180