libmicroprofile-dev_4.0+dfsg-4+b3_amd64.deb
libmicroprofile-dev_4.0+dfsg-4+b3_i386.deb
libmicroprofile4_4.0+dfsg-4+b3_amd64.deb
libmicroprofile4_4.0+dfsg-4+b3_i386.deb
microprofile_4.0+dfsg-4.debian.tar.xz
microprofile_4.0+dfsg-4.dsc
microprofile_4.0+dfsg.orig.tar.xz