Derivation

/gnu/store/ibwrg0gclpxpb2nlw9a17qjlg7p39xc4-agda-cubical-0.5.drv

Tags

• branch: master
• revision: a9fcec54c6ce481d81f78c87f1bff7bb695cdff1
• category: package

Submitted at

2023-07-25 16:28:12

State

Succeeded

• Agent 0c973ac8-4e62-4889-87b4-31c9536641db

Priority

700

View build log