# filelist

dirname: /usr/lib64
filetypes: ffffffffffffffffffff
filenames:
  libbddx.a/libbddx.la/libbddx.so/libbddx.so.0/libbddx.so.0.0.0/libspot.a/libspot.la/libspot.so/libspot.so.0/libspot.so.0.0.0/libspotgen.a/libspotgen.la/libspotgen.so/libspotgen.so.0/libspotgen.so.0.0.0/libspotltsmin.a/libspotltsmin.la/libspotltsmin.so/libspotltsmin.so.0/libspotltsmin.so.0.0.0


dirname: /usr/lib64
filetypes: ffffffffffffffff
filenames:
  libbddx.a/libbddx.so/libbddx.so.0/libbddx.so.0.0.0/libspot.a/libspot.so/libspot.so.0/libspot.so.0.0.0/libspotgen.a/libspotgen.so/libspotgen.so.0/libspotgen.so.0.0.0/libspotltsmin.a/libspotltsmin.so/libspotltsmin.so.0/libspotltsmin.so.0.0.0


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.0.dev-0.fc34.x86_64.debug/libspot.so.0.0.0-2.10.0.dev-0.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.0.dev-0.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.0.dev-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.0.dev-1.fc34.x86_64.debug/libspot.so.0.0.0-2.10.0.dev-1.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.0.dev-1.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.0.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.0.dev-6.fc34.x86_64.debug/libspot.so.0.0.0-2.10.0.dev-6.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.0.dev-6.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.0.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.0.dev-7.fc34.x86_64.debug/libspot.so.0.0.0-2.10.0.dev-7.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.0.dev-7.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.0.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.0.dev-9.fc34.x86_64.debug/libspot.so.0.0.0-2.10.0.dev-9.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.0.dev-9.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.0.dev-9.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.1.dev-1.fc34.x86_64.debug/libspot.so.0.0.0-2.10.1.dev-1.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.1.dev-1.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.1.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.1.dev-2.fc34.x86_64.debug/libspot.so.0.0.0-2.10.1.dev-2.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.1.dev-2.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.1.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.1.dev-5.fc34.x86_64.debug/libspot.so.0.0.0-2.10.1.dev-5.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.1.dev-5.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.1.dev-5.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.1.dev-7.fc34.x86_64.debug/libspot.so.0.0.0-2.10.1.dev-7.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.1.dev-7.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.1.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.2.dev-1.fc34.x86_64.debug/libspot.so.0.0.0-2.10.2.dev-1.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.2.dev-1.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.2.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.2.dev-2.fc34.x86_64.debug/libspot.so.0.0.0-2.10.2.dev-2.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.2.dev-2.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.2.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.2.dev-6.fc34.x86_64.debug/libspot.so.0.0.0-2.10.2.dev-6.fc34.x86_64.debug/libspotgen.so.0.0.0-2.10.2.dev-6.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.10.2.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.4.dev-0.fc35.x86_64.debug/libspot.so.0.0.0-2.10.4.dev-0.fc35.x86_64.debug/libspotgen.so.0.0.0-2.10.4.dev-0.fc35.x86_64.debug/libspotltsmin.so.0.0.0-2.10.4.dev-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.4.dev-11.fc35.x86_64.debug/libspot.so.0.0.0-2.10.4.dev-11.fc35.x86_64.debug/libspotgen.so.0.0.0-2.10.4.dev-11.fc35.x86_64.debug/libspotltsmin.so.0.0.0-2.10.4.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.5.dev-0.fc36.x86_64.debug/libspot.so.0.0.0-2.10.5.dev-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.10.5.dev-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.10.5.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.5.dev-11.fc35.x86_64.debug/libspot.so.0.0.0-2.10.5.dev-11.fc35.x86_64.debug/libspotgen.so.0.0.0-2.10.5.dev-11.fc35.x86_64.debug/libspotltsmin.so.0.0.0-2.10.5.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.6.dev-0.fc36.x86_64.debug/libspot.so.0.0.0-2.10.6.dev-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.10.6.dev-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.10.6.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.10.6.dev-11.fc36.x86_64.debug/libspot.so.0.0.0-2.10.6.dev-11.fc36.x86_64.debug/libspotgen.so.0.0.0-2.10.6.dev-11.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.10.6.dev-11.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.0.dev-1.fc36.x86_64.debug/libspot.so.0.0.0-2.11.0.dev-1.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.0.dev-1.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.0.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.1.dev-0.fc36.x86_64.debug/libspot.so.0.0.0-2.11.1.dev-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.1.dev-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.1.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.1.dev-1.fc36.x86_64.debug/libspot.so.0.0.0-2.11.1.dev-1.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.1.dev-1.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.1.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.1.dev-6.fc36.x86_64.debug/libspot.so.0.0.0-2.11.1.dev-6.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.1.dev-6.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.1.dev-6.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.1.dev-9.fc36.x86_64.debug/libspot.so.0.0.0-2.11.1.dev-9.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.1.dev-9.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.1.dev-9.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.2.dev-0.fc36.x86_64.debug/libspot.so.0.0.0-2.11.2.dev-0.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.2.dev-0.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.2.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.2.dev-0.fc37.x86_64.debug/libspot.so.0.0.0-2.11.2.dev-0.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.2.dev-0.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.2.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.2.dev-1.fc36.x86_64.debug/libspot.so.0.0.0-2.11.2.dev-1.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.2.dev-1.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.2.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.2.dev-7.fc36.x86_64.debug/libspot.so.0.0.0-2.11.2.dev-7.fc36.x86_64.debug/libspotgen.so.0.0.0-2.11.2.dev-7.fc36.x86_64.debug/libspotltsmin.so.0.0.0-2.11.2.dev-7.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.3.dev-0.fc37.x86_64.debug/libspot.so.0.0.0-2.11.3.dev-0.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.3.dev-0.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.3.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.3.dev-11.fc37.x86_64.debug/libspot.so.0.0.0-2.11.3.dev-11.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.3.dev-11.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.3.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.3.dev-8.fc37.x86_64.debug/libspot.so.0.0.0-2.11.3.dev-8.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.3.dev-8.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.3.dev-8.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.4.dev-0.fc37.x86_64.debug/libspot.so.0.0.0-2.11.4.dev-0.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.4.dev-0.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.4.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.4.dev-11.fc37.x86_64.debug/libspot.so.0.0.0-2.11.4.dev-11.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.4.dev-11.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.4.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.5.dev-11.fc37.x86_64.debug/libspot.so.0.0.0-2.11.5.dev-11.fc37.x86_64.debug/libspotgen.so.0.0.0-2.11.5.dev-11.fc37.x86_64.debug/libspotltsmin.so.0.0.0-2.11.5.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.11.6.dev-0.fc40.x86_64.debug/libspot.so.0.0.0-2.11.6.dev-0.fc40.x86_64.debug/libspotgen.so.0.0.0-2.11.6.dev-0.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.11.6.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.0.dev-0.fc40.x86_64.debug/libspot.so.0.0.0-2.12.0.dev-0.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.0.dev-0.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.0.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.0.dev-1.fc40.x86_64.debug/libspot.so.0.0.0-2.12.0.dev-1.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.0.dev-1.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.0.dev-1.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.0.dev-4.fc40.x86_64.debug/libspot.so.0.0.0-2.12.0.dev-4.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.0.dev-4.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.0.dev-4.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.0.dev-5.fc40.x86_64.debug/libspot.so.0.0.0-2.12.0.dev-5.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.0.dev-5.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.0.dev-5.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.0.dev-7.fc40.x86_64.debug/libspot.so.0.0.0-2.12.0.dev-7.fc40.x86_64.debug/libspotgen.so.0.0.0-2.12.0.dev-7.fc40.x86_64.debug/libspotltsmin.so.0.0.0-2.12.0.dev-7.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.12.2.dev-0.fc41.x86_64.debug/libspot.so.0.0.0-2.12.2.dev-0.fc41.x86_64.debug/libspotgen.so.0.0.0-2.12.2.dev-0.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.12.2.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.0.dev-0.fc41.x86_64.debug/libspot.so.0.0.0-2.13.0.dev-0.fc41.x86_64.debug/libspotgen.so.0.0.0-2.13.0.dev-0.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.13.0.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.0.dev-0.fc42.x86_64.debug/libspot.so.0.0.0-2.13.0.dev-0.fc42.x86_64.debug/libspotgen.so.0.0.0-2.13.0.dev-0.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.13.0.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.0.dev-1.fc41.x86_64.debug/libspot.so.0.0.0-2.13.0.dev-1.fc41.x86_64.debug/libspotgen.so.0.0.0-2.13.0.dev-1.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.13.0.dev-1.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.0.dev-2.fc41.x86_64.debug/libspot.so.0.0.0-2.13.0.dev-2.fc41.x86_64.debug/libspotgen.so.0.0.0-2.13.0.dev-2.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.13.0.dev-2.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.0.dev-5.fc41.x86_64.debug/libspot.so.0.0.0-2.13.0.dev-5.fc41.x86_64.debug/libspotgen.so.0.0.0-2.13.0.dev-5.fc41.x86_64.debug/libspotltsmin.so.0.0.0-2.13.0.dev-5.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.1.dev-11.fc42.x86_64.debug/libspot.so.0.0.0-2.13.1.dev-11.fc42.x86_64.debug/libspotgen.so.0.0.0-2.13.1.dev-11.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.13.1.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.2.dev-0.fc42.x86_64.debug/libspot.so.0.0.0-2.13.2.dev-0.fc42.x86_64.debug/libspotgen.so.0.0.0-2.13.2.dev-0.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.13.2.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.13.2.dev-11.fc42.x86_64.debug/libspot.so.0.0.0-2.13.2.dev-11.fc42.x86_64.debug/libspotgen.so.0.0.0-2.13.2.dev-11.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.13.2.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.14.0.dev-1.fc42.x86_64.debug/libspot.so.0.0.0-2.14.0.dev-1.fc42.x86_64.debug/libspotgen.so.0.0.0-2.14.0.dev-1.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.14.0.dev-1.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.14.0.dev-4.fc42.x86_64.debug/libspot.so.0.0.0-2.14.0.dev-4.fc42.x86_64.debug/libspotgen.so.0.0.0-2.14.0.dev-4.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.14.0.dev-4.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.14.0.dev-6.fc42.x86_64.debug/libspot.so.0.0.0-2.14.0.dev-6.fc42.x86_64.debug/libspotgen.so.0.0.0-2.14.0.dev-6.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.14.0.dev-6.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.14.0.dev-7.fc42.x86_64.debug/libspot.so.0.0.0-2.14.0.dev-7.fc42.x86_64.debug/libspotgen.so.0.0.0-2.14.0.dev-7.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.14.0.dev-7.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.14.0.dev-9.fc42.x86_64.debug/libspot.so.0.0.0-2.14.0.dev-9.fc42.x86_64.debug/libspotgen.so.0.0.0-2.14.0.dev-9.fc42.x86_64.debug/libspotltsmin.so.0.0.0-2.14.0.dev-9.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.8.dev-0.fc33.x86_64.debug/libspot.so.0.0.0-2.9.8.dev-0.fc33.x86_64.debug/libspotgen.so.0.0.0-2.9.8.dev-0.fc33.x86_64.debug/libspotltsmin.so.0.0.0-2.9.8.dev-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64
filetypes: ffff
filenames:
  libbddx.so.0.0.0-2.9.8.dev-0.fc34.x86_64.debug/libspot.so.0.0.0-2.9.8.dev-0.fc34.x86_64.debug/libspotgen.so.0.0.0-2.9.8.dev-0.fc34.x86_64.debug/libspotltsmin.so.0.0.0-2.9.8.dev-0.fc34.x86_64.debug


dirname: /usr/lib64/python3.9/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-39.opt-1.pyc/__init__.cpython-39.pyc/aux_.cpython-39.opt-1.pyc/aux_.cpython-39.pyc/gen.cpython-39.opt-1.pyc/gen.cpython-39.pyc/impl.cpython-39.opt-1.pyc/impl.cpython-39.pyc/jupyter.cpython-39.opt-1.pyc/jupyter.cpython-39.pyc/ltsmin.cpython-39.opt-1.pyc/ltsmin.cpython-39.pyc


dirname: /usr/lib64/python3.9/site-packages/spot
filetypes: fffffffffffffffd
filenames:
  __init__.py/_gen.cpython-39-x86_64-linux-gnu.a/_gen.cpython-39-x86_64-linux-gnu.la/_gen.cpython-39-x86_64-linux-gnu.so/_impl.cpython-39-x86_64-linux-gnu.a/_impl.cpython-39-x86_64-linux-gnu.la/_impl.cpython-39-x86_64-linux-gnu.so/_ltsmin.cpython-39-x86_64-linux-gnu.a/_ltsmin.cpython-39-x86_64-linux-gnu.la/_ltsmin.cpython-39-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py/__pycache__


dirname: /usr/lib64/python3.9/site-packages
filetypes: ffffd
filenames:
  _buddy.cpython-39-x86_64-linux-gnu.a/_buddy.cpython-39-x86_64-linux-gnu.la/_buddy.cpython-39-x86_64-linux-gnu.so/buddy.py/spot


dirname: /usr/lib64/python3.9/site-packages/spot
filetypes: fdffffffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-39-x86_64-linux-gnu.a/_gen.cpython-39-x86_64-linux-gnu.la/_gen.cpython-39-x86_64-linux-gnu.so/_impl.cpython-39-x86_64-linux-gnu.a/_impl.cpython-39-x86_64-linux-gnu.la/_impl.cpython-39-x86_64-linux-gnu.so/_ltsmin.cpython-39-x86_64-linux-gnu.a/_ltsmin.cpython-39-x86_64-linux-gnu.la/_ltsmin.cpython-39-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.10/site-packages
filetypes: ffffd
filenames:
  _buddy.cpython-310-x86_64-linux-gnu.a/_buddy.cpython-310-x86_64-linux-gnu.la/_buddy.cpython-310-x86_64-linux-gnu.so/buddy.py/spot


