Show patches with: Series = [bug#33866,1/2] gnu: Add emacs-dedukti-mode.       |    Archived = No       |   2 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#33866,2/2] gnu: Add emacs-flycheck-dedukti. [bug#33866,1/2] gnu: Add emacs-dedukti-mode. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33866,1/2] gnu: Add emacs-dedukti-mode. [bug#33866,1/2] gnu: Add emacs-dedukti-mode. - - - --1 2018-12-25 Gabriel Hondet Accepted