Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Dan Frumin
| Archived =
No
| 15 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#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