Subject: [bug#73236] [PATCH 0/2] gnu: Add coq-actris.

From: Antero Mejr <[email-masked]>
Date: Fri, 13 Sep 2024 20:48:33 +0000

This patchset adds the Coq verification library Actris, and its
dependency coq-iris.