[girar-acl] sisyphus changes summary: coq

Girar ACL (root) girar-acl at altlinux.org
Thu Jan 30 09:40:28 MSK 2025

Previous message: [girar-acl] sisyphus changes summary: libiodbc
Next message: [#371761] DONE (try 12) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear everybody group!

You have been engaged in ACL change(s) initiated by Girar Administrator:

coq: CREATED -> "respublica @everybody"


-- 
Rgrds, your Girar ACL robot

Previous message: [girar-acl] sisyphus changes summary: libiodbc
Next message: [#371761] DONE (try 12) ocaml-lablgtk3.git=3.1.5-alt2 coq.git=8.20.0-alt1
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Sisyphus-incominger mailing list