#----------------------------------------------------------------------------
# gcc12-dev - list of all dir's of package 'gcc12-dev'
#
# Creation   : 2023-03-15 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_gcc12_dev:12_3_0
eis_gcc12_dev