summaryrefslogtreecommitdiff
path: root/devel/why3
ModeNameSize
-rw-r--r--DESCR672logplain
-rw-r--r--Makefile671logplain
-rw-r--r--PLIST7784logplain
-rw-r--r--distinfo351logplain
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-06 06:16:56 +0000