The Coq mailing list

[Matthieu Sozeau <mattam AT mattam.org>]

Have a partition that is case sensitive... Although those ambiguities could be dealt with in a better way using qualification IIRC

Le mer. 6 mai 2015 à 20:43, Vadim Zaliva <vzaliva AT cmu.edu> a écrit :

On May 6, 2015, at 10:14 , Jason Gross <jasongross9 AT gmail.com> wrote:

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

Thanks! That leads me to OPAM/Coq question. I am already using OPAM for OCaml stuff on my Mac. However it would not work for MathClasses since they require case-sensitive file system which is not default on Macs. I usually create and mount disk image with case-sensitive file system just for MathClasses. I would like very much to use OPAM for Coq packages, but at least for this one case-sensitivity would be a problem. How people are dealing with this?

Sincerely,
Vadim Zaliva

--

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva