summaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
ModeNameSize
-rw-r--r--Makefile2532logstatsplain
-rw-r--r--distinfo135logstatsplain
d---------files248logstatsplain
-rw-r--r--pkg-descr541logstatsplain
-rw-r--r--pkg-plist13127logstatsplain
OpenPOWER on IntegriCloud