Bug-Database: https://github.com/cocotb/cocotb/issues
Bug-Submit: https://github.com/cocotb/cocotb/issues/new
Contact: cocotb@lists.librecores.org
Documentation: https://docs.cocotb.org/
Repository: https://github.com/cocotb/cocotb.git
Repository-Browse: https://github.com/cocotb/cocotb
