diff --git a/DownloadDebianPackages.md b/DownloadDebianPackages.md
index 996cc89..72087e0 100644
--- a/DownloadDebianPackages.md
+++ b/DownloadDebianPackages.md
@@ -16,6 +16,7 @@ it, you'll need the "apt-get installable" kind of compability.
 |Debian 3.1 "sarge"|no|no|no|no|?| |
 |Debian 4.0 "etch" i386|no|yes|yes|no (missing pycryptopp)|[yes](http://allmydata.org/buildbot/waterfall?show_events=false&builder=etch)| |
 |Debian 5.0 "lenny" i386|yes?|yes|yes (use etch)|yes (use etch for zfec/foolscap)|yes?|*|
+|Debian 5.0 "lenny" armv5tel|no| ? |no|no|[yes](http://allmydata.org/buildbot/waterfall?show_events=false&builder=Fran)çois+Lenny-armv5tel| |
 |Debian "squeeze" (unreleased)| ? | ? | ? | ? | ? | |
 |Debian "sid" (unreleased)|yes|yes|no|yes|yes|*|
 |Ubuntu 6.06LTS "dapper" i386|no|no|no|no|[yes](http://allmydata.org/buildbot/waterfall?show_events=false&builder=dapper)| |