Derivation

/gnu/store/dssmipjl9a6dk2w1qryr5c6ja92nmwkm-petsc-complex-openmpi-3.24.0.drv

Tags

• revision: 45aa78f12242a8fd4550d3e1ef1860290db51bfc
• branch: python-team
• category: package

Submitted at

2026-01-18 07:34:19

State

Succeeded

• Agent d9ed2db6-ad3c-45f7-92af-81ad973d5de0

Priority

0

View build log