all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: "jgart" via Bug reports for GNU Guix <bug-guix@gnu.org>
To: 69996@debbugs.gnu.org, "Julien Lepiller" <julien@lepiller.eu>,
	"pukkamustard" <pukkamustard@posteo.net>
Subject: bug#69996: Broken OCaml packages (e.g. frama-c and binsec)
Date: Mon, 24 Jun 2024 20:15:54 +0000	[thread overview]
Message-ID: <11d40e6e7f9b57e2935d4cd89dcb770d52febaae@dismail.de> (raw)
In-Reply-To: <86zfummwfs.fsf@posteo.net>

Hi all,

frama-c is now fixed in https://issues.guix.gnu.org/71748

all best,

jgart

https://whereis.みんな/




      parent reply	other threads:[~2024-06-24 20:17 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-03-25 10:29 bug#69996: Broken OCaml packages (e.g. frama-c and binsec) pukkamustard
2024-04-02 14:01 ` Julien Lepiller
2024-06-24 20:15 ` jgart via Bug reports for GNU Guix [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=11d40e6e7f9b57e2935d4cd89dcb770d52febaae@dismail.de \
    --to=bug-guix@gnu.org \
    --cc=69996@debbugs.gnu.org \
    --cc=jgart@dismail.de \
    --cc=julien@lepiller.eu \
    --cc=pukkamustard@posteo.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.