#----------------------------------------------------------------------------
# libinstpatch-dev - list of all dir's of package 'libinstpatch-dev'
#
# Creation   : 2025-01-26 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_libinstpatch_dev:1_1_6
eis_libinstpatch_dev