libghc-oo-prototypes-dev_0.1.0.0-11+b1_amd64.deb
libghc-oo-prototypes-dev_0.1.0.0-11+b1_arm64.deb
libghc-oo-prototypes-doc_0.1.0.0-11_all.deb
libghc-oo-prototypes-prof_0.1.0.0-11+b1_amd64.deb
libghc-oo-prototypes-prof_0.1.0.0-11+b1_arm64.deb