Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Series =
Attempt to update ocaml, coq, dune and opam.
| State =
Action Required
| Archived =
No
| 7 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#64249,ocaml-team,v2,7/7] WIP: gnu: opam: Update to 2.1.5.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,6/7] gnu: ocaml-dose3: Update to 7.0.0.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,5/7] gnu: ocaml-base64: Update to 3.5.1.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,4/7] gnu: ocaml-graph: Update to 2.0.0.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,3/7] gnu: dune-bootstrap: Update to 3.9.1.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,2/7] gnu: coq: Update to 8.17.1.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New
[bug#64249,ocaml-team,v2,1/7] gnu: ocaml: Update to 4.14.1.
Attempt to update ocaml, coq, dune and opam.
- - -
-
-
-
2023-07-15
pukkamustard
New