Rapida mesaĝo por anonci la kreadon de malgrandan kanalon por Guix. Ĝi enhavas multajn versiojn de la pruvada asistilo Coq.