Build 9e49598e-450c-4bc5-a6b3-2579849215ff — bordeaux.guix.gnu.org
Derivation
/gnu/store/pl1n9az0davgsfyzspdwbfbnc8wqfar2-coq-for-coqtail-8.17.1.drv
Tags
revision: 1caa0eeee5042f33bc0bb66dc38bed7513cad0fb
branch: gnome-team
category: package
Submitted at
2024-03-17 12:31:49
State
Succeeded
Agent
0c973ac8-4e62-4889-87b4-31c9536641db
Priority
0
View build log