/debian-ports/pool-x32/main/c/cmdliner/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cmdliner_2.1.0-1_x32.buildinfo5.8 KiB16.03.2026 18:03
libcmdliner-ocaml-dev_2.1.0-1_x32.deb1.7 MiB16.03.2026 18:03