#----------------------------------------------------------------------------
# libebl-dev - list of all dir's of package 'libebl-dev'
#
# Creation   : 2018-07-02 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_libebl_dev:0_178
eis_libebl_dev