|
| From: | Antero Mejr |
| Subject: | [bug#73236] [PATCH 0/2] gnu: Add coq-actris. |
| Date: | Fri, 13 Sep 2024 20:48:33 +0000 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
This patchset adds the Coq verification library Actris, and its dependency coq-iris.
| [Prev in Thread] | Current Thread | [Next in Thread] |