dirname: /usr/lib64/python3.10/site-packages/spot
filetypes: fdffffffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-310-x86_64-linux-gnu.a/_gen.cpython-310-x86_64-linux-gnu.la/_gen.cpython-310-x86_64-linux-gnu.so/_impl.cpython-310-x86_64-linux-gnu.a/_impl.cpython-310-x86_64-linux-gnu.la/_impl.cpython-310-x86_64-linux-gnu.so/_ltsmin.cpython-310-x86_64-linux-gnu.a/_ltsmin.cpython-310-x86_64-linux-gnu.la/_ltsmin.cpython-310-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.10/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-310.opt-1.pyc/__init__.cpython-310.pyc/aux_.cpython-310.opt-1.pyc/aux_.cpython-310.pyc/gen.cpython-310.opt-1.pyc/gen.cpython-310.pyc/impl.cpython-310.opt-1.pyc/impl.cpython-310.pyc/jupyter.cpython-310.opt-1.pyc/jupyter.cpython-310.pyc/ltsmin.cpython-310.opt-1.pyc/ltsmin.cpython-310.pyc


dirname: /usr/lib64/python3.10/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-310-x86_64-linux-gnu.a/_gen.cpython-310-x86_64-linux-gnu.so/_impl.cpython-310-x86_64-linux-gnu.a/_impl.cpython-310-x86_64-linux-gnu.so/_ltsmin.cpython-310-x86_64-linux-gnu.a/_ltsmin.cpython-310-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.11/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-311-x86_64-linux-gnu.a/_gen.cpython-311-x86_64-linux-gnu.so/_impl.cpython-311-x86_64-linux-gnu.a/_impl.cpython-311-x86_64-linux-gnu.so/_ltsmin.cpython-311-x86_64-linux-gnu.a/_ltsmin.cpython-311-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.11/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-311.opt-1.pyc/__init__.cpython-311.pyc/aux_.cpython-311.opt-1.pyc/aux_.cpython-311.pyc/gen.cpython-311.opt-1.pyc/gen.cpython-311.pyc/impl.cpython-311.opt-1.pyc/impl.cpython-311.pyc/jupyter.cpython-311.opt-1.pyc/jupyter.cpython-311.pyc/ltsmin.cpython-311.opt-1.pyc/ltsmin.cpython-311.pyc


dirname: /usr/lib64/python3.12/site-packages/spot/__pycache__
filetypes: ffffffffffff
filenames:
  __init__.cpython-312.opt-1.pyc/__init__.cpython-312.pyc/aux_.cpython-312.opt-1.pyc/aux_.cpython-312.pyc/gen.cpython-312.opt-1.pyc/gen.cpython-312.pyc/impl.cpython-312.opt-1.pyc/impl.cpython-312.pyc/jupyter.cpython-312.opt-1.pyc/jupyter.cpython-312.pyc/ltsmin.cpython-312.opt-1.pyc/ltsmin.cpython-312.pyc


dirname: /usr/lib64/python3.12/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-312-x86_64-linux-gnu.a/_gen.cpython-312-x86_64-linux-gnu.so/_impl.cpython-312-x86_64-linux-gnu.a/_impl.cpython-312-x86_64-linux-gnu.so/_ltsmin.cpython-312-x86_64-linux-gnu.a/_ltsmin.cpython-312-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib64/python3.13/site-packages/spot/__pycache__
filetypes: ffffffffffffffffff
filenames:
  __init__.cpython-313.opt-1.pyc/__init__.cpython-313.opt-2.pyc/__init__.cpython-313.pyc/aux_.cpython-313.opt-1.pyc/aux_.cpython-313.opt-2.pyc/aux_.cpython-313.pyc/gen.cpython-313.opt-1.pyc/gen.cpython-313.opt-2.pyc/gen.cpython-313.pyc/impl.cpython-313.opt-1.pyc/impl.cpython-313.opt-2.pyc/impl.cpython-313.pyc/jupyter.cpython-313.opt-1.pyc/jupyter.cpython-313.opt-2.pyc/jupyter.cpython-313.pyc/ltsmin.cpython-313.opt-1.pyc/ltsmin.cpython-313.opt-2.pyc/ltsmin.cpython-313.pyc


dirname: /usr/lib64/python3.13/site-packages/spot
filetypes: fdfffffffffff
filenames:
  __init__.py/__pycache__/_gen.cpython-313-x86_64-linux-gnu.a/_gen.cpython-313-x86_64-linux-gnu.so/_impl.cpython-313-x86_64-linux-gnu.a/_impl.cpython-313-x86_64-linux-gnu.so/_ltsmin.cpython-313-x86_64-linux-gnu.a/_ltsmin.cpython-313-x86_64-linux-gnu.so/aux_.py/gen.py/impl.py/jupyter.py/ltsmin.py


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-0.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-0.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-1.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-1.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-6.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-6.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-7.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-7.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-9.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-9.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.0.dev-9.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-1.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-1.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-2.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-2.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-5.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-5.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-5.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-7.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-7.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.1.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-1.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-1.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-2.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-2.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-6.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-6.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.10.2.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-0.fc35.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-0.fc35.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-11.fc35.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-11.fc35.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.4.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-11.fc35.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-11.fc35.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.5.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-11.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-11.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.10.6.dev-11.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.0.dev-1.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.0.dev-1.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.0.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-1.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-1.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-6.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-6.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-6.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-9.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-9.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.1.dev-9.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-0.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-0.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.2.dev-0.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.2.dev-0.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.2.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-1.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-1.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.10/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-7.fc36.x86_64.debug/_impl.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-7.fc36.x86_64.debug/_ltsmin.cpython-310-x86_64-linux-gnu.so-2.11.2.dev-7.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-0.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-0.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-11.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-11.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-8.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-8.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.3.dev-8.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-0.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-0.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-11.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-11.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.4.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.11/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-311-x86_64-linux-gnu.so-2.11.5.dev-11.fc37.x86_64.debug/_impl.cpython-311-x86_64-linux-gnu.so-2.11.5.dev-11.fc37.x86_64.debug/_ltsmin.cpython-311-x86_64-linux-gnu.so-2.11.5.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.11.6.dev-0.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.11.6.dev-0.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.11.6.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-0.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-0.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-1.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-1.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-1.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-4.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-4.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-4.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-5.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-5.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-5.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.12/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-7.fc40.x86_64.debug/_impl.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-7.fc40.x86_64.debug/_ltsmin.cpython-312-x86_64-linux-gnu.so-2.12.0.dev-7.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.12.2.dev-0.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.12.2.dev-0.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.12.2.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-1.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-1.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-1.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-2.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-2.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-2.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-5.fc41.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-5.fc41.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.0.dev-5.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.1.dev-11.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.1.dev-11.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.1.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-0.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-0.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-11.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-11.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.13.2.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-1.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-1.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-1.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-4.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-4.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-4.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-6.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-6.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-6.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-7.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-7.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-7.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.13/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-9.fc42.x86_64.debug/_impl.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-9.fc42.x86_64.debug/_ltsmin.cpython-313-x86_64-linux-gnu.so-2.14.0.dev-9.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc33.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc33.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/lib64/python3.9/site-packages/spot
filetypes: fff
filenames:
  _gen.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc34.x86_64.debug/_impl.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc34.x86_64.debug/_ltsmin.cpython-39-x86_64-linux-gnu.so-2.9.8.dev-0.fc34.x86_64.debug


dirname: /usr/bin
filetypes: ffffffffffffff
filenames:
  autcross/autfilt/dstar2tgba/genaut/genltl/ltl2tgba/ltl2tgta/ltlcross/ltldo/ltlfilt/ltlgrind/ltlsynt/randaut/randltl


dirname: /usr/share/man/man1
filetypes: ffffffffffffff
filenames:
  autcross.1.gz/autfilt.1.gz/dstar2tgba.1.gz/genaut.1.gz/genltl.1.gz/ltl2tgba.1.gz/ltl2tgta.1.gz/ltlcross.1.gz/ltldo.1.gz/ltlfilt.1.gz/ltlgrind.1.gz/ltlsynt.1.gz/randaut.1.gz/randltl.1.gz


dirname: /usr/bin
filetypes: fffffffffffffff
filenames:
  autcross/autfilt/dstar2tgba/genaut/genltl/ltl2tgba/ltl2tgta/ltlcross/ltldo/ltlfilt/ltlgrind/ltlmix/ltlsynt/randaut/randltl


dirname: /usr/share/man/man1
filetypes: fffffffffffffff
filenames:
  autcross.1.gz/autfilt.1.gz/dstar2tgba.1.gz/genaut.1.gz/genltl.1.gz/ltl2tgba.1.gz/ltl2tgta.1.gz/ltlcross.1.gz/ltldo.1.gz/ltlfilt.1.gz/ltlgrind.1.gz/ltlmix.1.gz/ltlsynt.1.gz/randaut.1.gz/randltl.1.gz


dirname: /usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross/autfilt/dstar2tgba/genaut/genltl/ltl2tgba/ltl2tgta/ltlcross/ltldo/ltlf2dfa/ltlfilt/ltlfsynt/ltlgrind/ltlmix/ltlsynt/randaut/randltl


dirname: /usr/share/man/man1
filetypes: fffffffffffffffff
filenames:
  autcross.1.gz/autfilt.1.gz/dstar2tgba.1.gz/genaut.1.gz/genltl.1.gz/ltl2tgba.1.gz/ltl2tgta.1.gz/ltlcross.1.gz/ltldo.1.gz/ltlf2dfa.1.gz/ltlfilt.1.gz/ltlfsynt.1.gz/ltlgrind.1.gz/ltlmix.1.gz/ltlsynt.1.gz/randaut.1.gz/randltl.1.gz


