#----------------------------------------------------------------------------
# ffmpeg-7-mini-dev - list of all dir's of package 'ffmpeg-7-mini-dev'
#
# Creation   : 2024-10-09 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_ffmpeg_7_mini_dev:7_1
eis_ffmpeg_7_mini_dev