aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm19
1 files changed, 10 insertions, 9 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 0fef79574c..493542d48a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1870,15 +1870,16 @@ locks or other synchronization primitives.")
(define-public ocaml-lwt-log
(package
(name "ocaml-lwt-log")
- (version "1.1.0")
- (source
- (origin
- (method url-fetch)
- (uri (string-append "https://github.com/aantron/lwt_log/archive/" version
- ".tar.gz"))
- (file-name (string-append name "-" version ".tar.gz"))
- (sha256 (base32
- "1lr62j2266pbsi54xmzsfvl2z7fi7smhak7fp1ybl8hssxwi6in2"))))
+ (version "1.1.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/aantron/lwt_log")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1n12i1rmn9cjn6p8yr6qn5dwbrwvym7ckr7bla04a1xnq8qlcyj7"))))
(build-system dune-build-system)
(arguments
`(#:tests? #f; require lwt_ppx
td>gnu: linux-libre: Add version 5.3.1....Tobias Geerinckx-Rice 2019-09-18gnu: linux-libre: Enable all nftables families....宋文武 2019-09-04gnu: linux-libre: Enable built-in ext4 support....Mathieu Othacehe 2019-07-14gnu: linux-libre: Update to 5.2....Mark H Weaver 2019-05-10gnu: linux-libre: Update to 5.1....Mark H Weaver 2019-04-03gnu: Add linux-libre-arm-veyron....Vagrant Cascadian 2019-03-06gnu: linux-libre: Update to 5.0....Mark H Weaver 2019-01-23gnu: linux-libre: Make CRYPTO_CRC32C a built-in on arm64....Mark H Weaver 2019-01-09gnu: linux-libre: Enable pressure stall information....Mark H Weaver 2019-01-01gnu: linux-libre: Update to 4.20, while retaining 4.19 LTS....Mark H Weaver 2018-10-28gnu: linux-libre: Enable BOCHS DRM support....Mathieu Othacehe 2018-10-23gnu: linux-libre: Update to 4.19....Mark H Weaver 2018-10-19gnu: linux-libre: Enable SHPC PCI Hotplug driver on ARM64....Mark H Weaver 2018-09-25gnu: linux-libre: Enable SHPC PCI Hotplug driver, now built-in only....Mark H Weaver 2018-08-18gnu: linux-libre: Update to 4.18.1....Mark H Weaver 2018-07-04gnu: Remove linux-libre@4.1....Mark H Weaver