dirname: /usr/lib/.build-id/d2
filetypes: fff
filenames:
  47248c07f53f9a83d1248b7c46475df74c4c82/c7e6dcda28f5c5ef7ec54d8dcf5e1c4afe1faa/fa0e2302f7c3b4dcbe48061d73aad7964c22d5


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.0.dev-0.fc34.x86_64.debug/autfilt-2.10.0.dev-0.fc34.x86_64.debug/dstar2tgba-2.10.0.dev-0.fc34.x86_64.debug/genaut-2.10.0.dev-0.fc34.x86_64.debug/genltl-2.10.0.dev-0.fc34.x86_64.debug/ltl2tgba-2.10.0.dev-0.fc34.x86_64.debug/ltl2tgta-2.10.0.dev-0.fc34.x86_64.debug/ltlcross-2.10.0.dev-0.fc34.x86_64.debug/ltldo-2.10.0.dev-0.fc34.x86_64.debug/ltlfilt-2.10.0.dev-0.fc34.x86_64.debug/ltlgrind-2.10.0.dev-0.fc34.x86_64.debug/ltlsynt-2.10.0.dev-0.fc34.x86_64.debug/randaut-2.10.0.dev-0.fc34.x86_64.debug/randltl-2.10.0.dev-0.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.0.dev-1.fc34.x86_64.debug/autfilt-2.10.0.dev-1.fc34.x86_64.debug/dstar2tgba-2.10.0.dev-1.fc34.x86_64.debug/genaut-2.10.0.dev-1.fc34.x86_64.debug/genltl-2.10.0.dev-1.fc34.x86_64.debug/ltl2tgba-2.10.0.dev-1.fc34.x86_64.debug/ltl2tgta-2.10.0.dev-1.fc34.x86_64.debug/ltlcross-2.10.0.dev-1.fc34.x86_64.debug/ltldo-2.10.0.dev-1.fc34.x86_64.debug/ltlfilt-2.10.0.dev-1.fc34.x86_64.debug/ltlgrind-2.10.0.dev-1.fc34.x86_64.debug/ltlsynt-2.10.0.dev-1.fc34.x86_64.debug/randaut-2.10.0.dev-1.fc34.x86_64.debug/randltl-2.10.0.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.0.dev-6.fc34.x86_64.debug/autfilt-2.10.0.dev-6.fc34.x86_64.debug/dstar2tgba-2.10.0.dev-6.fc34.x86_64.debug/genaut-2.10.0.dev-6.fc34.x86_64.debug/genltl-2.10.0.dev-6.fc34.x86_64.debug/ltl2tgba-2.10.0.dev-6.fc34.x86_64.debug/ltl2tgta-2.10.0.dev-6.fc34.x86_64.debug/ltlcross-2.10.0.dev-6.fc34.x86_64.debug/ltldo-2.10.0.dev-6.fc34.x86_64.debug/ltlfilt-2.10.0.dev-6.fc34.x86_64.debug/ltlgrind-2.10.0.dev-6.fc34.x86_64.debug/ltlsynt-2.10.0.dev-6.fc34.x86_64.debug/randaut-2.10.0.dev-6.fc34.x86_64.debug/randltl-2.10.0.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/.build-id/87
filetypes: ffff
filenames:
  35ae52609394df57d5befd054b516458435ef3/35ae52609394df57d5befd054b516458435ef3.debug/d220427bd4b2a629b35d48180f366bfe8da632/d220427bd4b2a629b35d48180f366bfe8da632.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.0.dev-7.fc34.x86_64.debug/autfilt-2.10.0.dev-7.fc34.x86_64.debug/dstar2tgba-2.10.0.dev-7.fc34.x86_64.debug/genaut-2.10.0.dev-7.fc34.x86_64.debug/genltl-2.10.0.dev-7.fc34.x86_64.debug/ltl2tgba-2.10.0.dev-7.fc34.x86_64.debug/ltl2tgta-2.10.0.dev-7.fc34.x86_64.debug/ltlcross-2.10.0.dev-7.fc34.x86_64.debug/ltldo-2.10.0.dev-7.fc34.x86_64.debug/ltlfilt-2.10.0.dev-7.fc34.x86_64.debug/ltlgrind-2.10.0.dev-7.fc34.x86_64.debug/ltlsynt-2.10.0.dev-7.fc34.x86_64.debug/randaut-2.10.0.dev-7.fc34.x86_64.debug/randltl-2.10.0.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.0.dev-9.fc34.x86_64.debug/autfilt-2.10.0.dev-9.fc34.x86_64.debug/dstar2tgba-2.10.0.dev-9.fc34.x86_64.debug/genaut-2.10.0.dev-9.fc34.x86_64.debug/genltl-2.10.0.dev-9.fc34.x86_64.debug/ltl2tgba-2.10.0.dev-9.fc34.x86_64.debug/ltl2tgta-2.10.0.dev-9.fc34.x86_64.debug/ltlcross-2.10.0.dev-9.fc34.x86_64.debug/ltldo-2.10.0.dev-9.fc34.x86_64.debug/ltlfilt-2.10.0.dev-9.fc34.x86_64.debug/ltlgrind-2.10.0.dev-9.fc34.x86_64.debug/ltlsynt-2.10.0.dev-9.fc34.x86_64.debug/randaut-2.10.0.dev-9.fc34.x86_64.debug/randltl-2.10.0.dev-9.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.1.dev-1.fc34.x86_64.debug/autfilt-2.10.1.dev-1.fc34.x86_64.debug/dstar2tgba-2.10.1.dev-1.fc34.x86_64.debug/genaut-2.10.1.dev-1.fc34.x86_64.debug/genltl-2.10.1.dev-1.fc34.x86_64.debug/ltl2tgba-2.10.1.dev-1.fc34.x86_64.debug/ltl2tgta-2.10.1.dev-1.fc34.x86_64.debug/ltlcross-2.10.1.dev-1.fc34.x86_64.debug/ltldo-2.10.1.dev-1.fc34.x86_64.debug/ltlfilt-2.10.1.dev-1.fc34.x86_64.debug/ltlgrind-2.10.1.dev-1.fc34.x86_64.debug/ltlsynt-2.10.1.dev-1.fc34.x86_64.debug/randaut-2.10.1.dev-1.fc34.x86_64.debug/randltl-2.10.1.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.1.dev-2.fc34.x86_64.debug/autfilt-2.10.1.dev-2.fc34.x86_64.debug/dstar2tgba-2.10.1.dev-2.fc34.x86_64.debug/genaut-2.10.1.dev-2.fc34.x86_64.debug/genltl-2.10.1.dev-2.fc34.x86_64.debug/ltl2tgba-2.10.1.dev-2.fc34.x86_64.debug/ltl2tgta-2.10.1.dev-2.fc34.x86_64.debug/ltlcross-2.10.1.dev-2.fc34.x86_64.debug/ltldo-2.10.1.dev-2.fc34.x86_64.debug/ltlfilt-2.10.1.dev-2.fc34.x86_64.debug/ltlgrind-2.10.1.dev-2.fc34.x86_64.debug/ltlsynt-2.10.1.dev-2.fc34.x86_64.debug/randaut-2.10.1.dev-2.fc34.x86_64.debug/randltl-2.10.1.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.1.dev-5.fc34.x86_64.debug/autfilt-2.10.1.dev-5.fc34.x86_64.debug/dstar2tgba-2.10.1.dev-5.fc34.x86_64.debug/genaut-2.10.1.dev-5.fc34.x86_64.debug/genltl-2.10.1.dev-5.fc34.x86_64.debug/ltl2tgba-2.10.1.dev-5.fc34.x86_64.debug/ltl2tgta-2.10.1.dev-5.fc34.x86_64.debug/ltlcross-2.10.1.dev-5.fc34.x86_64.debug/ltldo-2.10.1.dev-5.fc34.x86_64.debug/ltlfilt-2.10.1.dev-5.fc34.x86_64.debug/ltlgrind-2.10.1.dev-5.fc34.x86_64.debug/ltlsynt-2.10.1.dev-5.fc34.x86_64.debug/randaut-2.10.1.dev-5.fc34.x86_64.debug/randltl-2.10.1.dev-5.fc34.x86_64.debug


dirname: /usr/lib/debug/.build-id/b3
filetypes: ffff
filenames:
  a9f32e06b05af2f533d92381785243a1648e24/a9f32e06b05af2f533d92381785243a1648e24.debug/dfaa7c7a309881deed26cd00546eb160810f42/dfaa7c7a309881deed26cd00546eb160810f42.debug


dirname: /usr/lib/debug/.build-id/01
filetypes: ffff
filenames:
  13900079b955b4f9e7975fb60254b608653154/13900079b955b4f9e7975fb60254b608653154.debug/8e42238771c73e7d7bd94d919541a19550f0ae/8e42238771c73e7d7bd94d919541a19550f0ae.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.1.dev-7.fc34.x86_64.debug/autfilt-2.10.1.dev-7.fc34.x86_64.debug/dstar2tgba-2.10.1.dev-7.fc34.x86_64.debug/genaut-2.10.1.dev-7.fc34.x86_64.debug/genltl-2.10.1.dev-7.fc34.x86_64.debug/ltl2tgba-2.10.1.dev-7.fc34.x86_64.debug/ltl2tgta-2.10.1.dev-7.fc34.x86_64.debug/ltlcross-2.10.1.dev-7.fc34.x86_64.debug/ltldo-2.10.1.dev-7.fc34.x86_64.debug/ltlfilt-2.10.1.dev-7.fc34.x86_64.debug/ltlgrind-2.10.1.dev-7.fc34.x86_64.debug/ltlsynt-2.10.1.dev-7.fc34.x86_64.debug/randaut-2.10.1.dev-7.fc34.x86_64.debug/randltl-2.10.1.dev-7.fc34.x86_64.debug


dirname: /usr/lib/debug/.build-id/3a
filetypes: ffff
filenames:
  04160172a3f98b3fca3fde1f4ae87a2e0d6cd6/04160172a3f98b3fca3fde1f4ae87a2e0d6cd6.debug/c0c609be79dbeeb3122a8ea5df5449b613f26c/c0c609be79dbeeb3122a8ea5df5449b613f26c.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.2.dev-1.fc34.x86_64.debug/autfilt-2.10.2.dev-1.fc34.x86_64.debug/dstar2tgba-2.10.2.dev-1.fc34.x86_64.debug/genaut-2.10.2.dev-1.fc34.x86_64.debug/genltl-2.10.2.dev-1.fc34.x86_64.debug/ltl2tgba-2.10.2.dev-1.fc34.x86_64.debug/ltl2tgta-2.10.2.dev-1.fc34.x86_64.debug/ltlcross-2.10.2.dev-1.fc34.x86_64.debug/ltldo-2.10.2.dev-1.fc34.x86_64.debug/ltlfilt-2.10.2.dev-1.fc34.x86_64.debug/ltlgrind-2.10.2.dev-1.fc34.x86_64.debug/ltlsynt-2.10.2.dev-1.fc34.x86_64.debug/randaut-2.10.2.dev-1.fc34.x86_64.debug/randltl-2.10.2.dev-1.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.2.dev-2.fc34.x86_64.debug/autfilt-2.10.2.dev-2.fc34.x86_64.debug/dstar2tgba-2.10.2.dev-2.fc34.x86_64.debug/genaut-2.10.2.dev-2.fc34.x86_64.debug/genltl-2.10.2.dev-2.fc34.x86_64.debug/ltl2tgba-2.10.2.dev-2.fc34.x86_64.debug/ltl2tgta-2.10.2.dev-2.fc34.x86_64.debug/ltlcross-2.10.2.dev-2.fc34.x86_64.debug/ltldo-2.10.2.dev-2.fc34.x86_64.debug/ltlfilt-2.10.2.dev-2.fc34.x86_64.debug/ltlgrind-2.10.2.dev-2.fc34.x86_64.debug/ltlsynt-2.10.2.dev-2.fc34.x86_64.debug/randaut-2.10.2.dev-2.fc34.x86_64.debug/randltl-2.10.2.dev-2.fc34.x86_64.debug


dirname: /usr/lib/debug/.build-id/f6
filetypes: ffff
filenames:
  8b860f93fceb00ee6fa695758ff60260b477da/8b860f93fceb00ee6fa695758ff60260b477da.debug/b60f30b1b23e65d67e27a024e8622ea9ad56e9/b60f30b1b23e65d67e27a024e8622ea9ad56e9.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.2.dev-6.fc34.x86_64.debug/autfilt-2.10.2.dev-6.fc34.x86_64.debug/dstar2tgba-2.10.2.dev-6.fc34.x86_64.debug/genaut-2.10.2.dev-6.fc34.x86_64.debug/genltl-2.10.2.dev-6.fc34.x86_64.debug/ltl2tgba-2.10.2.dev-6.fc34.x86_64.debug/ltl2tgta-2.10.2.dev-6.fc34.x86_64.debug/ltlcross-2.10.2.dev-6.fc34.x86_64.debug/ltldo-2.10.2.dev-6.fc34.x86_64.debug/ltlfilt-2.10.2.dev-6.fc34.x86_64.debug/ltlgrind-2.10.2.dev-6.fc34.x86_64.debug/ltlsynt-2.10.2.dev-6.fc34.x86_64.debug/randaut-2.10.2.dev-6.fc34.x86_64.debug/randltl-2.10.2.dev-6.fc34.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.4.dev-0.fc35.x86_64.debug/autfilt-2.10.4.dev-0.fc35.x86_64.debug/dstar2tgba-2.10.4.dev-0.fc35.x86_64.debug/genaut-2.10.4.dev-0.fc35.x86_64.debug/genltl-2.10.4.dev-0.fc35.x86_64.debug/ltl2tgba-2.10.4.dev-0.fc35.x86_64.debug/ltl2tgta-2.10.4.dev-0.fc35.x86_64.debug/ltlcross-2.10.4.dev-0.fc35.x86_64.debug/ltldo-2.10.4.dev-0.fc35.x86_64.debug/ltlfilt-2.10.4.dev-0.fc35.x86_64.debug/ltlgrind-2.10.4.dev-0.fc35.x86_64.debug/ltlsynt-2.10.4.dev-0.fc35.x86_64.debug/randaut-2.10.4.dev-0.fc35.x86_64.debug/randltl-2.10.4.dev-0.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.4.dev-11.fc35.x86_64.debug/autfilt-2.10.4.dev-11.fc35.x86_64.debug/dstar2tgba-2.10.4.dev-11.fc35.x86_64.debug/genaut-2.10.4.dev-11.fc35.x86_64.debug/genltl-2.10.4.dev-11.fc35.x86_64.debug/ltl2tgba-2.10.4.dev-11.fc35.x86_64.debug/ltl2tgta-2.10.4.dev-11.fc35.x86_64.debug/ltlcross-2.10.4.dev-11.fc35.x86_64.debug/ltldo-2.10.4.dev-11.fc35.x86_64.debug/ltlfilt-2.10.4.dev-11.fc35.x86_64.debug/ltlgrind-2.10.4.dev-11.fc35.x86_64.debug/ltlsynt-2.10.4.dev-11.fc35.x86_64.debug/randaut-2.10.4.dev-11.fc35.x86_64.debug/randltl-2.10.4.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.5.dev-0.fc36.x86_64.debug/autfilt-2.10.5.dev-0.fc36.x86_64.debug/dstar2tgba-2.10.5.dev-0.fc36.x86_64.debug/genaut-2.10.5.dev-0.fc36.x86_64.debug/genltl-2.10.5.dev-0.fc36.x86_64.debug/ltl2tgba-2.10.5.dev-0.fc36.x86_64.debug/ltl2tgta-2.10.5.dev-0.fc36.x86_64.debug/ltlcross-2.10.5.dev-0.fc36.x86_64.debug/ltldo-2.10.5.dev-0.fc36.x86_64.debug/ltlfilt-2.10.5.dev-0.fc36.x86_64.debug/ltlgrind-2.10.5.dev-0.fc36.x86_64.debug/ltlsynt-2.10.5.dev-0.fc36.x86_64.debug/randaut-2.10.5.dev-0.fc36.x86_64.debug/randltl-2.10.5.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/.build-id/9f
