Show patches with: Series = [bug#51896,v2,1/5] gnu: Add coq-semantics.       |   5 patches
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