IABSD.fr/ports/lang/compcert

Branch : - branch - master - tag -

• Show log

  Commit

• Author : daniel
  Date : 2023-01-08 20:34:48
  Hash : 4abde328
  Message : minor tweaks for compcert - editing compcert.ini is no longer needed - bump up the minimum coq version that compcert 3.12 would work with with Volker Schlecht

• Files
• Makefile
• distinfo
• patches
• pkg