Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] MathComp 1.6.4 released

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] MathComp 1.6.4 released


Chronological Thread 
  • From: Pierre-Yves Strub <>
  • To: ssreflect <>
  • Subject: Re: [ssreflect] MathComp 1.6.4 released
  • Date: Wed, 8 Nov 2017 14:00:08 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-phdr: 9a23:faaWkBQwVDugxnKE1k6QHmR8H9psv+yvbD5Q0YIujvd0So/mwa67bBCN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnZBUin4YBFuPOn7HoPZk4zjzPuo9pPXbg5UrD+me/ZzKg+3pEPQsNMXiM1sMPBi5AHOpy5weulM324tFEyehF7H+t2t9tY36yVdoegsst9eXL7SZLgiULYeCilwYDN939HiqRSWFVjH3XAbSGhDyhc=
Hi,

Ignored my mail. Sorry for the noise.

Best. Pierre-Yves.

2017-11-08 13:05 GMT+01:00 Pierre-Yves Strub <>:
Hi,

It seems that the opam package is stuck to 1.6.4? Or I'm doing something wrong...

Best. Pierre-Yves.

2017-11-07 11:19 GMT+01:00 Cyril <>:
# MathComp 1.6.4 released

We are proud to announce the immediate availability of the
Ssreflect proof language and the Mathematical Components library
version 1.6.3 for Coq 8.5pl3, 8.6.1 and 8.7.0.

This minor release adds compatibility with Coq 8.7 and loses
compatilility with Coq 8.4.

Sources and Windows packages are available at:
  https://github.com/math-comp/math-comp/releases

Best regards,
--
The Mathematical Components team




Archive powered by MHonArc 2.6.18.

Top of Page