filetypes: ffff
filenames:
  0f98265a457935b3c6a6ec4270593b7dd15944/0f98265a457935b3c6a6ec4270593b7dd15944.debug/ef6d41dec6287ffd73b5480551b737755b4a2a/ef6d41dec6287ffd73b5480551b737755b4a2a.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.5.dev-11.fc35.x86_64.debug/autfilt-2.10.5.dev-11.fc35.x86_64.debug/dstar2tgba-2.10.5.dev-11.fc35.x86_64.debug/genaut-2.10.5.dev-11.fc35.x86_64.debug/genltl-2.10.5.dev-11.fc35.x86_64.debug/ltl2tgba-2.10.5.dev-11.fc35.x86_64.debug/ltl2tgta-2.10.5.dev-11.fc35.x86_64.debug/ltlcross-2.10.5.dev-11.fc35.x86_64.debug/ltldo-2.10.5.dev-11.fc35.x86_64.debug/ltlfilt-2.10.5.dev-11.fc35.x86_64.debug/ltlgrind-2.10.5.dev-11.fc35.x86_64.debug/ltlsynt-2.10.5.dev-11.fc35.x86_64.debug/randaut-2.10.5.dev-11.fc35.x86_64.debug/randltl-2.10.5.dev-11.fc35.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.6.dev-0.fc36.x86_64.debug/autfilt-2.10.6.dev-0.fc36.x86_64.debug/dstar2tgba-2.10.6.dev-0.fc36.x86_64.debug/genaut-2.10.6.dev-0.fc36.x86_64.debug/genltl-2.10.6.dev-0.fc36.x86_64.debug/ltl2tgba-2.10.6.dev-0.fc36.x86_64.debug/ltl2tgta-2.10.6.dev-0.fc36.x86_64.debug/ltlcross-2.10.6.dev-0.fc36.x86_64.debug/ltldo-2.10.6.dev-0.fc36.x86_64.debug/ltlfilt-2.10.6.dev-0.fc36.x86_64.debug/ltlgrind-2.10.6.dev-0.fc36.x86_64.debug/ltlsynt-2.10.6.dev-0.fc36.x86_64.debug/randaut-2.10.6.dev-0.fc36.x86_64.debug/randltl-2.10.6.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.10.6.dev-11.fc36.x86_64.debug/autfilt-2.10.6.dev-11.fc36.x86_64.debug/dstar2tgba-2.10.6.dev-11.fc36.x86_64.debug/genaut-2.10.6.dev-11.fc36.x86_64.debug/genltl-2.10.6.dev-11.fc36.x86_64.debug/ltl2tgba-2.10.6.dev-11.fc36.x86_64.debug/ltl2tgta-2.10.6.dev-11.fc36.x86_64.debug/ltlcross-2.10.6.dev-11.fc36.x86_64.debug/ltldo-2.10.6.dev-11.fc36.x86_64.debug/ltlfilt-2.10.6.dev-11.fc36.x86_64.debug/ltlgrind-2.10.6.dev-11.fc36.x86_64.debug/ltlsynt-2.10.6.dev-11.fc36.x86_64.debug/randaut-2.10.6.dev-11.fc36.x86_64.debug/randltl-2.10.6.dev-11.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.0.dev-1.fc36.x86_64.debug/autfilt-2.11.0.dev-1.fc36.x86_64.debug/dstar2tgba-2.11.0.dev-1.fc36.x86_64.debug/genaut-2.11.0.dev-1.fc36.x86_64.debug/genltl-2.11.0.dev-1.fc36.x86_64.debug/ltl2tgba-2.11.0.dev-1.fc36.x86_64.debug/ltl2tgta-2.11.0.dev-1.fc36.x86_64.debug/ltlcross-2.11.0.dev-1.fc36.x86_64.debug/ltldo-2.11.0.dev-1.fc36.x86_64.debug/ltlfilt-2.11.0.dev-1.fc36.x86_64.debug/ltlgrind-2.11.0.dev-1.fc36.x86_64.debug/ltlsynt-2.11.0.dev-1.fc36.x86_64.debug/randaut-2.11.0.dev-1.fc36.x86_64.debug/randltl-2.11.0.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.1.dev-0.fc36.x86_64.debug/autfilt-2.11.1.dev-0.fc36.x86_64.debug/dstar2tgba-2.11.1.dev-0.fc36.x86_64.debug/genaut-2.11.1.dev-0.fc36.x86_64.debug/genltl-2.11.1.dev-0.fc36.x86_64.debug/ltl2tgba-2.11.1.dev-0.fc36.x86_64.debug/ltl2tgta-2.11.1.dev-0.fc36.x86_64.debug/ltlcross-2.11.1.dev-0.fc36.x86_64.debug/ltldo-2.11.1.dev-0.fc36.x86_64.debug/ltlfilt-2.11.1.dev-0.fc36.x86_64.debug/ltlgrind-2.11.1.dev-0.fc36.x86_64.debug/ltlsynt-2.11.1.dev-0.fc36.x86_64.debug/randaut-2.11.1.dev-0.fc36.x86_64.debug/randltl-2.11.1.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.1.dev-1.fc36.x86_64.debug/autfilt-2.11.1.dev-1.fc36.x86_64.debug/dstar2tgba-2.11.1.dev-1.fc36.x86_64.debug/genaut-2.11.1.dev-1.fc36.x86_64.debug/genltl-2.11.1.dev-1.fc36.x86_64.debug/ltl2tgba-2.11.1.dev-1.fc36.x86_64.debug/ltl2tgta-2.11.1.dev-1.fc36.x86_64.debug/ltlcross-2.11.1.dev-1.fc36.x86_64.debug/ltldo-2.11.1.dev-1.fc36.x86_64.debug/ltlfilt-2.11.1.dev-1.fc36.x86_64.debug/ltlgrind-2.11.1.dev-1.fc36.x86_64.debug/ltlsynt-2.11.1.dev-1.fc36.x86_64.debug/randaut-2.11.1.dev-1.fc36.x86_64.debug/randltl-2.11.1.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/.build-id/34
filetypes: ffff
filenames:
  3e5e6db75b1739b1a625a7a794d63e20d49e31/3e5e6db75b1739b1a625a7a794d63e20d49e31.debug/40c2c1135f8bb6cf15b9e935a48c2dcd870d06/40c2c1135f8bb6cf15b9e935a48c2dcd870d06.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.1.dev-6.fc36.x86_64.debug/autfilt-2.11.1.dev-6.fc36.x86_64.debug/dstar2tgba-2.11.1.dev-6.fc36.x86_64.debug/genaut-2.11.1.dev-6.fc36.x86_64.debug/genltl-2.11.1.dev-6.fc36.x86_64.debug/ltl2tgba-2.11.1.dev-6.fc36.x86_64.debug/ltl2tgta-2.11.1.dev-6.fc36.x86_64.debug/ltlcross-2.11.1.dev-6.fc36.x86_64.debug/ltldo-2.11.1.dev-6.fc36.x86_64.debug/ltlfilt-2.11.1.dev-6.fc36.x86_64.debug/ltlgrind-2.11.1.dev-6.fc36.x86_64.debug/ltlsynt-2.11.1.dev-6.fc36.x86_64.debug/randaut-2.11.1.dev-6.fc36.x86_64.debug/randltl-2.11.1.dev-6.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.1.dev-9.fc36.x86_64.debug/autfilt-2.11.1.dev-9.fc36.x86_64.debug/dstar2tgba-2.11.1.dev-9.fc36.x86_64.debug/genaut-2.11.1.dev-9.fc36.x86_64.debug/genltl-2.11.1.dev-9.fc36.x86_64.debug/ltl2tgba-2.11.1.dev-9.fc36.x86_64.debug/ltl2tgta-2.11.1.dev-9.fc36.x86_64.debug/ltlcross-2.11.1.dev-9.fc36.x86_64.debug/ltldo-2.11.1.dev-9.fc36.x86_64.debug/ltlfilt-2.11.1.dev-9.fc36.x86_64.debug/ltlgrind-2.11.1.dev-9.fc36.x86_64.debug/ltlsynt-2.11.1.dev-9.fc36.x86_64.debug/randaut-2.11.1.dev-9.fc36.x86_64.debug/randltl-2.11.1.dev-9.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.2.dev-0.fc36.x86_64.debug/autfilt-2.11.2.dev-0.fc36.x86_64.debug/dstar2tgba-2.11.2.dev-0.fc36.x86_64.debug/genaut-2.11.2.dev-0.fc36.x86_64.debug/genltl-2.11.2.dev-0.fc36.x86_64.debug/ltl2tgba-2.11.2.dev-0.fc36.x86_64.debug/ltl2tgta-2.11.2.dev-0.fc36.x86_64.debug/ltlcross-2.11.2.dev-0.fc36.x86_64.debug/ltldo-2.11.2.dev-0.fc36.x86_64.debug/ltlfilt-2.11.2.dev-0.fc36.x86_64.debug/ltlgrind-2.11.2.dev-0.fc36.x86_64.debug/ltlsynt-2.11.2.dev-0.fc36.x86_64.debug/randaut-2.11.2.dev-0.fc36.x86_64.debug/randltl-2.11.2.dev-0.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.2.dev-0.fc37.x86_64.debug/autfilt-2.11.2.dev-0.fc37.x86_64.debug/dstar2tgba-2.11.2.dev-0.fc37.x86_64.debug/genaut-2.11.2.dev-0.fc37.x86_64.debug/genltl-2.11.2.dev-0.fc37.x86_64.debug/ltl2tgba-2.11.2.dev-0.fc37.x86_64.debug/ltl2tgta-2.11.2.dev-0.fc37.x86_64.debug/ltlcross-2.11.2.dev-0.fc37.x86_64.debug/ltldo-2.11.2.dev-0.fc37.x86_64.debug/ltlfilt-2.11.2.dev-0.fc37.x86_64.debug/ltlgrind-2.11.2.dev-0.fc37.x86_64.debug/ltlsynt-2.11.2.dev-0.fc37.x86_64.debug/randaut-2.11.2.dev-0.fc37.x86_64.debug/randltl-2.11.2.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.2.dev-1.fc36.x86_64.debug/autfilt-2.11.2.dev-1.fc36.x86_64.debug/dstar2tgba-2.11.2.dev-1.fc36.x86_64.debug/genaut-2.11.2.dev-1.fc36.x86_64.debug/genltl-2.11.2.dev-1.fc36.x86_64.debug/ltl2tgba-2.11.2.dev-1.fc36.x86_64.debug/ltl2tgta-2.11.2.dev-1.fc36.x86_64.debug/ltlcross-2.11.2.dev-1.fc36.x86_64.debug/ltldo-2.11.2.dev-1.fc36.x86_64.debug/ltlfilt-2.11.2.dev-1.fc36.x86_64.debug/ltlgrind-2.11.2.dev-1.fc36.x86_64.debug/ltlsynt-2.11.2.dev-1.fc36.x86_64.debug/randaut-2.11.2.dev-1.fc36.x86_64.debug/randltl-2.11.2.dev-1.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.2.dev-7.fc36.x86_64.debug/autfilt-2.11.2.dev-7.fc36.x86_64.debug/dstar2tgba-2.11.2.dev-7.fc36.x86_64.debug/genaut-2.11.2.dev-7.fc36.x86_64.debug/genltl-2.11.2.dev-7.fc36.x86_64.debug/ltl2tgba-2.11.2.dev-7.fc36.x86_64.debug/ltl2tgta-2.11.2.dev-7.fc36.x86_64.debug/ltlcross-2.11.2.dev-7.fc36.x86_64.debug/ltldo-2.11.2.dev-7.fc36.x86_64.debug/ltlfilt-2.11.2.dev-7.fc36.x86_64.debug/ltlgrind-2.11.2.dev-7.fc36.x86_64.debug/ltlsynt-2.11.2.dev-7.fc36.x86_64.debug/randaut-2.11.2.dev-7.fc36.x86_64.debug/randltl-2.11.2.dev-7.fc36.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.3.dev-0.fc37.x86_64.debug/autfilt-2.11.3.dev-0.fc37.x86_64.debug/dstar2tgba-2.11.3.dev-0.fc37.x86_64.debug/genaut-2.11.3.dev-0.fc37.x86_64.debug/genltl-2.11.3.dev-0.fc37.x86_64.debug/ltl2tgba-2.11.3.dev-0.fc37.x86_64.debug/ltl2tgta-2.11.3.dev-0.fc37.x86_64.debug/ltlcross-2.11.3.dev-0.fc37.x86_64.debug/ltldo-2.11.3.dev-0.fc37.x86_64.debug/ltlfilt-2.11.3.dev-0.fc37.x86_64.debug/ltlgrind-2.11.3.dev-0.fc37.x86_64.debug/ltlsynt-2.11.3.dev-0.fc37.x86_64.debug/randaut-2.11.3.dev-0.fc37.x86_64.debug/randltl-2.11.3.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.3.dev-11.fc37.x86_64.debug/autfilt-2.11.3.dev-11.fc37.x86_64.debug/dstar2tgba-2.11.3.dev-11.fc37.x86_64.debug/genaut-2.11.3.dev-11.fc37.x86_64.debug/genltl-2.11.3.dev-11.fc37.x86_64.debug/ltl2tgba-2.11.3.dev-11.fc37.x86_64.debug/ltl2tgta-2.11.3.dev-11.fc37.x86_64.debug/ltlcross-2.11.3.dev-11.fc37.x86_64.debug/ltldo-2.11.3.dev-11.fc37.x86_64.debug/ltlfilt-2.11.3.dev-11.fc37.x86_64.debug/ltlgrind-2.11.3.dev-11.fc37.x86_64.debug/ltlsynt-2.11.3.dev-11.fc37.x86_64.debug/randaut-2.11.3.dev-11.fc37.x86_64.debug/randltl-2.11.3.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.3.dev-8.fc37.x86_64.debug/autfilt-2.11.3.dev-8.fc37.x86_64.debug/dstar2tgba-2.11.3.dev-8.fc37.x86_64.debug/genaut-2.11.3.dev-8.fc37.x86_64.debug/genltl-2.11.3.dev-8.fc37.x86_64.debug/ltl2tgba-2.11.3.dev-8.fc37.x86_64.debug/ltl2tgta-2.11.3.dev-8.fc37.x86_64.debug/ltlcross-2.11.3.dev-8.fc37.x86_64.debug/ltldo-2.11.3.dev-8.fc37.x86_64.debug/ltlfilt-2.11.3.dev-8.fc37.x86_64.debug/ltlgrind-2.11.3.dev-8.fc37.x86_64.debug/ltlsynt-2.11.3.dev-8.fc37.x86_64.debug/randaut-2.11.3.dev-8.fc37.x86_64.debug/randltl-2.11.3.dev-8.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.4.dev-0.fc37.x86_64.debug/autfilt-2.11.4.dev-0.fc37.x86_64.debug/dstar2tgba-2.11.4.dev-0.fc37.x86_64.debug/genaut-2.11.4.dev-0.fc37.x86_64.debug/genltl-2.11.4.dev-0.fc37.x86_64.debug/ltl2tgba-2.11.4.dev-0.fc37.x86_64.debug/ltl2tgta-2.11.4.dev-0.fc37.x86_64.debug/ltlcross-2.11.4.dev-0.fc37.x86_64.debug/ltldo-2.11.4.dev-0.fc37.x86_64.debug/ltlfilt-2.11.4.dev-0.fc37.x86_64.debug/ltlgrind-2.11.4.dev-0.fc37.x86_64.debug/ltlsynt-2.11.4.dev-0.fc37.x86_64.debug/randaut-2.11.4.dev-0.fc37.x86_64.debug/randltl-2.11.4.dev-0.fc37.x86_64.debug


