58 duplicated lines in:
  - devtools/setup.py (26:116, 44%)
  - exec/setup.py (26:116, 36%)

30 duplicated lines in:
  - devtools/setup.py (124:153, 23%)
  - exec/setup.py (124:153, 18%)

15 duplicated lines in:
  - devtools/setup.py (177:191, 11%)
  - exec/setup.py (208:222, 9%)