Index of /debian/pool/main/p/pgfaceting

Icon  Name                                     Last modified      Size  
[PARENTDIR] Parent Directory                                              -   
[   ] pgfaceting_0.2.0-4.debian.tar.xz         2024-09-19 10:49  2.3K  
[TXT] pgfaceting_0.2.0-4.dsc                   2024-09-19 10:49  2.1K  
[   ] pgfaceting_0.2.0-5.debian.tar.xz         2025-10-09 13:11  2.4K  
[TXT] pgfaceting_0.2.0-5.dsc                   2025-10-09 13:11  2.1K  
[   ] pgfaceting_0.2.0.orig.tar.gz             2024-03-20 16:40   13K  
[   ] postgresql-17-pgfaceting_0.2.0-4_all.deb 2024-09-19 11:15  9.5K  
[   ] postgresql-18-pgfaceting_0.2.0-5_all.deb 2025-10-09 20:53  9.6K
Apache/2.4.58 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80