New issue
Advanced search Search tips
Note: Color blocks (like █ or █) mean that a user may not be available. Tooltip shows the reason.

Issue 810702 link

Starred by 1 user
Status: Assigned
Owner:
█ jadep@google.com
Last visit > 30 days ago
Cc:
█ vpalatin@chromium.org
Components:
EstimatedDays: ----
NextAction: 2018-02-09
OS: Chrome
Pri: 3
Type: Feature



Sign in to add a comment

Update Coq to version 8.7

Project Member Reported by jadep@google.com, Feb 9 2018 
Coq 8.7, the latest major version, is needed to run the fiat-crypto project. This project will be useful for automated testing of elliptic curve cryptography routines.

Comment 1 by jadep@google.com, Feb 9 2018

Description: Show this description

Comment 2 by monor...@bugs.chromium.org, Feb 9 2018 

The NextAction date has arrived: 2018-02-09

Comment 3 by vpalatin@chromium.org, Feb 9 2018

Cc: vpalatin@chromium.org
►

Sign in to add a comment