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)                      'zesty':   [ 'zesty'],

15)                      },

16)          'experimental-0.3.1.x': {

17)                      'jessie':  [ 'jessie' ],
18)                      'stretch': [ 'stretch' ],

19)                      'buster':  [ 'buster' ],

20)                      'sid':     [ 'sid' ],
21)                      'trusty':  [ 'trusty'],
22)                      'xenial':  [ 'xenial'],
23)                      'yakkety': [ 'yakkety'],

24)                      'zesty':   [ 'zesty'],

25)                      },
26)        },
27) 'tor (from source)': {
28)          '_stable': {
29)                      'jessie':  [ 'jessie' ],
30)                      'stretch': [ 'stretch' ],

31)                      'buster':  [ 'buster' ],

32)                      'sid':     [ 'sid' ],
33)                      'trusty':  [ 'trusty'],
34)                      'xenial':  [ 'xenial'],
35)                      'yakkety': [ 'yakkety'],

36)                      'zesty':   [ 'zesty'],

37)                      },
38)          'experimental-0.3.0.x': {
39)                      'jessie':  [ 'jessie' ],
40)                      'stretch': [ 'stretch' ],

41)                      'buster':  [ 'buster' ],

42)                      'sid':     [ 'sid' ],
43)                      'trusty':  [ 'trusty'],
44)                      'xenial':  [ 'xenial'],
45)                      'yakkety': [ 'yakkety'],

46)                      'zesty':   [ 'zesty'],

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)