Index of /linux/debian/debian-ports/pool-x32/main/o/ocamlify

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 ocamlify_0.0.2-11+b5_x32.buildinfo          2026-06-19 08:03  6.2K  
 ocamlify_0.0.2-11+b5_x32.deb                2026-06-19 08:03  647K