Index of /debian-ports/pool-x32/main/o/opam

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]opam_2.0.7-3_x32.deb2021-02-02 08:03 504K 
[   ]opam_2.0.7-3_x32.buildinfo2021-02-02 08:03 8.4K 
[   ]opam-installer_2.0.7-3_x32.deb2021-02-02 08:03 309K 
[   ]opam-installer-dbgsym_2.0.7-3_x32.deb2021-02-02 08:03 18K 
[   ]opam-dbgsym_2.0.7-3_x32.deb2021-02-02 08:03 25K