- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
Description
Description
Details
Details
- Provenance
johans Authored on - Parents
- rP264297: - update to 0.10
- Branches
- Unknown
- Tags
- Update coq to 8.3 Tags None Referenced Files None Subscribers None |