dirname: /usr/lib/debug/.build-id/b8
filetypes: ffff
filenames:
  2af7a03080a62c0132c53dc55ea3c4ccdfbc3e/2af7a03080a62c0132c53dc55ea3c4ccdfbc3e.debug/c33461feef67d2b94adcb50926ea66b78020be/c33461feef67d2b94adcb50926ea66b78020be.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.4.dev-11.fc37.x86_64.debug/autfilt-2.11.4.dev-11.fc37.x86_64.debug/dstar2tgba-2.11.4.dev-11.fc37.x86_64.debug/genaut-2.11.4.dev-11.fc37.x86_64.debug/genltl-2.11.4.dev-11.fc37.x86_64.debug/ltl2tgba-2.11.4.dev-11.fc37.x86_64.debug/ltl2tgta-2.11.4.dev-11.fc37.x86_64.debug/ltlcross-2.11.4.dev-11.fc37.x86_64.debug/ltldo-2.11.4.dev-11.fc37.x86_64.debug/ltlfilt-2.11.4.dev-11.fc37.x86_64.debug/ltlgrind-2.11.4.dev-11.fc37.x86_64.debug/ltlsynt-2.11.4.dev-11.fc37.x86_64.debug/randaut-2.11.4.dev-11.fc37.x86_64.debug/randltl-2.11.4.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.5.dev-11.fc37.x86_64.debug/autfilt-2.11.5.dev-11.fc37.x86_64.debug/dstar2tgba-2.11.5.dev-11.fc37.x86_64.debug/genaut-2.11.5.dev-11.fc37.x86_64.debug/genltl-2.11.5.dev-11.fc37.x86_64.debug/ltl2tgba-2.11.5.dev-11.fc37.x86_64.debug/ltl2tgta-2.11.5.dev-11.fc37.x86_64.debug/ltlcross-2.11.5.dev-11.fc37.x86_64.debug/ltldo-2.11.5.dev-11.fc37.x86_64.debug/ltlfilt-2.11.5.dev-11.fc37.x86_64.debug/ltlgrind-2.11.5.dev-11.fc37.x86_64.debug/ltlsynt-2.11.5.dev-11.fc37.x86_64.debug/randaut-2.11.5.dev-11.fc37.x86_64.debug/randltl-2.11.5.dev-11.fc37.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.11.6.dev-0.fc40.x86_64.debug/autfilt-2.11.6.dev-0.fc40.x86_64.debug/dstar2tgba-2.11.6.dev-0.fc40.x86_64.debug/genaut-2.11.6.dev-0.fc40.x86_64.debug/genltl-2.11.6.dev-0.fc40.x86_64.debug/ltl2tgba-2.11.6.dev-0.fc40.x86_64.debug/ltl2tgta-2.11.6.dev-0.fc40.x86_64.debug/ltlcross-2.11.6.dev-0.fc40.x86_64.debug/ltldo-2.11.6.dev-0.fc40.x86_64.debug/ltlfilt-2.11.6.dev-0.fc40.x86_64.debug/ltlgrind-2.11.6.dev-0.fc40.x86_64.debug/ltlsynt-2.11.6.dev-0.fc40.x86_64.debug/randaut-2.11.6.dev-0.fc40.x86_64.debug/randltl-2.11.6.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.0.dev-0.fc40.x86_64.debug/autfilt-2.12.0.dev-0.fc40.x86_64.debug/dstar2tgba-2.12.0.dev-0.fc40.x86_64.debug/genaut-2.12.0.dev-0.fc40.x86_64.debug/genltl-2.12.0.dev-0.fc40.x86_64.debug/ltl2tgba-2.12.0.dev-0.fc40.x86_64.debug/ltl2tgta-2.12.0.dev-0.fc40.x86_64.debug/ltlcross-2.12.0.dev-0.fc40.x86_64.debug/ltldo-2.12.0.dev-0.fc40.x86_64.debug/ltlfilt-2.12.0.dev-0.fc40.x86_64.debug/ltlgrind-2.12.0.dev-0.fc40.x86_64.debug/ltlsynt-2.12.0.dev-0.fc40.x86_64.debug/randaut-2.12.0.dev-0.fc40.x86_64.debug/randltl-2.12.0.dev-0.fc40.x86_64.debug


dirname: /usr/lib/debug/.build-id/eb
filetypes: ffff
filenames:
  a96556e97c29dbae7f27db847981e375e7090f/a96556e97c29dbae7f27db847981e375e7090f.debug/be010729ff30baf8dff3c9ce1cae1ba233c013/be010729ff30baf8dff3c9ce1cae1ba233c013.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.0.dev-1.fc40.x86_64.debug/autfilt-2.12.0.dev-1.fc40.x86_64.debug/dstar2tgba-2.12.0.dev-1.fc40.x86_64.debug/genaut-2.12.0.dev-1.fc40.x86_64.debug/genltl-2.12.0.dev-1.fc40.x86_64.debug/ltl2tgba-2.12.0.dev-1.fc40.x86_64.debug/ltl2tgta-2.12.0.dev-1.fc40.x86_64.debug/ltlcross-2.12.0.dev-1.fc40.x86_64.debug/ltldo-2.12.0.dev-1.fc40.x86_64.debug/ltlfilt-2.12.0.dev-1.fc40.x86_64.debug/ltlgrind-2.12.0.dev-1.fc40.x86_64.debug/ltlsynt-2.12.0.dev-1.fc40.x86_64.debug/randaut-2.12.0.dev-1.fc40.x86_64.debug/randltl-2.12.0.dev-1.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.0.dev-4.fc40.x86_64.debug/autfilt-2.12.0.dev-4.fc40.x86_64.debug/dstar2tgba-2.12.0.dev-4.fc40.x86_64.debug/genaut-2.12.0.dev-4.fc40.x86_64.debug/genltl-2.12.0.dev-4.fc40.x86_64.debug/ltl2tgba-2.12.0.dev-4.fc40.x86_64.debug/ltl2tgta-2.12.0.dev-4.fc40.x86_64.debug/ltlcross-2.12.0.dev-4.fc40.x86_64.debug/ltldo-2.12.0.dev-4.fc40.x86_64.debug/ltlfilt-2.12.0.dev-4.fc40.x86_64.debug/ltlgrind-2.12.0.dev-4.fc40.x86_64.debug/ltlsynt-2.12.0.dev-4.fc40.x86_64.debug/randaut-2.12.0.dev-4.fc40.x86_64.debug/randltl-2.12.0.dev-4.fc40.x86_64.debug


dirname: /usr/lib/debug/.build-id/d6
filetypes: ffff
filenames:
  77d8b353920184076a9da8344a187cf20d8cd9/77d8b353920184076a9da8344a187cf20d8cd9.debug/bfd096e5908b9687e8388a6e8fe8c85f1f40ff/bfd096e5908b9687e8388a6e8fe8c85f1f40ff.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.0.dev-5.fc40.x86_64.debug/autfilt-2.12.0.dev-5.fc40.x86_64.debug/dstar2tgba-2.12.0.dev-5.fc40.x86_64.debug/genaut-2.12.0.dev-5.fc40.x86_64.debug/genltl-2.12.0.dev-5.fc40.x86_64.debug/ltl2tgba-2.12.0.dev-5.fc40.x86_64.debug/ltl2tgta-2.12.0.dev-5.fc40.x86_64.debug/ltlcross-2.12.0.dev-5.fc40.x86_64.debug/ltldo-2.12.0.dev-5.fc40.x86_64.debug/ltlfilt-2.12.0.dev-5.fc40.x86_64.debug/ltlgrind-2.12.0.dev-5.fc40.x86_64.debug/ltlsynt-2.12.0.dev-5.fc40.x86_64.debug/randaut-2.12.0.dev-5.fc40.x86_64.debug/randltl-2.12.0.dev-5.fc40.x86_64.debug


dirname: /usr/lib/debug/.build-id/dc
filetypes: ffff
filenames:
  5d878d7d7bae60f69deeea73e45d87beb6e0d1/5d878d7d7bae60f69deeea73e45d87beb6e0d1.debug/c1a7e7c63df1e2e8097b13f29728f4fac8fc87/c1a7e7c63df1e2e8097b13f29728f4fac8fc87.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.12.0.dev-7.fc40.x86_64.debug/autfilt-2.12.0.dev-7.fc40.x86_64.debug/dstar2tgba-2.12.0.dev-7.fc40.x86_64.debug/genaut-2.12.0.dev-7.fc40.x86_64.debug/genltl-2.12.0.dev-7.fc40.x86_64.debug/ltl2tgba-2.12.0.dev-7.fc40.x86_64.debug/ltl2tgta-2.12.0.dev-7.fc40.x86_64.debug/ltlcross-2.12.0.dev-7.fc40.x86_64.debug/ltldo-2.12.0.dev-7.fc40.x86_64.debug/ltlfilt-2.12.0.dev-7.fc40.x86_64.debug/ltlgrind-2.12.0.dev-7.fc40.x86_64.debug/ltlsynt-2.12.0.dev-7.fc40.x86_64.debug/randaut-2.12.0.dev-7.fc40.x86_64.debug/randltl-2.12.0.dev-7.fc40.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffff
filenames:
  autcross-2.12.2.dev-0.fc41.x86_64.debug/autfilt-2.12.2.dev-0.fc41.x86_64.debug/dstar2tgba-2.12.2.dev-0.fc41.x86_64.debug/genaut-2.12.2.dev-0.fc41.x86_64.debug/genltl-2.12.2.dev-0.fc41.x86_64.debug/ltl2tgba-2.12.2.dev-0.fc41.x86_64.debug/ltl2tgta-2.12.2.dev-0.fc41.x86_64.debug/ltlcross-2.12.2.dev-0.fc41.x86_64.debug/ltldo-2.12.2.dev-0.fc41.x86_64.debug/ltlfilt-2.12.2.dev-0.fc41.x86_64.debug/ltlgrind-2.12.2.dev-0.fc41.x86_64.debug/ltlmix-2.12.2.dev-0.fc41.x86_64.debug/ltlsynt-2.12.2.dev-0.fc41.x86_64.debug/randaut-2.12.2.dev-0.fc41.x86_64.debug/randltl-2.12.2.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/.build-id/d6
filetypes: ffff
filenames:
  887f8e5630fd60574da4522ff67408573db31a/887f8e5630fd60574da4522ff67408573db31a.debug/aedc1d53fe49a45694e9ae74df4e1d6f90eb32/aedc1d53fe49a45694e9ae74df4e1d6f90eb32.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.13.0.dev-0.fc41.x86_64.debug/autfilt-2.13.0.dev-0.fc41.x86_64.debug/dstar2tgba-2.13.0.dev-0.fc41.x86_64.debug/genaut-2.13.0.dev-0.fc41.x86_64.debug/genltl-2.13.0.dev-0.fc41.x86_64.debug/ltl2tgba-2.13.0.dev-0.fc41.x86_64.debug/ltl2tgta-2.13.0.dev-0.fc41.x86_64.debug/ltlcross-2.13.0.dev-0.fc41.x86_64.debug/ltldo-2.13.0.dev-0.fc41.x86_64.debug/ltlf2dfa-2.13.0.dev-0.fc41.x86_64.debug/ltlfilt-2.13.0.dev-0.fc41.x86_64.debug/ltlfsynt-2.13.0.dev-0.fc41.x86_64.debug/ltlgrind-2.13.0.dev-0.fc41.x86_64.debug/ltlmix-2.13.0.dev-0.fc41.x86_64.debug/ltlsynt-2.13.0.dev-0.fc41.x86_64.debug/randaut-2.13.0.dev-0.fc41.x86_64.debug/randltl-2.13.0.dev-0.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.13.0.dev-0.fc42.x86_64.debug/autfilt-2.13.0.dev-0.fc42.x86_64.debug/dstar2tgba-2.13.0.dev-0.fc42.x86_64.debug/genaut-2.13.0.dev-0.fc42.x86_64.debug/genltl-2.13.0.dev-0.fc42.x86_64.debug/ltl2tgba-2.13.0.dev-0.fc42.x86_64.debug/ltl2tgta-2.13.0.dev-0.fc42.x86_64.debug/ltlcross-2.13.0.dev-0.fc42.x86_64.debug/ltldo-2.13.0.dev-0.fc42.x86_64.debug/ltlf2dfa-2.13.0.dev-0.fc42.x86_64.debug/ltlfilt-2.13.0.dev-0.fc42.x86_64.debug/ltlfsynt-2.13.0.dev-0.fc42.x86_64.debug/ltlgrind-2.13.0.dev-0.fc42.x86_64.debug/ltlmix-2.13.0.dev-0.fc42.x86_64.debug/ltlsynt-2.13.0.dev-0.fc42.x86_64.debug/randaut-2.13.0.dev-0.fc42.x86_64.debug/randltl-2.13.0.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/.build-id/bf
