Subject: Ssreflect Users Discussion List
List archive
- From: Tobias Tebbi <>
- To:
- Subject: [ssreflect] ssreflect for Coq 8.5beta3
- Date: Wed, 02 Dec 2015 16:59:34 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:3eEb1BW/ddesERgxQ5LTIBZjq/3V8LGtZVwlr6E/grcLSJyIuqrYZhePt8tkgFKBZ4jH8fUM07OQ6PC+HzRYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770o8WbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBL7hZak2SbFTEBwjKHpw5cvxtBCFTA2V53JaXH9FvABPBl356xv7V4y5jibwvOs1jDXcIcD8R7EcVjGr7qMtQxjt3nRUfwUl+X3a35QjxJlQpwis8kRy
Hi,
I just patched ssreflect 1.5.1 to work with Coq 8.5 beta3.
I also created an OPAM package (https://github.com/tebbi/opam-coq-archive/tree/master/released/packages/coq-ssreflect/coq-ssreflect.1.5.1~beta3) containing the patch.
However, I don't know who to send this patch to such that it can be integrated into ssreflect.
Best,
Tobias
- [ssreflect] ssreflect for Coq 8.5beta3, Tobias Tebbi, 12/02/2015
- Re: [ssreflect] ssreflect for Coq 8.5beta3, Enrico Tassi, 12/02/2015
Archive powered by MHonArc 2.6.18.