[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
09/27: gnu: camlp5: Update to 7.11.
|
From: |
guix-commits |
|
Subject: |
09/27: gnu: camlp5: Update to 7.11. |
|
Date: |
Sun, 16 Feb 2020 16:59:25 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit 338ae8eb366003c6e66ef1bfec0bbed498a386d0
Author: Tobias Geerinckx-Rice <address@hidden>
AuthorDate: Sun Feb 16 16:41:45 2020 +0100
gnu: camlp5: Update to 7.11.
* gnu/packages/ocaml.scm (camlp5): Update to 7.11.
---
gnu/packages/ocaml.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 32b0335..3adc872 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8,7 +8,7 @@
;;; Copyright © 2016, 2018, 2019, 2020 Efraim Flashner <address@hidden>
;;; Copyright © 2016-2020 Julien Lepiller <address@hidden>
;;; Copyright © 2017 Ben Woodcroft <address@hidden>
-;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice <address@hidden>
+;;; Copyright © 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <address@hidden>
;;; Copyright © 2018 Peter Kreye <address@hidden>
;;; Copyright © 2018, 2019 Gabriel Hondet <address@hidden>
;;; Copyright © 2018 Kei Kebreau <address@hidden>
@@ -528,7 +528,7 @@ Git-friendly development workflow.")
(define-public camlp5
(package
(name "camlp5")
- (version "7.10")
+ (version "7.11")
(source
(origin
(method git-fetch)
@@ -537,7 +537,7 @@ Git-friendly development workflow.")
(commit (string-append "rel" (string-delete #\. version)))))
(file-name (git-file-name name version))
(sha256
- (base32 "1a1lgsc8350afdwmsznsys7m0c0cks4nw6irqz2f92g8g4vkk9b7"))))
+ (base32 "1s1f9i0r0czxlbnsaz4kvs2ahknmqxcm5ypl75g7scjcbl0an2x4"))))
(build-system gnu-build-system)
(inputs
`(("ocaml" ,ocaml)))
- branch master updated (f468df9 -> d39885a), guix-commits, 2020/02/16
- 03/27: gnu: Remove blender@2.79b., guix-commits, 2020/02/16
- 01/27: gnu: Add rtl8812au-aircrack-ng-linux-module., guix-commits, 2020/02/16
- 06/27: gnu: boinc-client: Trim synopsis., guix-commits, 2020/02/16
- 02/27: gnu: blender: Update to 2.82., guix-commits, 2020/02/16
- 05/27: gnu: boinc-client: Update to 7.16.4., guix-commits, 2020/02/16
- 07/27: gnu: ddclient: Update to 3.9.1., guix-commits, 2020/02/16
- 09/27: gnu: camlp5: Update to 7.11.,
guix-commits <=
- 08/27: gnu: ddclient: Update home page., guix-commits, 2020/02/16
- 04/27: gnu: noise-repellent: Update to 0.1.5., guix-commits, 2020/02/16
- 11/27: gnu: lttoolbox: Remove redundant FILE-NAME., guix-commits, 2020/02/16
- 13/27: gnu: sbsigntools: Update to 0.9.3., guix-commits, 2020/02/16
- 14/27: gnu: fasm: Update to 1.73.22., guix-commits, 2020/02/16
- 15/27: gnu: fio: Update to 3.18., guix-commits, 2020/02/16
- 20/27: gnu: libmicrohttpd: Update to 0.9.70., guix-commits, 2020/02/16
- 18/27: gnu: openscenegraph: Fix typo in description., guix-commits, 2020/02/16
- 12/27: gnu: libasr: Update to 1.0.4., guix-commits, 2020/02/16
- 10/27: gnu: lttoolbox: Update to 3.5.1., guix-commits, 2020/02/16