Index of /debian-dev

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]README-46.html22-May-2014 17:52 3.2K 
[TXT]README-47.html22-May-2014 17:52 3.0K 
[TXT]README.html15-Jul-2014 22:44 6.3K 
[TXT]ReleaseNotes-46.txt22-May-2014 17:52 1.0K 
[DIR]conf/26-May-2014 14:05 -  
[DIR]db/16-Jul-2014 03:11 -  
[DIR]dists/16-Jul-2014 00:17 -  
[DIR]pool/21-May-2014 22:36 -  
[   ]tinyprod.key22-May-2014 17:54 1.7K 

TinyOS (TinyProd) Debian Development Repository

Last update: 20140715, cire
(Changelog at end)

4 repositories are homed here that maybe useful to the TinyOS development community.

Wheezy is the main repository and provides packages built on Debian 7.5 (wheezy). Squeeze (debian 6.0.9 packages) is provided for prior installations.

Wheezy contains the following packages for i386 and amd64:

† The *-legacy packages contains the old toolchains used by tinyos-2.1.1 (and older).
‡ This is only available for i386 and it is a temporary package based on the binary provided by Code Sourcery.


tinyos-tools is changing.

tinyos-tools-devel and tinyos-tools >= 2.2.0 are not backward compatible with TinyOS releases < 2.2.0.

For the TinyOS 2.1.2 release, you should install tinyos-tools-14 (tinyos-tools). Releases prior to 2.1.2 are not supported.

For the development trunk, one should use tinyos-tools-devel.

tinyos-tools and tinyos-tools-14 are incompatible with tinyos-tools-devel. Mutually exclusive. You must remove tinyos-tools (tinyos-tools-14) prior to installing tinyos-tools-devel and vice-versa.
  $ sudo
  $ apt-get purge tinyos-tools
  $ apt-get install tinyos-tools-devel

You may need to remove old *-tinyos packages. To do so, follow these instructions:

To use these packages, follow these instructions:

  1. Tell apt about the TinyProd Signing Key.
      $ wget -O - http://tinyprod.net/repos/debian/tinyprod.key | sudo apt-key add -
    
          ... or ...
    
      $ gpg --keyserver keyserver.ubuntu.com --recv-keys A9B913B9
      $ gpg -a --export A9B913B9 | sudo apt-key add -
    
  2. Add the following lines to /etc/apt/sources.list.d/tinyprod-debian.list:
      deb http://tinyprod.net/repos/debian wheezy main
      deb http://tinyprod.net/repos/debian msp430-46 main
    
      $ sudo -s
      $ cd /etc/apt/sources.list.d
      $ echo "deb http://tinyprod.net/repos/debian wheezy main" >> tinyprod-debian.list
      $ echo "deb http://tinyprod.net/repos/debian msp430-46 main" >> tinyprod-debian.list
    
    
  3. Install the new packages:
      $ sudo apt-get update
      $ sudo apt-get install nesc tinyos-tools msp430-46 avr-tinyos
    
    

If you want to uninstall the packages you can do it like this:

  $ sudo apt-get autoremove --purge nesc tinyos-tools msp430-46 avr-tinyos


Note

These repositories are signed with the following key:

  pub   2048R/A9B913B9 2014-05-09
        Key fingerprint = 481E 5089 F39D 2A53 F6BB  E071 DBCA 24B8 A9B9 13B9
  uid   TinyProd Signing Key (tinyprod.net) 

-- Eric Decker (cire831@gmail.com) (June 12, 2014)



Changelog:

  20140715, cire: add tinyos-tools-14, tinyos-tools-devel
                  create Wheezy compiled packages
                  make wheezy be the primary repository
  20140624, cire: remove 1.4.3, replace with 1.4.2 (from Stanford)
  20140612, cire: move signing key around
  20140527, cire: tweaks
                  nuke references to wheezy
  20140522, cire: update mspdebug to 0.22
                  update nesc to 1.3.5
                  update tinyos-tools to 1.4.3
                  change signing key to the TinyProd signing key
                  add wheezy references
  20120815, cire: update mspdebug to 0.20
  20120720, cire: bring arm-all back in.
  20120717, cire: typos in README.
  20120716, cire: rebuild tinyprod repository, squeeze, msp430-4{5-7}

  20120427, cire: add mspgcc 4.7.0 reference

  20120410, cire: mspdebug 0.19
	add msp430-46, mspgcc 4.6.3 experimental repository.

  20120319, cire: amd64 fixed. new msp430-gcc package that includes SF3500740 and
	SF3420924.  Add ReleaseNotes.txt

  20120305, cire:  resync'd with Razvan's debian repo to make sure AMD64 works
	properly.  It doesn't.   AMD64 is still back rev'd.

  20120107, cire: update msp430-gcc-tinyos to include patches through 20111105
	note: (msp430-*) tinyos-tools, binutils, gdb, libc, mcu are repackaged as
	an artifact of the package build process.

	mspdebug revised to version 0.18.

  20111127, cire: new tinyos-tools, uisp-tinyos packages
  20111010, cire: installed as debian-dev