[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70567] [PATCH 0/7] frama-c: Update to 28.1.
|
From: |
Arnaud Daby-Seesaram |
|
Subject: |
[bug#70567] [PATCH 0/7] frama-c: Update to 28.1. |
|
Date: |
Thu, 25 Apr 2024 17:23:06 +0200 |
|
User-agent: |
mu4e 1.12.4; emacs 29.3 |
> This is due to a problem with OCaml packages and search paths.
>
> See <https://issues.guix.gnu.org/69996>.
Thx for the link, I did not see Julien's answer on this issue.
I confirm than the issue disappears when I add ocaml :).
> Shouldn't be an issue per se as Guix checks the hash of the
> downloaded files to match
Agreed (+ there is a redirection http -> https in place).
> but for privacy reasons should be on https IMO.
Best,
--
Arnaud
signature.asc
Description: PGP signature
- [bug#70567] [PATCH 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs., (continued)
- [bug#70567] [PATCH 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 3/7] gnu: why3: Update to 1.7.2., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 5/7] gnu: why3: Enable extra features., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 6/7] gnu: Add ocaml-unionfind., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 2/7] gnu: coq-flocq: Update to 4.1.4., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 7/7] gnu: frama-c: Update to 28.1., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 4/7] gnu: why3: Use new style., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH 0/7] frama-c: Update to 28.1., Julien Lepiller, 2024/04/25
- [bug#70567] [PATCH 0/7] frama-c: Update to 28.1., Arnaud Daby-Seesaram, 2024/04/25
[bug#70567] [PATCH v2 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs., Jean-Pierre De Jesus DIAZ, 2024/04/25