;; /tmp/bigloo/bdl/src
;; Fri Dec 22 17:20:21 2023

(
  (__bdl_env "bigloo.bdl.env")
  (__bdl_types "bigloo.bdl.types")
  (__bdl_prgm "bigloo.bdl.prgm")
  (__bdl_misc "bigloo.bdl.misc")
  (__bdl_etags "bigloo.bdl.etags")
  (__bdlread_makelib "bigloo.bdl.make_lib")
)

