Robert Scott 0b5d5d6828 python3Packages.cocotb: 1.3.1 -> 1.3.2 ... doesn't seem we can remove Makefile.inc fixup yet		2020-10-12 10:04:58 -07:00
..
default.nix	python3Packages.cocotb: 1.3.1 -> 1.3.2	2020-10-12 10:04:58 -07:00