IABSD.fr/ports

Browse
Commit
Author : daniel
Date : 2026-02-22 20:40:37
Hash : aca789d0
Message : update rocq to build coqide again Now that both dune and lablgtk3 have been updated, we can resume building coqide as part of rocq. ok MAINTAINER