FROM debian:jessie
RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list
RUN apt-get update \
&& \
apt-get install -y \
avr-libc \
binutils-avr \
gcc-arm-none-eabi \
gcc-avr \
git \
python-crypto \
python-serial \
python-yaml \
reprepro \
ubuntu-archive-keyring \
ubuntu-dev-tools \
pbuilder \
&& \
apt-get -t jessie-backports install -y \
debootstrap distro-info-data
class='main'>index : sra/rpki.net
blob: 0392db8773212a4b272c0f3a4e170ddeeac04800 (
plain) (
tree)