RedirectedUrl: version 1.0.0_pre20220518-r1: HOMEPAGE: permanently redirected: https://github.com/Boolector/btor2tools/ -> https://github.com/hwmcc/btor2tools
  RedirectedUrl: version 1.0.0_pre20220518-r1: SRC_URI: permanently redirected: https://github.com/Boolector/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz -> https://github.com/hwmcc/btor2tools/archive/b8456dda4780789e882f5791eb486f295ade4da4.tar.gz
  RedirectedUrl: version 1.0.0_pre20220518-r1: metadata.xml: bugs-to: permanently redirected: https://github.com/Boolector/btor2tools/issues/ -> https://github.com/hwmcc/btor2tools/issues
  RedirectedUrl: version 1.0.0_pre20220518-r1: metadata.xml: remote-id: permanently redirected: https://github.com/Boolector/btor2tools -> https://github.com/hwmcc/btor2tools