ssreflect for Gentoo
以下のとおりにoverlayを追加して http://na4zagin3.hatenablog.com/entry/20111108/1320755758
$ emerge ssreflect
ってすればいい
[2014-09-04追記] ssreflect-1.5から、数学系の定義・証明がmathcomp-1.5に分離されたので、ssreflectだけでは入らない。
$ emerge ssreflect mathcomp # 又は mathcomp
とすれば mathcomp も入る。