GNU bug report logs - #68024
[PATCH] Remove ocaml4.07 packages

Previous Next

Package: guix-patches;

Reported by: Julien Lepiller <julien <at> lepiller.eu>

Date: Mon, 25 Dec 2023 11:20:02 UTC

Severity: normal

Tags: patch

Done: Julien Lepiller <julien <at> lepiller.eu>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 68024 in the body.
You can then email your comments to 68024 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#68024; Package guix-patches. (Mon, 25 Dec 2023 11:20:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Julien Lepiller <julien <at> lepiller.eu>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Mon, 25 Dec 2023 11:20:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: [PATCH] Remove ocaml4.07 packages
Date: Mon, 25 Dec 2023 12:18:21 +0100
[Message part 1 (text/plain, inline)]
Hi Guix!

I created a long patch series (67 patches) to remove ocaml 4.07
packages. The series keeps ocaml <at> 4.07 itself, as well as findlib and
dune, so we can always build ocaml4.07 packages later if we want to (we
might need to build at least menhir, that will be required to build
ocaml>4.07)

I don't think it requires QA, since we're only removing packages.
Patches look like the attached patch. If you agree with this in
principle, I'll push the series this week.

I checked that each intermediate commit builds (no unbound variable),
used guix refresh to discover a proper order (removing leaf packages).
If you prefer, I can send the whole series.
[0033-gnu-Remove-ocaml4.07-ppx-hash.patch (text/x-patch, attachment)]

Information forwarded to guix-patches <at> gnu.org:
bug#68024; Package guix-patches. (Mon, 25 Dec 2023 19:05:01 GMT) Full text and rfc822 format available.

Message #8 received at 68024 <at> debbugs.gnu.org (full text, mbox):

From: pukkamustard <pukkamustard <at> posteo.net>
To: Julien Lepiller <julien <at> lepiller.eu>
Cc: 68024 <at> debbugs.gnu.org
Subject: Re: [bug#68024] [PATCH] Remove ocaml4.07 packages
Date: Mon, 25 Dec 2023 18:58:51 +0000
Hi!

Julien Lepiller <julien <at> lepiller.eu> writes:

> Hi Guix!
>
> I created a long patch series (67 patches) to remove ocaml 4.07
> packages. The series keeps ocaml <at> 4.07 itself, as well as findlib and
> dune, so we can always build ocaml4.07 packages later if we want to (we
> might need to build at least menhir, that will be required to build
> ocaml>4.07)

+1

If you think it makes sense, you could also move the ocaml <at> 4.07 to a new
ocaml-boot.scm. But this can also be done later when/if we split up
OCaml packages.

> I don't think it requires QA, since we're only removing packages.
> Patches look like the attached patch. If you agree with this in
> principle, I'll push the series this week.

I agree with the principle.

> I checked that each intermediate commit builds (no unbound variable),
> used guix refresh to discover a proper order (removing leaf packages).
> If you prefer, I can send the whole series.

Excellent. I trust your dilligence.

Thanks!




Reply sent to Julien Lepiller <julien <at> lepiller.eu>:
You have taken responsibility. (Sat, 30 Dec 2023 21:22:02 GMT) Full text and rfc822 format available.

Notification sent to Julien Lepiller <julien <at> lepiller.eu>:
bug acknowledged by developer. (Sat, 30 Dec 2023 21:22:02 GMT) Full text and rfc822 format available.

Message #13 received at 68024-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: pukkamustard <pukkamustard <at> posteo.net>
Cc: 68024-done <at> debbugs.gnu.org
Subject: Re: [bug#68024] [PATCH] Remove ocaml4.07 packages
Date: Sat, 30 Dec 2023 22:20:22 +0100
Pushed to master as b8d1492647898d15f3367c868e3fc70524d8920d to
b8aea26c4f45dfb34deefe980c6d6002d6aa12f3. Thanks!




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 28 Jan 2024 12:24:06 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 199 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.