Show patches with: Submitter = pukkamustard       |    State = Action Required       |    Archived = No       |   133 patches
« 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 »