Emilio Jesús Gallego Arias

> Is Ctrl-C still treated with exceptions arising out of signal handlers? I am not sure I know what this means tho.

Hi @gadmm , sorry I have not been clear with what is going on here, I guess the info is scattered among several repos, let me try answer. > And...

Hi @jmid , thanks for the analysis. I would believe this solution would have worked on case 1 too as in this case `libgmp-dev:i386` is an alias for `libgmp-dev`, but...

I see, so indeed it is depexts who doesn't understand the `:i386` prefix, `apt` should. I wonder if it is worth patching depext to understand this? Maybe @kit-ty-kate has some...

Thanks folks, indeed it seems reasonable to follow up at the opam repos, cheers.

Windows failure is real, I'll leave the PR open until we can have a look at it, should be some silly thing to fix :crossed_fingers: :crossed_fingers:

I'm not sure what the status of https://github.com/coq/coq/issues/10363 is, but last time I looked the proof engine API for multiple statements was in need of serious work. But this may...

Back in the day I meant that we duplicated side effects on each entry, this seems un/under-specified.

Hi @gasche, this is amazing. Looking at it has been on my TODO list for a while. I'd love to help move it forward if there's any way I can...

cc #9146