Closed djinnome closed 3 years ago
From here everything looks fine here:
> opam info logs | grep url
url.src: "https://erratique.ch/software/logs/releases/logs-0.7.0.tbz"
url.checksum: "md5=2bf021ca13331775e33cf34ab60246f7"
> curl --head https://erratique.ch/software/logs/releases/logs-0.7.0.tbz
HTTP/1.1 200 OK
Server: nginx/1.14.2
Date: Tue, 16 Feb 2021 20:52:25 GMT
Content-Type: application/x-bzip2
Content-Length: 18458
Last-Modified: Thu, 11 Feb 2021 21:07:44 GMT
Connection: keep-alive
ETag: "60259ca0-481a"
Accept-Ranges: bytes
Maybe you have a problem in your part of the internet. Try maybe to invoke opam with a bit more logging.
Hi folks,
I can't seem to install logs.
I have pinned KaSim to 4.0.0. Is that the cause of the problem?