libghc-futhark-server-dev_1.2.3.0-2_amd64.deb
libghc-futhark-server-doc_1.2.3.0-2_all.deb
libghc-futhark-server-prof_1.2.3.0-2_amd64.deb