From: Brett Gilio <brettg@gnu.org>
To: 38959@debbugs.gnu.org
Cc: bandali@gnu.org
Subject: bug#38959: Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums
Date: Sun, 05 Jan 2020 17:04:16 -0600 [thread overview]
Message-ID: <87imlpy07j.fsf@gnu.org> (raw)
Hey all, and particularly the FM-Guix working group. I'd like to get Coq
8.10.1 into Guix as it provides support for the new Int63.Ring63 theory
number library. This would be immensely helpful in getting the
coq-bignums package up-to-date with some neat new tactics. I know that
the CoqIDE package now has an explicit dependency on lablgtk3 from
OCaml. Both Coq 8.10.1 and lablgtk3 exist on Julien's (cc) channel, but
I want to run the idea by Julien and others before possibly integrating
a new Coq into our repository.
We should be extra cautious when doing
this, as there is quite possibly some Coq packages that /do not/ run
against coqtop from a newer Coq version. So we very well may have to
make the newer Coq along side an existing version.
That's all, let me know what you think.
--
Brett M. Gilio
GNU Guix, Contributor | GNU Project, Webmaster
[DFC0 C7F7 9EE6 0CA7 AE55 5E19 6722 43C4 A03F 0EEE]
<brettg@gnu.org> <brettg@posteo.net>
next reply other threads:[~2020-01-05 23:05 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-01-05 23:04 Brett Gilio [this message]
2020-01-05 23:19 ` bug#38959: Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums Julien Lepiller
2020-01-06 3:17 ` Brett Gilio
2020-01-06 8:39 ` Brett Gilio
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87imlpy07j.fsf@gnu.org \
--to=brettg@gnu.org \
--cc=38959@debbugs.gnu.org \
--cc=bandali@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).