bug#51896: [PATCH] gnu: Add coq-semantics.

guix-patches

From:	Julien Lepiller
Subject:	bug#51896: [PATCH] gnu: Add coq-semantics.
Date:	Thu, 18 Nov 2021 04:35:25 +0100

Pushed v2 to master as 2d60af4d6d486591c5a6981659d1771b7c69781a to
7537ec816ffe0aaa6677c53604ac12fe9d9ca250. Thanks!

Current Thread

[Next in Thread]

[bug#51896] [PATCH] gnu: Add coq-semantics., zimoun, 2021/11/16
- [bug#51896] [PATCH] gnu: Add coq-semantics., Julien Lepiller, 2021/11/16
  - [bug#51896] [PATCH] gnu: Add coq-semantics., zimoun, 2021/11/16
    - [bug#51896] [PATCH] gnu: Add coq-semantics., Julien Lepiller, 2021/11/16
    - bug#51896: [PATCH] gnu: Add coq-semantics., Julien Lepiller <=
- [bug#51896] [PATCH v2 1/5] gnu: Add coq-semantics., zimoun, 2021/11/16
  - [bug#51896] [PATCH v2 3/5] gnu: coq-autosubst: Adjust '#:make-flags'., zimoun, 2021/11/16
  - [bug#51896] [PATCH v2 2/5] gnu: coq-mathcomp: Adjust '#:make-flags'., zimoun, 2021/11/16
  - [bug#51896] [PATCH v2 4/5] gnu: coq-equations: Adjust '#:make-flags'., zimoun, 2021/11/16
  - [bug#51896] [PATCH v2 5/5] gnu: coq-stdpp: Adjust '#:make-flags'., zimoun, 2021/11/16