Derivation

/gnu/store/32f58k8w55b2456fjij6v8jr15hhfdvr-texlive-tetex-51265-checkout.drv

Tags

Submitted at

2021-05-13 20:56:47

State

Succeeded

• Agent b8ce8ac1-0c63-4899-9db1-4b82ec7bd6bb

Priority

0

View build log