IABSD.fr/ports/math/coq

Branch : - branch - master - tag -

• Show log

  Commit

• Author : sthen
  Date : 2023-07-24 12:12:55
  Hash : 648b9bb1
  Message : bump REVISION for ports using MODULES=lang/ocaml which have now picked up USE_NOBTCFI

• Files
• Makefile
• distinfo
• patches
• pkg