[PATCH 1/2] gnu: polyml: Update to 5.8.

  • Done
  • quality assurance status badge
Details
2 participants
  • Brett Gilio
  • Tobias Geerinckx-Rice
Owner
unassigned
Submitted by
Brett Gilio
Severity
normal

Debbugs page

Brett Gilio wrote 5 years ago
(address . guix-patches@gnu.org)
87ftifioxk.fsf@posteo.net
From 6f9182dd60a24721d0575126550f322cad9ab24b Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
Date: Fri, 22 Nov 2019 15:23:29 -0600
Subject: [PATCH 1/2] gnu: polyml: Update to 5.8.

* gnu/packages/sml.scm (polyml): Update to 5.8.
---
gnu/packages/sml.scm | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)

Toggle diff (32 lines)
diff --git a/gnu/packages/sml.scm b/gnu/packages/sml.scm
index 0874b81cc7..fd1ba4a539 100644
--- a/gnu/packages/sml.scm
+++ b/gnu/packages/sml.scm
@@ -2,6 +2,7 @@
;;; Copyright © 2017 Andy Patterson <ajpatter@uwaterloo.ca>
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
+;;; Copyright © 2019 Brett Gilio <brettg@posteo.net>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -32,7 +33,7 @@
(define-public polyml
(package
(name "polyml")
- (version "5.7.1")
+ (version "5.8")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -41,7 +42,7 @@
(file-name (git-file-name name version))
(sha256
(base32
- "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755"))))
+ "1jabrf9cnmsppawga6q5pjiq1cdayilxp66fkxykczs6vv2gz7f9"))))
(build-system gnu-build-system)
(inputs
`(("gmp" ,gmp)
--
2.24.0
Tobias Geerinckx-Rice wrote 5 years ago
Re: [bug#38328] [bug#38329]
87wobr7eli.fsf@nckx
Brett,

Brett Gilio 写道：
Toggle quote (3 lines)
> [PATCH 1/2] gnu: polyml: Update to 5.8.
> [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.

Pushed as 8717fb8d5f30915999869e80782ae0fcf1c6698d et al.

You opened two separate bugs for this series, which was probably
not your intention.

You can avoid this by sending a ‘cover letter’ (which can be
whatever you want) to guix-patches@, waiting for the response, and
then doing something like ‘git send-email to=nnnn@debbugs.gnu.org
…’ to send the actual patches.

Thanks!

T G-R
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEfo+u0AlEeO9y5k0W2Imw8BjFSTwFAl3YW1kACgkQ2Imw8BjF
STxTGg/9H2lVehg5sQkAcdAz/uvSH4SYgCyKndEmKfviL26P+ABCQL/dHXd94OSG
+Hkzd2iSu4MEmYdDtpDhyNwpZsqFvvw0FMzruJWms2M0DzipoWWyloiN+aAKGYgT
Xr0Xityh3zP86D9jgyuUz3Piw+trx57vvyyZRnwRCAd1rPjZiV56IgNeiE9AmLXj
Od9GZfsvFksfirSjZ/J1KFKBlmVHfQR/cSu2elN60rxN80/f6CFn2j22nzWWoLMk
XuabLdgsXQ+TLhpno/a6aiZkjujyjhE7GG8lNYUziUR769QjAMBAVd9TNo0frkRx
bVsXROg1UCpPh7urTAy8A2uXlZEshHMU4Dt8QP0qnOdOGOoRIf+qMBaqayeqpchT
bK9HeeGbxTDFfImCRk0EyDVligNorWYVg5Nb9I3ZjUX3e92e/UdgakeOrrwekEI/
+JonYxL9lvRVcLGsFIPVcef6qsCMRlNnwWa8TYSzKJmgLtPfqwIdULkaBoQVLA1L
tfewmdfmhCe0+5drFMpIslyx5AqGYfHXBdGAHKFp6zMfCcMwE7Uj1CNoF+G1NIMV
+1kZEbPvSw2l4uwhTl3xpHeDl5Ue2SnrVSTBx3EX6K8fy7s9R+oXOUVJZ74WetF0
/WVghP/05d1Rqv+w6TikEktlmcc9i4wLwA6RpY8Z5gI6rJiToc0=
=HslR
-----END PGP SIGNATURE-----

Closed
brettg wrote 5 years ago
Re: [bug#38328] [bug#38329]
(name . Tobias Geerinckx-Rice)(address . me@tobias.gr)
6bae30bfa6bfa5ef26cdd24b965f8105@posteo.net
On 22.11.2019 23:04, Tobias Geerinckx-Rice wrote:
Toggle quote (20 lines)
> Brett,
>
> Brett Gilio 写道：
>> [PATCH 1/2] gnu: polyml: Update to 5.8.
>> [PATCH 2/2] gnu: polyml: Use HTTPS home page URI.
>
> Pushed as 8717fb8d5f30915999869e80782ae0fcf1c6698d et al.
>
> You opened two separate bugs for this series, which was probably not
> your intention.
>
> You can avoid this by sending a ‘cover letter’ (which can be whatever
> you want) to guix-patches@, waiting for the response, and then doing
> something like ‘git send-email to=nnnn@debbugs.gnu.org …’ to send the
> actual patches.
>
> Thanks!
>
> T G-R

Oh right! I always forget that convention.
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 38328@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 38328
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help