tree e658ba3e00fd4d63788586244d6de34bcf3a69e2
parent 3184fd74f11b7691d203f3a31ceb02f41a11decc
author Stephan Erb <serb@apache.org> 1471969403 +0200
committer Stephan Erb <serb@apache.org> 1471969403 +0200

Use a fixed Debian mirror rather than relying on httpredir

This is another attempt at a stable nightly package build. The currently most common error is:

```
E: Failed to fetch http://httpredir.debian.org/debian/pool/main/p/patch/patch_2.7.5-1_amd64.deb  Error reading from server. Remote end closed connection [IP: 5.153.231.35 80]

E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
The command '/bin/sh -c apt-get update && apt-get -y install   bison   debhelper   devscripts   dpkg-dev   curl   git   libapr1-dev   libcurl4-openssl-dev   libkrb5-dev   libsvn-dev   python-all-dev   software-properties-common   thrift-compiler' returned a non-zero code: 100
```

Reviewed at https://reviews.apache.org/r/51301/