SDPA の unstable のパッケージ

SDPA の unstable のパッケージは７月５日に登録なので、testing になるまでにあと５日程度かかる予定。

ところで、バグなどの情報をチェックしていたところ、Ubuntu のほうで
#935439 sdpa version 7.3.5.dfsg-1build1 FTBFS on i386 in precise
というバグが残っていることが判明。
ただ、Ubuntu に登録されているバグを Debian パッケージとしてどのように取り除いたらいいのかが、調べる必要がありそうだ。(Debian に登録されているのであれば、close で終了できるが、close に
#935439 と書いたときに Ubuntu に登録されているバグであることを認識できるのかが今一つよく分からない。)

今日の作業内容：証明方針の再検討 1h
今日のランチ：味庵 豚肉と大根の煮込み
明日の予測作業時間：3h