| compilers=&python3 |
| defaultCompiler=python36 |
| |
| group.python3.compilers=python35:python36:python37:python38 |
| compiler.python35.name=Python 3.5 |
| compiler.python35.exe=/opt/compiler-explorer/python-3.5.9/bin/python3.5 |
| compiler.python36.name=Python 3.6 |
| compiler.python36.exe=/opt/compiler-explorer/python-3.6.10/bin/python3.6 |
| compiler.python37.name=Python 3.7 |
| compiler.python37.exe=/opt/compiler-explorer/python-3.7.6/bin/python3.7 |
| compiler.python38.name=Python 3.8 |
| compiler.python38.exe=/opt/compiler-explorer/python-3.8.1/bin/python3.8 |