Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
[bug#38965,01/12] gnu: Add ocaml-cairo2.
| Archived =
No
| 12 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#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