Index of /debian-ports/pool-sh4/main/m/microprofile/

../
libmicroprofile-dev_4.0+dfsg-4+b1_sh4.deb          17-Apr-2024 09:03      1M
libmicroprofile4-dbgsym_4.0+dfsg-4+b1_sh4.deb      17-Apr-2024 09:03    157K
libmicroprofile4_4.0+dfsg-4+b1_sh4.deb             17-Apr-2024 09:03    124K
microprofile_4.0+dfsg-4+b1_sh4.buildinfo           17-Apr-2024 09:03    7268