nix: rm migen

shell.nix

@@ -3,26 +3,6 @@ let
 	pkgs = import <nixpkgs> {overlays = [mozillaOverlay];};
 in with pkgs;
 let
-	# TODO: Dump migen when nmigen fully succeed
-	migen = python3Packages.buildPythonPackage rec {
-    	name = "migen";
-
-    	src = fetchFromGitHub {
-      		owner = "m-labs";
-      		repo = "migen";
-   			rev = "12e7ba6a4c19ee65ff9e042747220972aecc05ac";
-   			sha256 = "0z76jfcvm7k6iqkmpdck3mw06hlg0kqvbpr047rgyvaw5im98wj5";
-   		};
-
-   		propagatedBuildInputs = with python3Packages; [ colorama ];
-
-   		meta = with stdenv.lib; {
-   			description = "A Python toolbox for building complex digital hardware";
-   			homepage    = "https://m-labs.hk/migen";
-   			license     = licenses.bsd2;
-   			platforms   = platforms.unix;
-   		};
-  	};
 	nmigen = callPackage ./nix/nmigen.nix {};
 	nmigen-boards = callPackage ./nix/nmigen-boards.nix { inherit nmigen; };
 	openocd = callPackage ./nix/openocd.nix {};
@@ -64,12 +44,6 @@ let
 		echo "Compiled fpga_config.py to top.bin"
 	'';
 
-	# No longer uses generated rust array to store bitstream
-
-#	readyBitstream = writeShellScriptBin "ready-bitstream" ''
-#		python3 nmigen/loader.py
-#	'';
-
 	flashFPGAConfig = writeShellScriptBin "flash-fpga-config" ''
 		set-gdb-config-file "fpga_config" && cargo run --example fpga_config
 	'';
@@ -96,7 +70,7 @@ in
 	stdenv.mkDerivation {
 		name = "nix-shell";		
 		buildInputs = with rustPlatform.rust; [
-			(pkgs.python3.withPackages(ps: [migen nmigen nmigen-boards]))
+			(pkgs.python3.withPackages(ps: [nmigen nmigen-boards]))
 			pkgs.python3Packages.pandas
 			pkgs.yosys
 			pkgs.nextpnr