These sources are literal copies from the Debian archives. They are included here to comply with the various licences, as static binary (i386) versions of the bash and dash shells are included in the DOMjudge source tarball. The included bash shell binary is copied from the bash-static package. The dash shell binaries are copied from the dash package built with diet libc, see debian/README.Debian.diet in the dash source for more details.