Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
pukkamustard
| State =
Action Required
| Archived =
No
| 133 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
«
1
2
»
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#66536,1/1] gnu: unison: Update to 2.53.3.
gnu: unison: Update to 2.53.3.
- - -
-
-
-
2023-10-14
pukkamustard
New
[bug#64249,v8,13/13] gnu: opam: Update to 2.1.5.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,12/13] gnu: ocaml-opam-file-format: Update to 2.1.6.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,11/13] gnu: opam: Split build into smaller sub-packages.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,10/13] gnu: dune-bootstrap: Update to 3.11.0.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,09/13] gnu: coq: Update to 8.17.1.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,08/13] gnu: Update coq-interval to 4.8.0.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,07/13] gnu: Update coq-stdpp to 1.8.0.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,06/13] gnu: Update coq-autosubst to 1.8.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,05/13] gnu: Update coq-mathcomp to 1.17.0.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,04/13] gnu: Update coq-coquelicot to 3.4.0.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,03/13] gnu: Update coq-gappa to 1.5.3.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,02/13] gnu: Update coq-flocq to 4.1.1.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
[bug#64249,v8,01/13] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-11-03
pukkamustard
New
[bug#64249,v7,12/12] gnu: opam: Update to 2.1.5.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,11/12] gnu: opam: Split build into smaller sub-packages.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,10/12] gnu: dune-bootstrap: Update to 3.11.0.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,09/12] gnu: coq: Update to 8.17.1.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,08/12] gnu: Update coq-interval to 4.8.0.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,07/12] gnu: Update coq-stdpp to 1.8.0.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,06/12] gnu: Update coq-autosubst to 1.8.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,05/12] gnu: Update coq-mathcomp to 1.17.0.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,04/12] gnu: Update coq-coquelicot to 3.4.0.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,03/12] gnu: Update coq-gappa to 1.5.3.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,02/12] gnu: Update coq-flocq to 4.1.1.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,v7,01/12] gnu: ocaml: Update to 4.14.1.
gnu: ocaml: Update to 4.14.1 - The one for CI
- - -
-
-
-
2023-10-24
pukkamustard
New
[bug#64249,ocaml-team,v6,12/12] gnu: opam: Update to 2.1.5.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,11/12] gnu: opam: Split build into smaller sub-packages.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,10/12] gnu: dune-bootstrap: Update to 3.10.0.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,09/12] gnu: coq: Update to 8.17.1.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,08/12] gnu: Update coq-interval to 4.8.0.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,07/12] gnu: Update coq-stdpp to 1.8.0.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,06/12] gnu: Update coq-autosubst to 1.8.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,05/12] gnu: Update coq-mathcomp to 1.17.0.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,04/12] gnu: Update coq-coquelicot to 3.4.0.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,03/12] gnu: Update coq-gappa to 1.5.3.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,02/12] gnu: Update coq-flocq to 4.1.1.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v6,01/12] gnu: ocaml: Update to 4.14.1.
The one where OPAM finally works
- - -
-
-
-
2023-09-12
pukkamustard
New
[bug#64249,ocaml-team,v5,12/12] FIXME: gnu: opam: Update to 2.1.5.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,11/12] gnu: opam: Split build into smaller sub-packages.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,10/12] gnu: dune-bootstrap: Update to 3.10.0.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,09/12] gnu: coq: Update to 8.17.1.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,08/12] gnu: Update coq-interval to 4.8.0.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,07/12] gnu: Update coq-stdpp to 1.8.0.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,06/12] gnu: Update coq-autosubst to 1.8.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,05/12] gnu: Update coq-mathcomp to 1.17.0.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,04/12] gnu: Update coq-coquelicot to 3.4.0.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,03/12] gnu: Update coq-gappa to 1.5.3.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,02/12] gnu: Update coq-flocq to 4.1.1.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
[bug#64249,ocaml-team,v5,01/12] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-08-06
pukkamustard
New
[bug#64249,ocaml-team,v4,9/9] FIXME: gnu: opam: Update to 2.1.5.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,8/9] gnu: Add opam-installer.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,7/9] gnu: opam: Split build into smaller sub-packages.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,6/9] gnu: dune-bootstrap: Update to 3.9.1.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,5/9] gnu: coq: Update to 8.17.1.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,4/9] gnu: Update coq-mathcomp to 1.17.0.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,3/9] gnu: Update coq-gappa to 1.5.3.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,2/9] gnu: Update coq-flocq to 4.1.1.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v4,1/9] gnu: ocaml: Update to 4.14.1.
Untitled series #18573
- - -
-
-
-
2023-07-28
pukkamustard
New
[bug#64249,ocaml-team,v3,6/6] FIXME: gnu: opam: Update to 2.1.5.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[bug#64249,ocaml-team,v3,5/6] gnu: Add opam-installer.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[bug#64249,ocaml-team,v3,4/6] gnu: opam: Split build into smaller sub-packages.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[bug#64249,ocaml-team,v3,3/6] gnu: dune-bootstrap: Update to 3.9.1.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[bug#64249,ocaml-team,v3,2/6] gnu: coq: Update to 8.17.1.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[bug#64249,ocaml-team,v3,1/6] gnu: ocaml: Update to 4.14.1.
Update and break opam (but nothing else)
- - -
-
-
-
2023-07-18
pukkamustard
New
[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
[bug#64249,ocaml-team,2/2] gnu: dune-bootstrap: Update to 3.8.2.
[bug#64249,ocaml-team,1/2] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-06-23
pukkamustard
New
[bug#64249,ocaml-team,1/2] gnu: ocaml: Update to 4.14.1.
[bug#64249,ocaml-team,1/2] gnu: ocaml: Update to 4.14.1.
- - -
-
-
-
2023-06-23
pukkamustard
New
[bug#61729,2/2] gnu: Update ocaml-eio to 0.8.1.
gnu: Update ocaml-eio to 0.8.1.
- - -
-
-
-
2023-02-23
pukkamustard
New
[bug#61729,1/2] gnu: Update ocaml-uring to 0.5.
gnu: Update ocaml-eio to 0.8.1.
- - -
-
-
-
2023-02-23
pukkamustard
New
[bug#60120,28/28] gnu: Add ocaml5.0-merlin.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,27/28] gnu: Add ocaml5.0-dot-merlin-reader.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,26/28] gnu: Add ocaml5.0-merlin-lib.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,25/28] gnu: Update ocaml-merlin-lib to 4.7-414.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,24/28] gnu: Add ocaml5.0-eio-main.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,23/28] gnu: Add ocaml5.0-eio-linux.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,22/28] gnu: Add ocaml-uring.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,21/28] gnu: Add ocaml5.0-eio-luv.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,20/28] gnu: Add ocaml5.0-eio.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,19/28] gnu: ocaml-mdx: Move inputs to propagated-inputs.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,18/28] gnu: Add ocaml-bechamel.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,17/28] gnu: Add ocaml5.0-ctypes
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,16/28] gnu: Add ocaml-lwt-dllist.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,15/28] gnu: Add ocaml5.0-crowbar.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,14/28] gnu: Update ocaml-odoc to 2.2.0.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,13/28] gnu: Add ocaml5.0-ppx-expect.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,12/28] gnu: Update ocaml-qcheck to 0.20.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,11/28] gnu: Update ocaml-ppxlib to 0.25.1.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,10/28] gnu: Add ocaml5.0-base.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,09/28] gnu: Add ocaml-hmap.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,08/28] gnu: Add ocaml-optint.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,07/28] gnu: Add ocaml-monolith.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,06/28] gnu: Add ocaml-psq.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
[bug#60120,05/28] gnu: opam: Use OCaml 4.14 compiled version when building OCaml 5.0 packages.
gnu: Add ocaml-5.0.
- - -
-
-
-
2022-12-16
pukkamustard
New
«
1
2
»