# an overlay to 
let 
  tag = "2023.12";
in final: prev: {
  pythonPackagesExtensions = prev.pythonPackagesExtensions ++ [
    (python-final: python-prev: {
      litex = python-final.callPackage(import ./litex.nix tag) { };
      litedram = python-final.callPackage(import ./litedram.nix tag) { };
      liteeth = python-final.callPackage(import ./liteeth.nix tag) { };
      litescope = python-final.callPackage(import ./litescope.nix tag) { };
      litespi = python-final.callPackage(import ./litespi.nix tag) { };
      pythondata-cpu-vexriscv = python-final.callPackage(import ./pythondata-cpu-vexriscv.nix tag) { };
      pythondata-software-compiler_rt = python-final.callPackage(import ./pythondata-software-compiler_rt.nix tag) { };
      pythondata-software-picolibc = python-final.callPackage(import ./pythondata-software-picolibc.nix tag) { };
    })
  ];
}