Build 137d163e-9c45-40de-baf8-6ad7b5a9f8d4 — bordeaux.guix.gnu.org
Derivation
/gnu/store/47j5b7pp34nm61zikdk029sy4wwmwszn-coq-coquelicot-3.4.1-checkout.drv
Tags
revision: dba6568e003bf41a49c8502587a22b5710398b3e
issue: 71492
category: package
Submitted at
2024-06-12 13:55:25
State
Succeeded
Agent
3089cd9a-ad5a-4e80-9a24-7c9b3a14cfe3
Priority
0
View build log