Index of /linux/debian/debian-ports/pool-x32/main/l/labltk

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 labltk_8.06.15-1+b3_x32.buildinfo           2026-06-18 14:03  8.3K  
 labltk_8.06.15-1+b3_x32.deb                 2026-06-18 14:03  6.9K  
 liblabltk-ocaml-dbgsym_8.06.15-1+b3_x32.deb 2026-06-18 14:03  3.2K  
 liblabltk-ocaml-dev_8.06.15-1+b3_x32.deb    2026-06-18 14:03  1.5M  
 liblabltk-ocaml_8.06.15-1+b3_x32.deb        2026-06-18 14:03   12K