aboutsummaryrefslogtreecommitdiff
path: root/math/gringo
ModeNameSize
-rw-r--r--Makefile884logplainblame
-rw-r--r--distinfo170logplainblame
d---------files143logplain
-rw-r--r--pkg-descr302logplainblame