devkitPro ダウングレードの道が絶たれてる模様。

NDS 周りしか見てないけど。
devkitARM は r24 より古いもの、 libnds は v1.3.1 より古いものは
SourceForge から削除されてる。夏頃には既に無かったっぽい。

手動ダウングレードなんてしないで最新版使ってねって
中の人からのメッセージか？これは。

古いソースを読みたかった俺は一体どうすれば。orz