Show patches with: Submitter = Brett Gilio       |    Archived = No       |   24 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#44896] Help with Bear [bug#44896] Help with Bear - - - 4-1 2020-11-26 Brett Gilio Work in progress
[bug#38606,WIP,v2,1/1] gnu: Add smlnj. [bug#38606,WIP,v2,1/1] gnu: Add smlnj. - - - --1 2020-01-16 Brett Gilio Work in progress
[bug#38606,WIP,v2,0/1] Add SMLNJ - - - --- 2020-01-16 Brett Gilio Not Applicable
[bug#38603,WIP,v2,1/1] gnu: Add mercury. [bug#38603,WIP,v2,1/1] gnu: Add mercury. - - - --1 2020-01-06 Brett Gilio Work in progress
[bug#38603,WIP,v2,0/1] Add mercury. - - - --- 2020-01-06 Brett Gilio Not Applicable
[bug#38965,12/12] gnu: coq-equations: Update to 1.2.1. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,11/12] gnu: coq-interval: Update to 3.4.1. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,10/12] gnu: coq-coquelicot: Truncate home-page. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,09/12] gnu: coq-coquelicot: Update to 3.0.3. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,08/12] gnu: coq-gappa: Use HTTPS home page URI. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,07/12] gnu: coq-gappa: Update to 1.4.2. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,06/12] gnu: coq-flocq: Use HTTPS home page URI. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,05/12] gnu: coq-flocq: Update to 3.2.0. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,04/12] gnu: coq: Reword several comments. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,03/12] gnu: coq: Update to 8.10.2. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,02/12] gnu: Add ocaml-lablgtk3. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38965,01/12] gnu: Add ocaml-cairo2. [bug#38965,01/12] gnu: Add ocaml-cairo2. - - - --1 2020-01-06 Brett Gilio Accepted
[bug#38965,00/12] gnu: coq: Update to 8.10.2. - - - --- 2020-01-06 Brett Gilio Accepted
[bug#38861,WIP,1/1] gnu: Add ocaml-4.09. [bug#38861,WIP,1/1] gnu: Add ocaml-4.09. - - - --1 2020-01-02 Brett Gilio Accepted
[bug#38861,WIP,0/1] Add ocaml-4.09. - - - --- 2020-01-02 Brett Gilio Accepted
[bug#38784,WIP,1/1] gnu: Add emacs-company-coq. [bug#38784,WIP,1/1] gnu: Add emacs-company-coq. - - - --1 2019-12-28 Brett Gilio Work in progress
[bug#38784,WIP,0/1] Add emacs-company-coq. - - - --- 2019-12-28 Brett Gilio Superseded
[bug#38738,WIP,v2] etc: Add "tarball" snippet [bug#38738,WIP,v2] etc: Add "tarball" snippet - - - --- 2019-12-25 Brett Gilio Accepted
[bug#38738,WIP] etc: Add "tarball" snippet. [bug#38738,WIP] etc: Add "tarball" snippet. - - - --- 2019-12-25 Brett Gilio Superseded