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