Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
[bug#51896,v2,1/5] gnu: Add coq-semantics.
| Archived =
No
| 5 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Work in progress
Search
Archived
No
Yes
Both
Delegate
------
Nobody
cbaines
levenson
dftxbs3e
futurile
Apply
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#51896,v2,5/5] gnu: coq-stdpp: Adjust '#:make-flags'.
[bug#51896,v2,1/5] gnu: Add coq-semantics.
- - -
4
-
-
2021-11-16
Simon Tournier
Accepted
[bug#51896,v2,4/5] gnu: coq-equations: Adjust '#:make-flags'.
[bug#51896,v2,1/5] gnu: Add coq-semantics.
- - -
4
-
-
2021-11-16
Simon Tournier
Accepted
[bug#51896,v2,3/5] gnu: coq-autosubst: Adjust '#:make-flags'.
[bug#51896,v2,1/5] gnu: Add coq-semantics.
- - -
4
-
-
2021-11-16
Simon Tournier
Accepted
[bug#51896,v2,2/5] gnu: coq-mathcomp: Adjust '#:make-flags'.
[bug#51896,v2,1/5] gnu: Add coq-semantics.
- - -
4
-
-
2021-11-16
Simon Tournier
Accepted
[bug#51896,v2,1/5] gnu: Add coq-semantics.
[bug#51896,v2,1/5] gnu: Add coq-semantics.
- - -
4
-
-
2021-11-16
Simon Tournier
Accepted