coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1

From: Adam Chlipala <adamc AT csail.mit.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1
Date: Thu, 9 Nov 2017 10:43:25 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adamc AT csail.mit.edu; spf=Pass smtp.mailfrom=adamc AT csail.mit.edu; spf=None smtp.helo=postmaster AT outgoing-stata.csail.mit.edu
Ironport-phdr: 9a23:zF7CGhXCp7QThd+5/18V/5Ng2mbV8LGtZVwlr6E/grcLSJyIuqrYZRGBt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl9+If2wEYrPhey20fqz8tvdeVZmnj24NJp+JRD+hgXVt9EfhYIqfq89wx7CinBTcuVSg2ZpORSekwuqtZT4x4Jq7ykF46FpzMVHS6ivJ6k=

Sorry, Ynot is a dead project, with no particular expectation that anything builds on any recent version of Coq.

On 11/09/2017 10:40 AM, Christoph-Simon Senjak wrote:

I was trying to build Ynot [1] under Coq 8.6.1 (in a Nix-Shell).

[Coq-Club] Trying to build Ynot under Coq 8.6.1, Christoph-Simon Senjak, 11/09/2017
- Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Adam Chlipala, 11/09/2017
  - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Matthieu Sozeau, 11/09/2017
    - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Ralf Jung, 11/09/2017
    - Re: [Coq-Club] Trying to build Ynot under Coq 8.6.1, Aleksandar Nanevski, 11/09/2017