summaryrefslogtreecommitdiff
path: root/sci-mathematics/kind2
ModeNameSize
-rw-r--r--Manifest904logplain
-rw-r--r--kind2-1.9.0.ebuild726logplain
-rw-r--r--metadata.xml1209logplain