Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Amin Bandali
| Archived =
No
| 9 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#38770] gnu: Add lean.
[bug#38770] gnu: Add lean.
- - -
-
-
-
2019-12-28
Amin Bandali
Accepted
[bug#38662] gnu: Add emacs-next.
[bug#38662] gnu: Add emacs-next.
- - -
-
-
-
2019-12-22
Amin Bandali
Accepted
[bug#38662] gnu: Add emacs-next.
[bug#38662] gnu: Add emacs-next.
- - -
-
-
-
2019-12-18
Amin Bandali
Accepted
[bug#36943] gnu: Add emacs-ebdb.
[bug#36943] gnu: Add emacs-ebdb.
- - -
-
-
-
2019-08-06
Amin Bandali
Accepted
[bug#34048] gnu: z3: Update to 4.8.4.
[bug#34048] gnu: z3: Update to 4.8.4.
- - -
-
-
1
2019-01-13
Amin Bandali
Accepted
[bug#34048] gnu: z3: Update to 4.8.4.
[bug#34048] gnu: z3: Update to 4.8.4.
- - -
-
-
1
2019-01-11
Amin Bandali
Accepted
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
- - -
-
-
1
2018-12-22
Amin Bandali
Accepted
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
- - -
-
-
1
2018-12-21
Amin Bandali
Accepted
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
[bug#33764] gnu: z3: Update to 4.8.3 and add python{, 2}-z3 bindings.
- - -
1
-
-
2018-12-16
Amin Bandali
Accepted