replace Z3 dependency for PyTorch-2.1.2-foss-2023a.eb#501

trz42 wants to merge 1 commit intoEESSI:2023.06-software.eessi.ioEESSI/software-layer:2023.06-software.eessi.iofrom

trz42:work_around_missing_renamed_dependency_z3trz42/software-layer:work_around_missing_renamed_dependency_z3Copy head branch name to clipboard