HomeFreeBSD

- Update coq to 8.3

Description

  • Update coq to 8.3
  • Add a patch to fix threading issues

Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>

Details

Provenance
johansAuthored on
Parents
rP264297: - update to 0.10
Branches
Unknown
Tags
Unknown

Event Timeline