IABSD.fr/ports/math/rocq

Branch : - branch - master - tag -

• Show log

  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

• Files
• Makefile
• distinfo
• pkg