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.
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bash_3.1dfsg.orig.tar.gz2007-06-14 22:04 2.2M 
[   ]bash_2.05b-2.orig.tar.gz2007-06-14 22:03 1.9M 
[   ]bash_2.05b-2-26.diff.gz2007-06-14 22:03 560K 
[   ]bash_3.1dfsg-8.diff.gz2007-06-14 22:04 223K 
[   ]dash_0.5.7.orig.tar.gz2011-08-19 15:17 219K 
[   ]dash_0.5.5.1.orig.tar.gz2009-02-12 09:47 203K 
[   ]dash_0.5.3.orig.tar.gz2008-09-06 18:15 202K 
[   ]dash_0.5.5.1-6.diff.gz2010-07-07 23:05 46K 
[   ]dash_0.5.7-2.diff.gz2011-09-27 14:17 40K 
[   ]dash_0.5.3-7.diff.gz2008-09-06 18:15 33K 
[   ]dash_0.5.5.1-2.diff.gz2009-02-16 14:17 30K 
[TXT]dash_0.5.7-2.dsc2011-09-27 14:17 1.1K 
[TXT]dash_0.5.5.1-2.dsc2009-02-16 14:17 1.0K 
[TXT]dash_0.5.5.1-6.dsc2010-07-07 23:05 781  
[TXT]bash_2.05b-2-26.dsc2007-06-14 22:03 751  
[TXT]bash_3.1dfsg-8.dsc2007-06-14 22:04 731  
[TXT]dash_0.5.3-7.dsc2008-09-06 18:15 639  
[TXT]README2013-11-03 22:39 448  

Apache/2.4.61 (Debian) Server at www.domjudge.org Port 443