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

14)                      },

15)          'experimental-0.3.3.x': {

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

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

19)                      'sid':     [ 'sid' ],
20)                      'trusty':  [ 'trusty'],

21)                      'xenial':  [ 'xenial'],

22)                      'artful':  [ 'artful'],

23)                      },
24)          'nightly-master': {
25)                      'jessie':  [ 'jessie' ],
26)                      'stretch': [ 'stretch' ],
27)                      'buster':  [ 'buster' ],
28)                      'sid':     [ 'sid' ],
29)                      'trusty':  [ 'trusty'],

30)                      'xenial':  [ 'xenial'],

31)                      'artful':  [ 'artful'],

32)                      },
33)        },
34) 'tor (from source)': {
35)          '_stable': {
36)                      'jessie':  [ 'jessie' ],
37)                      'stretch': [ 'stretch' ],

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

39)                      'sid':     [ 'sid' ],
40)                      'trusty':  [ 'trusty'],
41)                      'xenial':  [ 'xenial'],

42)                      'artful':  [ 'artful'],

43)                      },

44)          'experimental-0.3.3.x': {

45)                      'jessie':  [ 'jessie' ],
46)                      'stretch': [ 'stretch' ],

47)                      'buster':  [ 'buster' ],

48)                      'sid':     [ 'sid' ],
49)                      'trusty':  [ 'trusty'],
50)                      'xenial':  [ 'xenial'],

51)                      'artful':  [ 'artful'],

52)                      },
53)        },
54) };
55) 
56) function init() {

57)     document.getElementById("distrib").addEventListener("change", update);
58)     document.getElementById("package").addEventListener("change", update);
59)     document.getElementById("version").addEventListener("change", update);
60)