The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

It seems to be available on opam: https://github.com/coq/repo-unstable/blob/master/packages/coq:contrib:math-classes/coq:contrib:math-classes.dev/opam

On Wed, May 6, 2015 at 1:08 PM, Vadim Zaliva <vzaliva AT cmu.edu> wrote:

I am trying to switch to Coq 8.5 and need to re-compile some libraries I am using.
I tried to compile MathClasses and there are errors. I will try to resolve them
myself but in interest of saving time, did anybody already tried to compile/use
MathClasses with Coq 8.5? Thanks!

Sincerely,
Vadim Zaliva

--
CMU ECE PhD candidate
Mobile: +1(510)220-1060
Skype: vzaliva