K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
2017-03-13T07:37:10.249962Z
K 7
svn:log
V 172
Remove the avr-gcc-devel port.

There's no longer a point in having both, a regular and a -devel port for
the AVR-GCC.  Meanwhile, the regular port was more recent anyway.

END