Show patches with: Submitter = Dan Frumin       |    Archived = No       |   15 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#36824] gnu: Add oshu. [bug#36824] gnu: Add oshu. - - - --- 2019-07-29 Dan Frumin Accepted
[bug#36824] gnu: Add oshu. [bug#36824] gnu: Add oshu. - - - --- 2019-07-28 Dan Frumin Accepted
[bug#36824] gnu: Add oshu. [bug#36824] gnu: Add oshu. - - - --- 2019-07-27 Dan Frumin Accepted
[bug#36138] gnu: Add crispy-doom. [bug#36138] gnu: Add crispy-doom. - - - 1-- 2019-06-08 Dan Frumin Accepted
[bug#36021] search-paths: 'environment-variable-definition'output for fish [bug#36021] search-paths: 'environment-variable-definition'output for fish - - - 1-- 2019-05-31 Dan Frumin Accepted
[bug#35870] gnu: coq-equations: Update to 1.2. [bug#35870] gnu: coq-equations: Update to 1.2. - - - --1 2019-05-23 Dan Frumin Accepted
[bug#35855] gnu: Add coq-stdpp. [bug#35855] gnu: Add coq-stdpp. - - - --1 2019-05-22 Dan Frumin Accepted
[bug#34868] gnu: coq-flocq: remove unnecessary return values [bug#34868] gnu: coq-flocq: remove unnecessary return values - - - 1-- 2019-03-15 Dan Frumin Accepted
[bug#34747] gnu: coq-coquelicot: Update to 3.0.2. [bug#34747] gnu: coq-coquelicot: Update to 3.0.2. - - - 1-- 2019-03-04 Dan Frumin Accepted
[bug#34701] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 [bug#34701] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0 - - - 1-- 2019-03-01 Dan Frumin Accepted
[bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. [bug#34466] Fwd: Re: [bug#34466] [PATCH] gnu: Add coq-equations. - - - --1 2019-02-13 Dan Frumin Accepted
[bug#34466] gnu: Add coq-equations. [bug#34466] gnu: Add coq-equations. - - - --1 2019-02-13 Dan Frumin Accepted
[bug#34466] gnu: Add coq-equations. [bug#34466] gnu: Add coq-equations. - - - --1 2019-02-13 Dan Frumin Accepted
[bug#34299] gnu: Add coq-autosubst [bug#34299] gnu: Add coq-autosubst - - - --1 2019-02-07 Dan Frumin Accepted
[bug#34299] gnu: Add coq-autosubst [bug#34299] gnu: Add coq-autosubst - - - 1-- 2019-02-03 Dan Frumin Accepted