Index of /kali/pool/main/m/menhir

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 menhir_20240715+ds-1.debian.tar.xz                 2024-08-20 14:40   14K  
 menhir_20240715+ds-1.dsc                           2024-08-20 14:40  2.0K  
 menhir_20240715+ds.orig.tar.xz                     2024-08-20 14:40  528K  
 libmenhir-ocaml-dev_20240715+ds-1_amd64.deb        2024-08-20 15:00  885K  
 menhir_20240715+ds-1_amd64.deb                     2024-08-20 15:00  1.3M  
 libmenhir-ocaml-dev_20240715+ds-1_armhf.deb        2024-08-20 15:05  790K  
 menhir_20240715+ds-1_armhf.deb                     2024-08-20 15:05  359K  
 libmenhir-ocaml-dev_20240715+ds-1_armel.deb        2024-08-20 15:05  790K  
 menhir_20240715+ds-1_armel.deb                     2024-08-20 15:05  359K  
 libmenhir-ocaml-dev_20240715+ds-1_i386.deb         2024-08-20 15:05  790K  
 menhir_20240715+ds-1_i386.deb                      2024-08-20 15:05  396K  
 libmenhir-ocaml-dev_20240715+ds-1_arm64.deb        2024-08-20 15:05  887K  
 menhir-doc_20240715+ds-1_all.deb                   2024-08-20 15:05  466K  
 menhir_20240715+ds-1_arm64.deb                     2024-08-20 15:05  1.5M