#---------------------------------------------------------------------------- # hwloc-dev - list of all dir's of package 'hwloc-dev' # # Creation : 2023-05-20 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_hwloc_dev:2_11_2 eis64_hwloc_dev