[PATCH] gnu: cedille: Update to 1.1.2.

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

Debbugs page

John Soo wrote 5 years ago
(address . guix-patches@gnu.org)
CAKf5CqXBh7bypz6-5VP59bKsGOCC+mCtg1h77uRgeCcoX4ZaBA@mail.gmail.com
Hi Guix,

There was a minor update to cedille.

Thanks,

John
From 0c77817a1d4a4ff6e587cf6ba83dee6ec02c43ba Mon Sep 17 00:00:00 2001
From: John Soo <jsoo1@asu.edu>
Date: Fri, 21 Feb 2020 21:57:29 -0800
Subject: [PATCH] gnu: cedille: Update to 1.1.2.

* gnu/packages/cedille.scm (cedille): Update it.
---
gnu/packages/cedille.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Toggle diff (24 lines)
diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm
index 80ed7e9759..d3a6850f9f 100644
--- a/gnu/packages/cedille.scm
+++ b/gnu/packages/cedille.scm
@@ -30,7 +30,7 @@
(define-public cedille
(package
(name "cedille")
- (version "1.1.1")
+ (version "1.1.2")
(source
(origin
(method git-fetch)
@@ -40,7 +40,7 @@
(file-name (git-file-name name version))
(sha256
(base32
- "07kv9wncyipfjf5w4ax8h2p35g70zb1qw6zc4afd7c225xia55wp"))))
+ "1h5s6ayh3s76z184jai3jidcs4cjk8s4nvkkv2am8dg4gfsybq22"))))
(inputs
`(("agda" ,agda)
("agda-ial" ,agda-ial)
--
2.25.1
Tobias Geerinckx-Rice wrote 5 years ago
(address . 39759-done@debbugs.gnu.org)
87ftf1tc0d.fsf@nckx
John Soo 写道：
Toggle quote (2 lines)
> There was a minor update to cedille.

Built & pushed as 1063dea4ff8a5106b51de8d6de7e23753403c81e with a
miniscule tweak to the commit message.

Thanks!

T G-R (but ‘Tobias’ is fine too :-)
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEfo+u0AlEeO9y5k0W2Imw8BjFSTwFAl5SvvIACgkQ2Imw8BjF
STzsKxAAhQs1kSxdjBQ2cU1jRUva7MC7D9lVVt4VxgPZJBeEF8CJDJfWr6Tjmcmq
UiOFG0s9xw8AG7DML0BwqntjQnISx9OdFpMJ9WGqqiQioETO6pHuYvvS/HjoBiFm
kL3QZaHOuKhtvAXK8YdXQT0JtEtuM+B/FmrECvW+yPTK64LbIbAdFp/Zt05Q5PiE
3PbVL2SVPRQ9P36VjlOE7hhuEy7C5dTm8Kf4LUGZLvicBvIbDDrcemQA/ELUfp/B
qPZMpnXjOQyvk6AlEkaF5ujKOfrAb/a9OlHV3GEaLa2PxUmm9n5kCbSoOWeivW6w
BSX1HCxKbYUElDQbKsu9cZUzfFdFR5hoeYkkR+DzHxXViWVrr41pyXi7GZvm7icv
/6V4KZBLK40aXYFue3wlcRWS38hG8cqODjtf159O/IdQ7m2lGAK6OAUaJyWm859K
sToSsmYd4L9IE8kTFOYHYrDGePpPWL0ackeS/yxNlCjX8yp3uckzUH+dgqtuCZCh
XuWY3e2VhadFZBRZcR70af+eaLQBvhj2Ip/c7guYl9SdSlj3UnRQGp3vssMEAm64
qkLLahuZEQuQjYBviOjJPK3Rp5jJFzj9dstJ+bwckDvLo5hmaY/ctMOEwzEoxGNC
e23Q5sfwgYO4hYUTkz4CAV4p8OxPxyleT0Z9pqnjPTN0SqAY5LY=
=fWtc
-----END PGP SIGNATURE-----

Closed
?
Your comment

This issue is archived.

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

To respond to this issue using the mumi CLI, first switch to it
mumi current 39759
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