Derivation

/gnu/store/8h3pxrvhrbk08nasnihnf0c5ia74rnvg-openmpi-5.0.3.drv

Tags

• branch: master
• revision: ce40b1c655edab622b4ad9ff49f948bd65753662
• category: package

Submitted at

2024-08-20 18:37:42

State

Pending

Priority

0