Derivation

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

Tags

• branch: master
• revision: 8103ed81f6bf6b03a6dca6b077e8401dac4f2011
• category: package

Submitted at

2023-08-15 15:47:25

State

Succeeded

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

Priority

800

View build log