Show patches with: Series = [bug#38965,01/12] gnu: Add ocaml-cairo2.       |    Archived = No       |   12 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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