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)                      'wheezy':  [ 'wheezy' ],
8)                      'jessie':  [ 'jessie' ],
9)                      'stretch': [ 'stretch' ],
10)                      'sid':     [ 'sid' ],
11)                      'precise': [ 'precise'],
12)                      'trusty':  [ 'trusty'],
13)                      'xenial':  [ 'xenial'],
14)                      'yakkety': [ 'yakkety'],
15)                      },
16)          'experimental-0.3.0.x': {
17)                      'wheezy':  [ 'wheezy' ],
18)                      'jessie':  [ 'jessie' ],
19)                      'stretch': [ 'stretch' ],
20)                      'sid':     [ 'sid' ],
21)                      'precise': [ 'precise'],
22)                      'trusty':  [ 'trusty'],
23)                      'xenial':  [ 'xenial'],
24)                      'yakkety': [ 'yakkety'],
25)                      },
26)        },
27) 'tor (from source)': {
28)          '_stable': {
29)                      'wheezy':  [ 'wheezy' ],
30)                      'jessie':  [ 'jessie' ],
31)                      'stretch': [ 'stretch' ],
32)                      'sid':     [ 'sid' ],
33)                      'precise': [ 'precise'],
34)                      'trusty':  [ 'trusty'],
35)                      'xenial':  [ 'xenial'],
36)                      'yakkety': [ 'yakkety'],
37)                      },
38)          'experimental-0.3.0.x': {
39)                      'wheezy':  [ 'wheezy' ],
40)                      'jessie':  [ 'jessie' ],
41)                      'stretch': [ 'stretch' ],
42)                      'sid':     [ 'sid' ],
43)                      'precise': [ 'precise'],
44)                      'trusty':  [ 'trusty'],
45)                      'xenial':  [ 'xenial'],
46)                      'yakkety': [ 'yakkety'],
47)                      },
48)        },
49) };
50) 
51) function init() {

52)     document.getElementById("distrib").addEventListener("change", update);
53)     document.getElementById("package").addEventListener("change", update);
54)     document.getElementById("version").addEventListener("change", update);
55)