tor-webwml.git

1) // This code is based on the http://mozilla.debian.net sources.list
2) // generator as originally written by Mike Hommey. It is licensed under
3) // the terms of the GNU GPLv2, http://www.gnu.org/licenses/gpl-2.0.html.
4) var sources = {};
5) var software = {
6) 'tor': { '_stable': {
7)                      'jessie':  [ 'jessie' ],

8)                      'stretch': [ 'stretch' ],
9)                      'buster':  [ 'buster' ],

10)                      'sid':     [ 'sid' ],
11)                      'trusty':  [ 'trusty'],
12)                      'xenial':  [ 'xenial'],
13)                      'yakkety': [ 'yakkety'],
14)                      },
15)          'experimental-0.3.0.x': {
16)                      'jessie':  [ 'jessie' ],
17)                      'stretch': [ 'stretch' ],

18)                      'buster':  [ 'buster' ],

19)                      'sid':     [ 'sid' ],
20)                      'trusty':  [ 'trusty'],
21)                      'xenial':  [ 'xenial'],
22)                      'yakkety': [ 'yakkety'],
23)                      },
24)        },
25) 'tor (from source)': {
26)          '_stable': {
27)                      'jessie':  [ 'jessie' ],
28)                      'stretch': [ 'stretch' ],

29)                      'buster':  [ 'buster' ],

30)                      'sid':     [ 'sid' ],
31)                      'trusty':  [ 'trusty'],
32)                      'xenial':  [ 'xenial'],
33)                      'yakkety': [ 'yakkety'],
34)                      },
35)          'experimental-0.3.0.x': {
36)                      'jessie':  [ 'jessie' ],
37)                      'stretch': [ 'stretch' ],

38)                      'buster':  [ 'buster' ],

39)                      'sid':     [ 'sid' ],
40)                      'trusty':  [ 'trusty'],
41)                      'xenial':  [ 'xenial'],
42)                      'yakkety': [ 'yakkety'],
43)                      },
44)        },
45) };
46) 
47) function init() {

48)     document.getElementById("distrib").addEventListener("change", update);
49)     document.getElementById("package").addEventListener("change", update);
50)     document.getElementById("version").addEventListener("change", update);
51)