Changes between Initial Version and Version 6 of Ticket #51229


Ignore:
Timestamp:
Apr 26, 2016, 10:22:50 PM (8 years ago)
Author:
mf2k (Frank Schima)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #51229

    • Property Version changed from 2.3.4 to
    • Property Summary changed from Update coq to 8.5p1 -- maintainer patch enclosed to Update coq to 8.5pl1 -- maintainer patch enclosed

  • Ticket #51229 – Description

    initial v6  
    1 Update coq to 8.5p1. No changes other than the version number and checksum.
     1Update coq to 8.5pl1. No changes other than the version number and checksum.