summaryrefslogtreecommitdiff
path: root/debian/patches
ModeNameSize
-rw-r--r--00list80logplain
-rwxr-xr-xbrowser.dpatch754logplain
-rwxr-xr-xcamlp5.dpatch21546logplain
-rwxr-xr-xcmxa-install.dpatch782logplain
-rwxr-xr-xconfigure.dpatch872logplain
-rwxr-xr-xcoqdoc_stdlib.dpatch819logplain
-rwxr-xr-xmakefile.dpatch971logplain
-rw-r--r--no-complexity-test.dpatch768logplain