Index of /ubuntu/pool/universe/p/ppxfind

Icon  Name                              Last modified      Size  Description
[PARENTDIR] Parent Directory                                       -   
[   ] ppxfind_1.3-1build1.debian.tar.xz 2020-02-21 12:43  2.1K  
[   ] ppxfind_1.3-1build1.dsc           2020-02-21 12:43  2.0K  
[   ] ppxfind_1.3-1build1_amd64.deb     2020-02-21 12:53  6.8M  
[   ] ppxfind_1.3.orig.tar.gz           2019-09-17 05:03  3.9K
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80