[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#42456] [PATCH] gnu: Rename python-hy to hy.
From: |
Jesse Gibbons |
Subject: |
[bug#42456] [PATCH] gnu: Rename python-hy to hy. |
Date: |
Tue, 21 Jul 2020 00:09:50 -0600 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Icedove/68.10.0 |
* gnu/packages/python-xyz.scm: (python-hy): Rename to hy.
---
gnu/packages/python-xyz.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/python-xyz.scm b/gnu/packages/python-xyz.scm
index 748f48f229..e1b16f9c23 100644
--- a/gnu/packages/python-xyz.scm
+++ b/gnu/packages/python-xyz.scm
@@ -9961,9 +9961,9 @@ with a new public API, and RPython support.")
(define-public python2-rply
(package-with-python2 python-rply))
-(define-public python-hy
+(define-public hy
(package
- (name "python-hy")
+ (name "hy")
(version "0.18.0")
(source (origin
(method url-fetch)
- [bug#42456] [PATCH] gnu: Rename python-hy to hy.,
Jesse Gibbons <=
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., Jesse Gibbons, 2020/07/21
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., Brett Gilio, 2020/07/24
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., Jesse Gibbons, 2020/07/25
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., zimoun, 2020/07/27
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., Jesse Gibbons, 2020/07/27
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., zimoun, 2020/07/27
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., Jesse Gibbons, 2020/07/28
- [bug#42456] [PATCH] gnu: Rename python-hy to hy., zimoun, 2020/07/28