#---------------------------------------------------------------------------- # osptoolkit4_13-dev - list of all dir's of package 'osptoolkit4_13-dev' # # Creation : 2025-07-18 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_osptoolkit4_13_dev:4_13_0 bin_common_opstoolkit4_13_dev_provides eis64_osptoolkit4_13_dev