#----------------------------------------------------------------------------
# osptoolkit4_32-dev - list of all dir's of package 'osptoolkit4_32-dev'
#
# Creation   : 2025-07-18 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_osptoolkit4_32_dev:4_32_0
bin_common_opstoolkit4_32_dev_provides
eis_osptoolkit4_32_dev