#----------------------------------------------------------------------------
# libboost_random-dev - list of all dir's of package 'libboost_random-dev'
#
# Creation   : 2018-03-25 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_libboost_random_dev:1_87_0
eis_libboost_random_dev