filetypes: ffff
filenames:
  1f90ad158002b58b5eccadf0355b908286d48a/1f90ad158002b58b5eccadf0355b908286d48a.debug/287c021b5ca39ad91e8d06288f0bbe652ec4f7/287c021b5ca39ad91e8d06288f0bbe652ec4f7.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffff
filenames:
  autcross-2.13.0.dev-1.fc41.x86_64.debug/autfilt-2.13.0.dev-1.fc41.x86_64.debug/dstar2tgba-2.13.0.dev-1.fc41.x86_64.debug/genaut-2.13.0.dev-1.fc41.x86_64.debug/genltl-2.13.0.dev-1.fc41.x86_64.debug/ltl2tgba-2.13.0.dev-1.fc41.x86_64.debug/ltl2tgta-2.13.0.dev-1.fc41.x86_64.debug/ltlcross-2.13.0.dev-1.fc41.x86_64.debug/ltldo-2.13.0.dev-1.fc41.x86_64.debug/ltlfilt-2.13.0.dev-1.fc41.x86_64.debug/ltlgrind-2.13.0.dev-1.fc41.x86_64.debug/ltlmix-2.13.0.dev-1.fc41.x86_64.debug/ltlsynt-2.13.0.dev-1.fc41.x86_64.debug/randaut-2.13.0.dev-1.fc41.x86_64.debug/randltl-2.13.0.dev-1.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffff
filenames:
  autcross-2.13.0.dev-2.fc41.x86_64.debug/autfilt-2.13.0.dev-2.fc41.x86_64.debug/dstar2tgba-2.13.0.dev-2.fc41.x86_64.debug/genaut-2.13.0.dev-2.fc41.x86_64.debug/genltl-2.13.0.dev-2.fc41.x86_64.debug/ltl2tgba-2.13.0.dev-2.fc41.x86_64.debug/ltl2tgta-2.13.0.dev-2.fc41.x86_64.debug/ltlcross-2.13.0.dev-2.fc41.x86_64.debug/ltldo-2.13.0.dev-2.fc41.x86_64.debug/ltlfilt-2.13.0.dev-2.fc41.x86_64.debug/ltlgrind-2.13.0.dev-2.fc41.x86_64.debug/ltlmix-2.13.0.dev-2.fc41.x86_64.debug/ltlsynt-2.13.0.dev-2.fc41.x86_64.debug/randaut-2.13.0.dev-2.fc41.x86_64.debug/randltl-2.13.0.dev-2.fc41.x86_64.debug


dirname: /usr/lib/debug/.build-id/9b
filetypes: ffff
filenames:
  516eb96237adda4052983eff38cf8fd89bbd2e/516eb96237adda4052983eff38cf8fd89bbd2e.debug/8f150ad8952eeac8c048fbbd6fed641edb7222/8f150ad8952eeac8c048fbbd6fed641edb7222.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffff
filenames:
  autcross-2.13.0.dev-5.fc41.x86_64.debug/autfilt-2.13.0.dev-5.fc41.x86_64.debug/dstar2tgba-2.13.0.dev-5.fc41.x86_64.debug/genaut-2.13.0.dev-5.fc41.x86_64.debug/genltl-2.13.0.dev-5.fc41.x86_64.debug/ltl2tgba-2.13.0.dev-5.fc41.x86_64.debug/ltl2tgta-2.13.0.dev-5.fc41.x86_64.debug/ltlcross-2.13.0.dev-5.fc41.x86_64.debug/ltldo-2.13.0.dev-5.fc41.x86_64.debug/ltlfilt-2.13.0.dev-5.fc41.x86_64.debug/ltlgrind-2.13.0.dev-5.fc41.x86_64.debug/ltlmix-2.13.0.dev-5.fc41.x86_64.debug/ltlsynt-2.13.0.dev-5.fc41.x86_64.debug/randaut-2.13.0.dev-5.fc41.x86_64.debug/randltl-2.13.0.dev-5.fc41.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.13.1.dev-11.fc42.x86_64.debug/autfilt-2.13.1.dev-11.fc42.x86_64.debug/dstar2tgba-2.13.1.dev-11.fc42.x86_64.debug/genaut-2.13.1.dev-11.fc42.x86_64.debug/genltl-2.13.1.dev-11.fc42.x86_64.debug/ltl2tgba-2.13.1.dev-11.fc42.x86_64.debug/ltl2tgta-2.13.1.dev-11.fc42.x86_64.debug/ltlcross-2.13.1.dev-11.fc42.x86_64.debug/ltldo-2.13.1.dev-11.fc42.x86_64.debug/ltlf2dfa-2.13.1.dev-11.fc42.x86_64.debug/ltlfilt-2.13.1.dev-11.fc42.x86_64.debug/ltlfsynt-2.13.1.dev-11.fc42.x86_64.debug/ltlgrind-2.13.1.dev-11.fc42.x86_64.debug/ltlmix-2.13.1.dev-11.fc42.x86_64.debug/ltlsynt-2.13.1.dev-11.fc42.x86_64.debug/randaut-2.13.1.dev-11.fc42.x86_64.debug/randltl-2.13.1.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.13.2.dev-0.fc42.x86_64.debug/autfilt-2.13.2.dev-0.fc42.x86_64.debug/dstar2tgba-2.13.2.dev-0.fc42.x86_64.debug/genaut-2.13.2.dev-0.fc42.x86_64.debug/genltl-2.13.2.dev-0.fc42.x86_64.debug/ltl2tgba-2.13.2.dev-0.fc42.x86_64.debug/ltl2tgta-2.13.2.dev-0.fc42.x86_64.debug/ltlcross-2.13.2.dev-0.fc42.x86_64.debug/ltldo-2.13.2.dev-0.fc42.x86_64.debug/ltlf2dfa-2.13.2.dev-0.fc42.x86_64.debug/ltlfilt-2.13.2.dev-0.fc42.x86_64.debug/ltlfsynt-2.13.2.dev-0.fc42.x86_64.debug/ltlgrind-2.13.2.dev-0.fc42.x86_64.debug/ltlmix-2.13.2.dev-0.fc42.x86_64.debug/ltlsynt-2.13.2.dev-0.fc42.x86_64.debug/randaut-2.13.2.dev-0.fc42.x86_64.debug/randltl-2.13.2.dev-0.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.13.2.dev-11.fc42.x86_64.debug/autfilt-2.13.2.dev-11.fc42.x86_64.debug/dstar2tgba-2.13.2.dev-11.fc42.x86_64.debug/genaut-2.13.2.dev-11.fc42.x86_64.debug/genltl-2.13.2.dev-11.fc42.x86_64.debug/ltl2tgba-2.13.2.dev-11.fc42.x86_64.debug/ltl2tgta-2.13.2.dev-11.fc42.x86_64.debug/ltlcross-2.13.2.dev-11.fc42.x86_64.debug/ltldo-2.13.2.dev-11.fc42.x86_64.debug/ltlf2dfa-2.13.2.dev-11.fc42.x86_64.debug/ltlfilt-2.13.2.dev-11.fc42.x86_64.debug/ltlfsynt-2.13.2.dev-11.fc42.x86_64.debug/ltlgrind-2.13.2.dev-11.fc42.x86_64.debug/ltlmix-2.13.2.dev-11.fc42.x86_64.debug/ltlsynt-2.13.2.dev-11.fc42.x86_64.debug/randaut-2.13.2.dev-11.fc42.x86_64.debug/randltl-2.13.2.dev-11.fc42.x86_64.debug


dirname: /usr/lib/debug/.build-id/d2
filetypes: ffffff
filenames:
  47248c07f53f9a83d1248b7c46475df74c4c82/47248c07f53f9a83d1248b7c46475df74c4c82.debug/c7e6dcda28f5c5ef7ec54d8dcf5e1c4afe1faa/c7e6dcda28f5c5ef7ec54d8dcf5e1c4afe1faa.debug/fa0e2302f7c3b4dcbe48061d73aad7964c22d5/fa0e2302f7c3b4dcbe48061d73aad7964c22d5.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.14.0.dev-1.fc42.x86_64.debug/autfilt-2.14.0.dev-1.fc42.x86_64.debug/dstar2tgba-2.14.0.dev-1.fc42.x86_64.debug/genaut-2.14.0.dev-1.fc42.x86_64.debug/genltl-2.14.0.dev-1.fc42.x86_64.debug/ltl2tgba-2.14.0.dev-1.fc42.x86_64.debug/ltl2tgta-2.14.0.dev-1.fc42.x86_64.debug/ltlcross-2.14.0.dev-1.fc42.x86_64.debug/ltldo-2.14.0.dev-1.fc42.x86_64.debug/ltlf2dfa-2.14.0.dev-1.fc42.x86_64.debug/ltlfilt-2.14.0.dev-1.fc42.x86_64.debug/ltlfsynt-2.14.0.dev-1.fc42.x86_64.debug/ltlgrind-2.14.0.dev-1.fc42.x86_64.debug/ltlmix-2.14.0.dev-1.fc42.x86_64.debug/ltlsynt-2.14.0.dev-1.fc42.x86_64.debug/randaut-2.14.0.dev-1.fc42.x86_64.debug/randltl-2.14.0.dev-1.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.14.0.dev-4.fc42.x86_64.debug/autfilt-2.14.0.dev-4.fc42.x86_64.debug/dstar2tgba-2.14.0.dev-4.fc42.x86_64.debug/genaut-2.14.0.dev-4.fc42.x86_64.debug/genltl-2.14.0.dev-4.fc42.x86_64.debug/ltl2tgba-2.14.0.dev-4.fc42.x86_64.debug/ltl2tgta-2.14.0.dev-4.fc42.x86_64.debug/ltlcross-2.14.0.dev-4.fc42.x86_64.debug/ltldo-2.14.0.dev-4.fc42.x86_64.debug/ltlf2dfa-2.14.0.dev-4.fc42.x86_64.debug/ltlfilt-2.14.0.dev-4.fc42.x86_64.debug/ltlfsynt-2.14.0.dev-4.fc42.x86_64.debug/ltlgrind-2.14.0.dev-4.fc42.x86_64.debug/ltlmix-2.14.0.dev-4.fc42.x86_64.debug/ltlsynt-2.14.0.dev-4.fc42.x86_64.debug/randaut-2.14.0.dev-4.fc42.x86_64.debug/randltl-2.14.0.dev-4.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.14.0.dev-6.fc42.x86_64.debug/autfilt-2.14.0.dev-6.fc42.x86_64.debug/dstar2tgba-2.14.0.dev-6.fc42.x86_64.debug/genaut-2.14.0.dev-6.fc42.x86_64.debug/genltl-2.14.0.dev-6.fc42.x86_64.debug/ltl2tgba-2.14.0.dev-6.fc42.x86_64.debug/ltl2tgta-2.14.0.dev-6.fc42.x86_64.debug/ltlcross-2.14.0.dev-6.fc42.x86_64.debug/ltldo-2.14.0.dev-6.fc42.x86_64.debug/ltlf2dfa-2.14.0.dev-6.fc42.x86_64.debug/ltlfilt-2.14.0.dev-6.fc42.x86_64.debug/ltlfsynt-2.14.0.dev-6.fc42.x86_64.debug/ltlgrind-2.14.0.dev-6.fc42.x86_64.debug/ltlmix-2.14.0.dev-6.fc42.x86_64.debug/ltlsynt-2.14.0.dev-6.fc42.x86_64.debug/randaut-2.14.0.dev-6.fc42.x86_64.debug/randltl-2.14.0.dev-6.fc42.x86_64.debug


dirname: /usr/lib/debug/.build-id/29
filetypes: ffff
filenames:
  2ea145b38b6abcfd6dde5b83aab8a16abd22c2/2ea145b38b6abcfd6dde5b83aab8a16abd22c2.debug/a154e1c43dcf73c16bc3a76f4eb1e2e006d65c/a154e1c43dcf73c16bc3a76f4eb1e2e006d65c.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.14.0.dev-7.fc42.x86_64.debug/autfilt-2.14.0.dev-7.fc42.x86_64.debug/dstar2tgba-2.14.0.dev-7.fc42.x86_64.debug/genaut-2.14.0.dev-7.fc42.x86_64.debug/genltl-2.14.0.dev-7.fc42.x86_64.debug/ltl2tgba-2.14.0.dev-7.fc42.x86_64.debug/ltl2tgta-2.14.0.dev-7.fc42.x86_64.debug/ltlcross-2.14.0.dev-7.fc42.x86_64.debug/ltldo-2.14.0.dev-7.fc42.x86_64.debug/ltlf2dfa-2.14.0.dev-7.fc42.x86_64.debug/ltlfilt-2.14.0.dev-7.fc42.x86_64.debug/ltlfsynt-2.14.0.dev-7.fc42.x86_64.debug/ltlgrind-2.14.0.dev-7.fc42.x86_64.debug/ltlmix-2.14.0.dev-7.fc42.x86_64.debug/ltlsynt-2.14.0.dev-7.fc42.x86_64.debug/randaut-2.14.0.dev-7.fc42.x86_64.debug/randltl-2.14.0.dev-7.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: fffffffffffffffff
