Derivation

/gnu/store/jh91v31wjziw5r5y8zwk9lqyzpjy1021-openmpi-4.1.5.drv

Tags

• branch: master
• revision: e1600546b93bbc2d545730f02e071d35037a1d1a
• category: package

Submitted at

2023-10-16 00:10:06

State

Pending

Priority

0