<div class="form-group"><label for="prog">File:</label><input id="prog" name="prog" type="file"></div>
<div class="form-group"><label for="source_code">Source code:</label> <textarea class="form-control" id="source_code" name="source_code"></textarea></div>
<div class="form-group"><label for="prog_format">File format:</label><select id="prog_format" name="prog_format" class="form-control" required>
-<option value="C">C (gcc)</option>
-<option value="CPP" selected>C++ (g++)</option>
-<option value="GCCGO">Go (gccgo)</option>
-<option value="GOLANG">Go (gc)</option>
-<option value="HASKELL">Haskell (ghc)</option>
-<option value="JAVA">Java (javac)</option>
-<option value="PASCAL">Pascal (fpc)</option>
-<option value="PERL">Perl (perl)</option>
-<option value="PYTHON">Python (python)</option>
+<option value="C">C (gcc 4.7.2)</option>
+<option value="CPP" selected>C++ (g++ 4.7.2)</option>
+<option value="GCCGO">Go (gccgo 4.7.2)</option>
+<option value="GOLANG">Go (gc 1.0.2)</option>
+<option value="HASKELL">Haskell (ghc 7.4.1)</option>
+<option value="JAVA">Java (javac 6b34)</option>
+<option value="PASCAL">Pascal (fpc 2.6.0)</option>
+<option value="PERL">Perl (perl 5.14.2)</option>
+<option value="PYTHON">Python (python 2.7.3)</option>
</select></div>
<input type="submit" value="Submit job" class="btn btn-primary">