Index of /linux/debian/debian-ports/pool-m68k/main/w/why3

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] libwhy3-ocaml-dev_1.8.2-1_m68k.deb           2025-09-24 02:04  7.3M  
[   ] why3-dbgsym_1.8.2-1_m68k.deb                 2025-09-24 02:04   35K  
[   ] why3_1.8.2-1_m68k.buildinfo                  2025-09-24 02:04   15K  
[   ] why3_1.8.2-1_m68k.deb                        2025-09-24 02:04   21M