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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] ppxfind_1.3.orig.tar.gz                            2019-09-17 11:03  3.9K  
[   ] ppxfind_1.3-1build1_amd64.deb                      2020-02-21 19:53  6.8M  
[TXT] ppxfind_1.3-1build1.dsc                            2020-02-21 19:43  2.0K  
[   ] ppxfind_1.3-1build1.debian.tar.xz                  2020-02-21 19:43  2.1K
Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443