D/brigfrontend////
/Make-lang.in/1.1.1.4/Mon Feb 20 03:01:05 2023//
/brig-builtins.h/1.1.1.4/Mon Feb 20 03:01:05 2023//
/brig-c.h/1.1.1.4/Mon Feb 20 03:01:05 2023//
/brig-lang.c/1.1.1.4/Mon Feb 20 03:01:05 2023//
/brigspec.c/1.1.1.4/Mon Feb 20 03:01:05 2023//
/config-lang.in/1.1.1.4/Mon Feb 20 03:01:05 2023//
/gccbrig.texi/1.1.1.3/Mon Feb 20 03:01:05 2023//
/lang-specs.h/1.1.1.4/Mon Feb 20 03:01:05 2023//
/lang.opt/1.1.1.4/Mon Feb 20 03:01:05 2023//