#----------------------------------------------------------------------------
# libboost_timer-dev - list of all dir's of package 'libboost_timer-dev'
#
# Creation   : 2018-03-25 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_libboost_timer_dev:1_87_0
eis_libboost_timer_dev