Home My Page Projects CoqPrime
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#21352] Coq 8.6

Date:
2017-05-31 13:09
Priority:
3
State:
Open
Submitted by:
Nobody
Assigned to:
Nobody (None)
Category:
none
Group:
none
Resolution:
none
Summary:
Coq 8.6

Detailed description
Anonymous message posted by timmy.weerwag@uhasselt.be

The attached patch fixes some issues and deprecation warnings with Coq 8.6.

The patch is based on the coqprime_8.5b.zip file. Apply with
$ patch -p1 coqprime-coq-8.6.patch

Add A Comment: Notepad

No Comments Have Been Posted

Attachments:
Size Name Date By Download
6 KiBcoqprime-coq-8.6.patch2017-05-31 13:09Nonecoqprime-coq-8.6.patch
Field Old Value Date By
File Added6048: coqprime-coq-8.6.patch2017-05-31 13:09None