#!/bin/sh

http_source="http://ftp.de.debian.org/debian/pool/main/g/gcc-4.9/"
version="4.9.2-10"

for file in `wget -qO- "${http_source}" | ./bquery a -a href | grep "${version}" | grep -e '_amd64\.deb' -e '_all\.deb'`; do
  wget "${http_source}${file}"
done


http_source="http://ftp.de.debian.org/debian/pool/main/i/isl/"
version="0.12.2-2"

for file in `wget -qO- "${http_source}" | ./bquery a -a href | grep "${version}" | grep -e '_amd64\.deb' -e '_all\.deb'`; do
  wget "${http_source}${file}"
done