Index of /linux/debian/debian-ports/pool-ppc64/main/b/biniou

 Name                                            Last modified      Size  
 Parent Directory                                                     -   
 biniou_1.2.2-4+b5_ppc64.buildinfo               2026-06-17 20:03  6.9K  
 libbiniou-ocaml-dev-dbgsym_1.2.2-4+b5_ppc64.deb 2026-06-17 20:03   26K  
 libbiniou-ocaml-dev_1.2.2-4+b5_ppc64.deb        2026-06-17 20:03  460K  
 libbiniou-ocaml_1.2.2-4+b5_ppc64.deb            2026-06-17 20:03   82K