3 <select id="release" name="release">
4 <option selected value="">Select your operating system</option>
5 <option value="win32">MS Windows (32bit)</option>
6 <option value="win64">MS Windows (64bit)</option>
7 <option value="mac">Mac OS X</option>
8 {%- for id, relname in id2relname|dictsort(true, 'value') %}
9 <option value="{{ id }}">{{ relname }}</option>
12 <select id="mirror" name="mirror">
13 <option selected value="">Select a download server</option>
14 {%- for id, mirrorname in mirror2name|dictsort %}
15 <option value="{{ id }}">{{ mirrorname }}</option>
23 {%- for id, codename in id2codename|dictsort %}
24 "{{ id }}" : "{{ codename }}",
29 {%- for id, url in mirror2url|dictsort %}
30 "{{ id }}" : "{{ url }}",