filenames:
  autcross-2.14.0.dev-9.fc42.x86_64.debug/autfilt-2.14.0.dev-9.fc42.x86_64.debug/dstar2tgba-2.14.0.dev-9.fc42.x86_64.debug/genaut-2.14.0.dev-9.fc42.x86_64.debug/genltl-2.14.0.dev-9.fc42.x86_64.debug/ltl2tgba-2.14.0.dev-9.fc42.x86_64.debug/ltl2tgta-2.14.0.dev-9.fc42.x86_64.debug/ltlcross-2.14.0.dev-9.fc42.x86_64.debug/ltldo-2.14.0.dev-9.fc42.x86_64.debug/ltlf2dfa-2.14.0.dev-9.fc42.x86_64.debug/ltlfilt-2.14.0.dev-9.fc42.x86_64.debug/ltlfsynt-2.14.0.dev-9.fc42.x86_64.debug/ltlgrind-2.14.0.dev-9.fc42.x86_64.debug/ltlmix-2.14.0.dev-9.fc42.x86_64.debug/ltlsynt-2.14.0.dev-9.fc42.x86_64.debug/randaut-2.14.0.dev-9.fc42.x86_64.debug/randltl-2.14.0.dev-9.fc42.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.8.dev-0.fc33.x86_64.debug/autfilt-2.9.8.dev-0.fc33.x86_64.debug/dstar2tgba-2.9.8.dev-0.fc33.x86_64.debug/genaut-2.9.8.dev-0.fc33.x86_64.debug/genltl-2.9.8.dev-0.fc33.x86_64.debug/ltl2tgba-2.9.8.dev-0.fc33.x86_64.debug/ltl2tgta-2.9.8.dev-0.fc33.x86_64.debug/ltlcross-2.9.8.dev-0.fc33.x86_64.debug/ltldo-2.9.8.dev-0.fc33.x86_64.debug/ltlfilt-2.9.8.dev-0.fc33.x86_64.debug/ltlgrind-2.9.8.dev-0.fc33.x86_64.debug/ltlsynt-2.9.8.dev-0.fc33.x86_64.debug/randaut-2.9.8.dev-0.fc33.x86_64.debug/randltl-2.9.8.dev-0.fc33.x86_64.debug


dirname: /usr/lib/debug/usr/bin
filetypes: ffffffffffffff
filenames:
  autcross-2.9.8.dev-0.fc34.x86_64.debug/autfilt-2.9.8.dev-0.fc34.x86_64.debug/dstar2tgba-2.9.8.dev-0.fc34.x86_64.debug/genaut-2.9.8.dev-0.fc34.x86_64.debug/genltl-2.9.8.dev-0.fc34.x86_64.debug/ltl2tgba-2.9.8.dev-0.fc34.x86_64.debug/ltl2tgta-2.9.8.dev-0.fc34.x86_64.debug/ltlcross-2.9.8.dev-0.fc34.x86_64.debug/ltldo-2.9.8.dev-0.fc34.x86_64.debug/ltlfilt-2.9.8.dev-0.fc34.x86_64.debug/ltlgrind-2.9.8.dev-0.fc34.x86_64.debug/ltlsynt-2.9.8.dev-0.fc34.x86_64.debug/randaut-2.9.8.dev-0.fc34.x86_64.debug/randltl-2.9.8.dev-0.fc34.x86_64.debug


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/misc
filetypes: ffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/clz.hh/common.hh/escape.cc/escape.hh/fixpool.hh/formater.cc/formater.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcmp2.hh/intvcomp.cc/intvcomp.hh/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/bin
filetypes: ffffffffffffffffffffffffffffffffffffffff
filenames:
  autcross.cc/autfilt.cc/common_aoutput.cc/common_aoutput.hh/common_color.cc/common_color.hh/common_conv.cc/common_conv.hh/common_cout.cc/common_cout.hh/common_file.cc/common_file.hh/common_finput.cc/common_finput.hh/common_hoaread.cc/common_hoaread.hh/common_output.cc/common_output.hh/common_post.cc/common_post.hh/common_r.cc/common_r.hh/common_range.cc/common_range.hh/common_setup.cc/common_setup.hh/common_trans.cc/common_trans.hh/dstar2tgba.cc/genaut.cc/genltl.cc/ltl2tgba.cc/ltl2tgta.cc/ltlcross.cc/ltldo.cc/ltlfilt.cc/ltlgrind.cc/ltlsynt.cc/randaut.cc/randltl.cc


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/taalgos
filetypes: ffffffffffffff
filenames:
  dot.cc/dot.hh/emptinessta.cc/emptinessta.hh/minimize.cc/minimize.hh/reachiter.cc/reachiter.hh/statessetbuilder.cc/statessetbuilder.hh/stats.cc/stats.hh/tgba2ta.cc/tgba2ta.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/twa
filetypes: fffffffffffffffff
filenames:
  acc.cc/acc.hh/bdddict.cc/bdddict.hh/bddprint.cc/bddprint.hh/formula2bdd.cc/formula2bdd.hh/fwd.hh/taatgba.cc/taatgba.hh/twa.cc/twa.hh/twagraph.cc/twagraph.hh/twaproduct.cc/twaproduct.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh/gtec

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/buddy/src
filetypes: ffffffffffffffffffff
filenames:
  bddio.c/bddop.c/bddtree.h/bddx.h/bvec.c/bvecx.h/cache.c/cache.h/cppext.cxx/fdd.c/fddx.h/imatrix.c/imatrix.h/kernel.c/kernel.h/pairs.c/prime.c/prime.h/reorder.c/tree.c


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/ta
filetypes: fffffffffff
filenames:
  ta.cc/ta.hh/taexplicit.cc/taexplicit.hh/taproduct.cc/taproduct.hh/tgta.hh/tgtaexplicit.cc/tgtaexplicit.hh/tgtaproduct.cc/tgtaproduct.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot
filetypes: ddddddddddddddddd
filenames:
  bricks/gen/graph/kripke/ltsmin/mc/misc/parseaut/parsetl/priv/ta/taalgos/tl/twa/twaalgos/twacube/twacube_algos


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/spot/priv
filetypes: ffffffffffff
filenames:
  accmap.hh/bddalloc.cc/bddalloc.hh/freelist.cc/freelist.hh/robin_hood.hh/satcommon.cc/satcommon.hh/trim.cc/trim.hh/weight.cc/weight.hh


dirname: /usr/src/debug/spot-2.10.0.dev-0.fc34.x86_64/lib
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-fs-xinl.c/argp-help.c/argp-parse.c/argp-pin.c/argp-pv.c/argp-pvh.c/argp-xinl.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.c/c-ctype.h/c-strcase.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/localtime-buffer.c/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/setlocale_null.c/setlocale_null.h/stat-time.c/stat-time.h/stripslash.c/tempname.c/unistd.c/vasnprintf.c/vasnprintf.h/wchar.h/wctype-h.c/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.c/xsize.h


dirname: /usr/src/debug/spot-2.10.2.dev-6.fc34.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.10.4.dev-0.fc35.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/sonf.cc/sonf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.10.6.dev-0.fc36.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.11.3.dev-0.fc37.x86_64/spot/priv
filetypes: ffffffffffffff
filenames:
  accmap.hh/bddalloc.cc/bddalloc.hh/freelist.cc/freelist.hh/partitioned_relabel.cc/partitioned_relabel.hh/robin_hood.hh/satcommon.cc/satcommon.hh/trim.cc/trim.hh/weight.cc/weight.hh


dirname: /usr/src/debug/spot-2.11.6.dev-0.fc40.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.12.0.dev-0.fc40.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/deadends.cc/deadends.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.12.0.dev-0.fc40.x86_64/spot/tl
filetypes: ffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  apcollect.cc/apcollect.hh/contain.cc/contain.hh/declenv.cc/declenv.hh/defaultenv.cc/defaultenv.hh/delta2.cc/delta2.hh/dot.cc/dot.hh/environment.hh/exclusive.cc/exclusive.hh/formula.cc/formula.hh/hierarchy.cc/hierarchy.hh/length.cc/length.hh/ltlf.cc/ltlf.hh/mark.cc/mark.hh/mutation.cc/mutation.hh/nenoform.cc/nenoform.hh/parse.hh/print.cc/print.hh/randomltl.cc/randomltl.hh/relabel.cc/relabel.hh/remove_x.cc/remove_x.hh/simplify.cc/simplify.hh/snf.cc/snf.hh/sonf.cc/sonf.hh/unabbrev.cc/unabbrev.hh


dirname: /usr/src/debug/spot-2.12.2.dev-0.fc41.x86_64/spot/misc
filetypes: fffffffffffffffffffffffffffffffffffffffffff
filenames:
  bareword.cc/bareword.hh/bddlt.hh/bitset.cc/bitset.hh/bitvect.cc/bitvect.hh/casts.hh/clz.hh/common.hh/escape.cc/escape.hh/fixpool.hh/formater.cc/formater.hh/hash.hh/hashfunc.hh/intvcmp2.cc/intvcmp2.hh/intvcomp.cc/intvcomp.hh/location.hh/ltstr.hh/memusage.cc/memusage.hh/minato.cc/minato.hh/mspool.hh/optionmap.cc/optionmap.hh/permute.hh/position.hh/random.cc/random.hh/satsolver.cc/satsolver.hh/timer.cc/timer.hh/tmpfile.cc/tmpfile.hh/trival.hh/version.cc/version.hh


dirname: /usr/src/debug/spot-2.12.2.dev-0.fc41.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/deadends.cc/deadends.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/given.cc/given.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/magic.cc/magic.hh/mask.cc/mask.hh/matchstates.cc/matchstates.hh/mcs.cc/mcs.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.12.2.dev-0.fc41.x86_64/bin
filetypes: fffffffffffffffffffffffffffffffffffffffffff
filenames:
  autcross.cc/autfilt.cc/common_aoutput.cc/common_aoutput.hh/common_color.cc/common_color.hh/common_conv.cc/common_conv.hh/common_cout.cc/common_cout.hh/common_file.cc/common_file.hh/common_finput.cc/common_finput.hh/common_hoaread.cc/common_hoaread.hh/common_ioap.cc/common_ioap.hh/common_output.cc/common_output.hh/common_post.cc/common_post.hh/common_r.cc/common_r.hh/common_range.cc/common_range.hh/common_setup.cc/common_setup.hh/common_trans.cc/common_trans.hh/dstar2tgba.cc/genaut.cc/genltl.cc/ltl2tgba.cc/ltl2tgta.cc/ltlcross.cc/ltldo.cc/ltlfilt.cc/ltlgrind.cc/ltlmix.cc/ltlsynt.cc/randaut.cc/randltl.cc


dirname: /usr/src/debug/spot-2.13.0.dev-0.fc41.x86_64/spot/twaalgos
filenames:
  aiger.cc/aiger.hh/alternation.cc/alternation.hh/are_isomorphic.cc/are_isomorphic.hh/backprop.cc/backprop.hh/bfssteps.cc/bfssteps.hh/canonicalize.cc/canonicalize.hh/cleanacc.cc/cleanacc.hh/cobuchi.cc/cobuchi.hh/complement.cc/complement.hh/complete.cc/complete.hh/compsusp.cc/compsusp.hh/contains.cc/contains.hh/copy.hh/couvreurnew.cc/couvreurnew.hh/cycles.cc/cycles.hh/dbranch.cc/dbranch.hh/deadends.cc/deadends.hh/degen.cc/degen.hh/determinize.cc/determinize.hh/dot.cc/dot.hh/dtbasat.cc/dtbasat.hh/dtwasat.cc/dtwasat.hh/dualize.cc/dualize.hh/emptiness.cc/emptiness.hh/emptiness_stats.hh/forq_contains.cc/forq_contains.hh/game.cc/game.hh/genem.cc/genem.hh/gfguarantee.cc/gfguarantee.hh/given.cc/given.hh/gtec/gv04.cc/gv04.hh/hoa.cc/hoa.hh/iscolored.cc/iscolored.hh/isdet.cc/isdet.hh/isunamb.cc/isunamb.hh/isweakscc.cc/isweakscc.hh/langmap.cc/langmap.hh/lbtt.cc/lbtt.hh/ltl2taa.cc/ltl2taa.hh/ltl2tgba_fm.cc/ltl2tgba_fm.hh/ltlf2dfa.cc/ltlf2dfa.hh/magic.cc/magic.hh/mask.cc/mask.hh/matchstates.cc/matchstates.hh/mcs.cc/mcs.hh/mealy_machine.cc/mealy_machine.hh/minimize.cc/minimize.hh/mtdtwa.cc/mtdtwa.hh/ndfs_result.hxx/neverclaim.cc/neverclaim.hh/parity.cc/parity.hh/postproc.cc/postproc.hh/powerset.cc/powerset.hh/product.cc/product.hh/randomgraph.cc/randomgraph.hh/randomize.cc/randomize.hh/reachiter.cc/reachiter.hh/relabel.cc/relabel.hh/remfin.cc/remfin.hh/remprop.cc/remprop.hh/sbacc.cc/sbacc.hh/sccfilter.cc/sccfilter.hh/sccinfo.cc/sccinfo.hh/se05.cc/se05.hh/sepsets.cc/sepsets.hh/simulation.cc/simulation.hh/split.cc/split.hh/stats.cc/stats.hh/strength.cc/strength.hh/stripacc.cc/stripacc.hh/stutter.cc/stutter.hh/sum.cc/sum.hh/synthesis.cc/synthesis.hh/tau03.cc/tau03.hh/tau03opt.cc/tau03opt.hh/toparity.cc/toparity.hh/totgba.cc/totgba.hh/toweak.cc/toweak.hh/translate.cc/translate.hh/word.cc/word.hh/zlktree.cc/zlktree.hh

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/spot-2.13.0.dev-0.fc41.x86_64/bin
filetypes: fffffffffffffffffffffffffffffffffffffffffffff
filenames:
  autcross.cc/autfilt.cc/common_aoutput.cc/common_aoutput.hh/common_color.cc/common_color.hh/common_conv.cc/common_conv.hh/common_cout.cc/common_cout.hh/common_file.cc/common_file.hh/common_finput.cc/common_finput.hh/common_hoaread.cc/common_hoaread.hh/common_ioap.cc/common_ioap.hh/common_output.cc/common_output.hh/common_post.cc/common_post.hh/common_r.cc/common_r.hh/common_range.cc/common_range.hh/common_setup.cc/common_setup.hh/common_trans.cc/common_trans.hh/dstar2tgba.cc/genaut.cc/genltl.cc/ltl2tgba.cc/ltl2tgta.cc/ltlcross.cc/ltldo.cc/ltlf2dfa.cc/ltlfilt.cc/ltlfsynt.cc/ltlgrind.cc/ltlmix.cc/ltlsynt.cc/randaut.cc/randltl.cc


