Index of /raspbian/pool/main/p/ppx-globalize

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] libppx-globalize-ocaml-dev_0.17.0-1+b3_armhf.deb 2025-02-13 03:14  249K  
[   ] libppx-globalize-ocaml_0.17.0-1+b3_armhf.deb     2025-02-13 03:14  142K  
[   ] ppx-globalize_0.17.0.orig.tar.gz                 2024-07-05 17:12  8.5K  
[   ] ppx-globalize_0.17.0-1.debian.tar.xz             2024-07-05 17:12  2.2K  
[TXT] ppx-globalize_0.17.0-1.dsc                       2024-07-05 17:12  2.1K
Apache/2.4.65 (Debian) Server at raspbian.bio.lmu.de Port 443