ports/misc/py-pytorch
Thierry Thomas a62b21d98a */*: fix the dependency to net/openmpi4
For ports without USES=mpi:openmpi. For the others, it will be set
automatically.
2024-02-18 10:22:35 +01:00
..