dirname: /usr/src/debug/spot-2.9.8.dev-0.fc33.x86_64/lib
filetypes: ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  argmatch.c/argmatch.h/argp-ba.c/argp-eexst.c/argp-fmtstream.c/argp-fmtstream.h/argp-help.c/argp-parse.c/argp-pv.c/argp-pvh.c/argp.h/asnprintf.c/basename-lgpl.c/c-ctype.h/c-strcase.h/c-strcasecmp.c/c-strcaseeq.h/c-strncasecmp.c/close-stream.c/close-stream.h/closeout.c/closeout.h/dirname-lgpl.c/dirname.h/error.h/exitfail.c/exitfail.h/getopt-core.h/getopt-ext.h/getopt.c/getopt1.c/getopt_int.h/getprogname.c/hard-locale.c/hard-locale.h/localcharset.c/localcharset.h/malloca.c/malloca.h/mbrtowc.c/printf-args.c/printf-args.h/printf-parse.c/printf-parse.h/progname.c/progname.h/quote.h/quotearg.c/quotearg.h/setlocale_null.c/setlocale_null.h/stat-time.h/stripslash.c/tempname.c/vasnprintf.c/vasnprintf.h/wchar.h/xalloc-die.c/xalloc-oversized.h/xalloc.h/xmalloc.c/xsize.h


dirname: /usr/include/spot/misc
filetypes: ffffffffffffffffffffffffffff
filenames:
  _config.h/bareword.hh/bddlt.hh/bitset.hh/bitvect.hh/casts.hh/clz.hh/common.hh/escape.hh/fixpool.hh/formater.hh/hash.hh/hashfunc.hh/intvcmp2.hh/intvcomp.hh/location.hh/ltstr.hh/memusage.hh/minato.hh/mspool.hh/optionmap.hh/position.hh/random.hh/satsolver.hh/timer.hh/tmpfile.hh/trival.hh/version.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh/gtec


dirname: /usr/include/spot/mc
filetypes: ffffffffff
filenames:
  bloemen.hh/bloemen_ec.hh/cndfs.hh/deadlock.hh/intersect.hh/lpar13.hh/mc.hh/mc_instanciator.hh/unionfind.hh/utils.hh


dirname: /usr/include/spot/tl
filetypes: fffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/tl
filetypes: ffffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/sonf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/tl
filetypes: fffffffffffffffffffffff
filenames:
  apcollect.hh/contain.hh/declenv.hh/defaultenv.hh/delta2.hh/dot.hh/environment.hh/exclusive.hh/formula.hh/hierarchy.hh/length.hh/ltlf.hh/mutation.hh/nenoform.hh/parse.hh/print.hh/randomltl.hh/relabel.hh/remove_x.hh/simplify.hh/snf.hh/sonf.hh/unabbrev.hh


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/deadends.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/misc
filetypes: fffffffffffffffffffffffffffff
filenames:
  _config.h/bareword.hh/bddlt.hh/bitset.hh/bitvect.hh/casts.hh/clz.hh/common.hh/escape.hh/fixpool.hh/formater.hh/hash.hh/hashfunc.hh/intvcmp2.hh/intvcomp.hh/location.hh/ltstr.hh/memusage.hh/minato.hh/mspool.hh/optionmap.hh/permute.hh/position.hh/random.hh/satsolver.hh/timer.hh/tmpfile.hh/trival.hh/version.hh


dirname: /usr/include/spot/twaalgos
filetypes: fffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/deadends.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/given.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/magic.hh/mask.hh/matchstates.hh/mcs.hh/mealy_machine.hh/minimize.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/include/spot/twaalgos
filetypes: ffffffffffffffffffffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffff
filenames:
  aiger.hh/alternation.hh/are_isomorphic.hh/backprop.hh/bfssteps.hh/canonicalize.hh/cleanacc.hh/cobuchi.hh/complement.hh/complete.hh/compsusp.hh/contains.hh/copy.hh/couvreurnew.hh/cycles.hh/dbranch.hh/deadends.hh/degen.hh/determinize.hh/dot.hh/dtbasat.hh/dtwasat.hh/dualize.hh/emptiness.hh/emptiness_stats.hh/forq_contains.hh/game.hh/genem.hh/gfguarantee.hh/given.hh/gtec/gv04.hh/hoa.hh/iscolored.hh/isdet.hh/isunamb.hh/isweakscc.hh/langmap.hh/lbtt.hh/ltl2taa.hh/ltl2tgba_fm.hh/ltlf2dfa.hh/magic.hh/mask.hh/matchstates.hh/mcs.hh/mealy_machine.hh/minimize.hh/mtdtwa.hh/neverclaim.hh/parity.hh/postproc.hh/powerset.hh/product.hh/randomgraph.hh/randomize.hh/reachiter.hh/relabel.hh/remfin.hh/remprop.hh/sbacc.hh/sccfilter.hh/sccinfo.hh/se05.hh/sepsets.hh/simulation.hh/split.hh/stats.hh/strength.hh/stripacc.hh/stutter.hh/sum.hh/synthesis.hh/tau03.hh/tau03opt.hh/toparity.hh/totgba.hh/toweak.hh/translate.hh/word.hh/zlktree.hh


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html/man

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd


dirname: /usr/share/doc/spot-doc/userdoc/man
filetypes: ffffffffffffffff
filenames:
  autcross.1.html/autfilt.1.html/dstar2tgba.1.html/genaut.1.html/genltl.1.html/ltl2tgba.1.html/ltl2tgta.1.html/ltlcross.1.html/ltldo.1.html/ltlfilt.1.html/ltlgrind.1.html/ltlsynt.1.html/randaut.1.html/randltl.1.html/spot-x.7.html/spot.7.html


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-tgba2.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm10.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfagfb-gta.svg/gfagfb-tgta.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut30.html/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm1.svg/autfiltsm10.svg/autfiltsm2.svg/autfiltsm3.svg/autfiltsm4.svg/autfiltsm5.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-dstar.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-hoa.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-twa1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dot2tex.svg/dot2tex2.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/fagfb.svg/fagfb2ba.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfafgb.svg/gfagfb-gta.svg/gfagfb-tgta.svg/gfagfb2ba.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-oblig-3.svg/hier-oblig-4.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/toba.py/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut25-aut.svg/tut25.html/tut25ex1.svg/tut25ex2.svg/tut25ex3.svg/tut30.html/tut30in.svg/tut30out.svg/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm1.svg/autfiltsm10.svg/autfiltsm2.svg/autfiltsm3.svg/autfiltsm4.svg/autfiltsm5.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-dstar.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-hoa.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-twa1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dot2tex.svg/dot2tex2.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/fagfb.svg/fagfb2ba.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfafgb.svg/gfagfb-gta.svg/gfagfb-tgta.svg/gfagfb2ba.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-oblig-3.svg/hier-oblig-4.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlfilt.html/ltlgrind.html/ltlmix.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/toba.py/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut25-aut.svg/tut25.html/tut25ex1.svg/tut25ex2.svg/tut25ex3.svg/tut30.html/tut30in.svg/tut30out.svg/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc/man
filetypes: fffffffffffffffff
filenames:
  autcross.1.html/autfilt.1.html/dstar2tgba.1.html/genaut.1.html/genltl.1.html/ltl2tgba.1.html/ltl2tgta.1.html/ltlcross.1.html/ltldo.1.html/ltlfilt.1.html/ltlgrind.1.html/ltlmix.1.html/ltlsynt.1.html/randaut.1.html/randltl.1.html/spot-x.7.html/spot.7.html


dirname: /usr/share/doc/spot-doc/userdoc
filenames:
  ambig1.svg/ambig2.svg/arch.svg/augb-ta.svg/augb-ta2.svg/autcross.html/autfilt-hlnondet.svg/autfilt-hlword.svg/autfilt-hlword2.svg/autfilt.html/autfiltsm1.svg/autfiltsm10.svg/autfiltsm2.svg/autfiltsm3.svg/autfiltsm4.svg/autfiltsm5.svg/autfiltsm6.svg/autfiltsm8.svg/autfiltsm9.svg/citing.html/compile.html/concept-buchi1.svg/concept-buchi2.svg/concept-buchi3.svg/concept-dstar.svg/concept-gba-vs-ba.svg/concept-gba-vs-ba2.svg/concept-gba1.svg/concept-gba2.svg/concept-hoa.svg/concept-lbtt2.svg/concept-ltl2tgba.svg/concept-never1.svg/concept-tba-vs-ba.svg/concept-te1.svg/concept-te2.svg/concept-tgba1.svg/concept-twa1.svg/concepts-alt.svg/concepts.html/csv.html/decorate.svg/dot2tex.svg/dot2tex2.svg/dotex.svg/dotex2.svg/dotex2ba-t.svg/dotex2ba.svg/dotex2ba8.svg/dotex2gba.svg/dotex2tba.svg/dstar2tgba.html/exgame.svg/fagfb.svg/fagfb2ba.svg/gagbgc1.svg/gagbgc2.svg/genaut.html/genltl.html/gfaexxb3.svg/gfaexxb4.svg/gfafgb.svg/gfagfb-gta.svg/gfagfb-tgta.svg/gfagfb2ba.svg/hier-guarantee-1.svg/hier-guarantee-2.svg/hier-oblig-1.svg/hier-oblig-2.svg/hier-oblig-3.svg/hier-oblig-4.svg/hier-persistence-1.svg/hier-persistence-2.svg/hier-persistence-3.svg/hier-persistence-4.svg/hier-persistence-7.svg/hier-recurrence-1.svg/hier-recurrence-2.svg/hier-recurrence-3.svg/hier-recurrence-4.svg/hier-recurrence-5.svg/hier-safety-1.svg/hier-safety-1m.svg/hier-safety-2.svg/hier-safety-2m.svg/hierarchy.html/hierarchy.svg/hoa.html/hoafex.svg/index.html/install.html/ioltl.html/kripke-1.svg/kripke-3.svg/kripke-3b.svg/kripke-52.svg/kripke-52b.svg/kripke-52c.svg/kripke-52d.svg/kscobuchi2.svg/ltl2tgba-det1.svg/ltl2tgba-det2.svg/ltl2tgba-dp1.svg/ltl2tgba-dp2.svg/ltl2tgba-dp3.svg/ltl2tgba-dp4.svg/ltl2tgba-dp5.svg/ltl2tgba-dp6.svg/ltl2tgba-fbgc-D.svg/ltl2tgba-fbgcfga-D.svg/ltl2tgba-fbgcfga-nosplit-D.svg/ltl2tgba-fga-D.svg/ltl2tgba-fga.svg/ltl2tgba.html/ltl2tgta.html/ltlcross-r.svg/ltlcross-r2.svg/ltlcross.html/ltldo.html/ltlf2dfa.html/ltlf2dfa1.svg/ltlf2dfa2.svg/ltlf2dfa3.svg/ltlf2dfa4.svg/ltlf2dfa5.svg/ltlf2dfa6.svg/ltlf2dfa7.svg/ltlfilt.html/ltlfsynt.html/ltlfsyntexaig.svg/ltlfsyntexgame-full.svg/ltlfsyntexgame-rest.svg/ltlfsyntexstrat.svg/ltlgrind.html/ltlmix.html/ltlsynt.html/ltlsynt.svg/ltlsyntex.svg/ltlsyntexaig.svg/ltlsyntexgame.svg/man/monitor1.svg/monitor2.svg/monitor3.svg/oaut-dot1.svg/oaut-dot2.svg/oaut-dot3.svg/oaut-dot4.svg/oaut-name.svg/oaut.html/randaut.html/randaut1.svg/randaut2.svg/randaut3.svg/randaut4.svg/randaut5.svg/randaut5b.svg/randaut5c.svg/randaut6.svg/randaut7.svg/randltl.html/satmin.html/satmin.svg/sitemap.html/spot.css/spot2.svg/toba.py/tools.html/tut.html/tut01.html/tut02.html/tut03.html/tut04.html/tut10.html/tut11.html/tut11a.svg/tut11b.svg/tut12.html/tut12a.svg/tut12b.svg/tut12c.svg/tut12d.svg/tut20.html/tut21.html/tut22.html/tut23-aut.svg/tut23.html/tut24.html/tut24in.svg/tut25-aut.svg/tut25.html/tut25ex1.svg/tut25ex2.svg/tut25ex3.svg/tut30.html/tut30in.svg/tut30out.svg/tut31.html/tut31in.svg/tut31out.svg/tut40.html/tut40gamesolved.svg/tut40gameunsolved.svg/tut40in.svg/tut50.html/tut51.html/tut52.html/tut90.html/uml-explicit-classes.svg/uml-kripke.svg/uml-otf-classes.svg/upgrade2.html

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/share/doc/spot-doc/userdoc/man
filetypes: fffffffffffffffffff
filenames:
  autcross.1.html/autfilt.1.html/dstar2tgba.1.html/genaut.1.html/genltl.1.html/ltl2tgba.1.html/ltl2tgta.1.html/ltlcross.1.html/ltldo.1.html/ltlf2dfa.1.html/ltlfilt.1.html/ltlfsynt.1.html/ltlgrind.1.html/ltlmix.1.html/ltlsynt.1.html/randaut.1.html/randltl.1.html/spot-x.7.html/spot.7.html


