#---------------------------------------------------------------------------- # libzip-tools - list of all dir's of package 'libzip-tools' # # Creation : 2018-08-30 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_libzip_tools:1_11_3 eis64_libzip_tools