Show patches with: Submitter = Amin Bandali       |    Archived = No       |   9 patches
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