Index of /debian/pool/main/p/papi

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 papi_7.0.0.orig.tar.gz        2022-11-24 11:23  5.4M  
 papi_7.0.0-2.debian.tar.xz    2022-11-29 14:54   20K  
 papi_7.0.0-2.dsc              2022-11-29 14:54  2.2K  
 libpapi-dev_7.0.0-2_amd64.deb 2022-11-29 15:59  316K  
 libpapi7.0_7.0.0-2_amd64.deb  2022-11-29 15:59  447K  
 libsde1_7.0.0-2_amd64.deb     2022-11-29 15:59   39K  
 papi-tools_7.0.0-2_amd64.deb  2022-11-29 15:59   77K  
 papi-examples_7.0.0-2_all.deb 2022-11-29 16:14  151K