Show patches with: Submitter = pukkamustard       |    State = Action Required       |    Archived = No       |   149 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#52555,v4,7/7] gnu: Add kapla. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,6/7] substitute: Decode substitutes using ERIS. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,5/7] eris: Connect with an ERIS Store over CoAP+Unix. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,4/7] publish: Add ERIS URN to narinfo. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,3/7] gnu: guile-eris: Update to 1.2.0-dev. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,2/7] gnu: Add guile-coap. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 pukkamustard New
[bug#52555,v4,1/7] narinfo: Add ERIS field. Decentralized substitute distribution with ERIS - - - --- 2023-12-28 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#66536,1/1] gnu: unison: Update to 2.53.3. gnu: unison: Update to 2.53.3. - - - --- 2023-10-14 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 #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,8/9] gnu: Add opam-installer. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,7/9] gnu: opam: Split build into smaller sub-packages. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,6/9] gnu: dune-bootstrap: Update to 3.9.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,5/9] gnu: coq: Update to 8.17.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,4/9] gnu: Update coq-mathcomp to 1.17.0. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,3/9] gnu: Update coq-gappa to 1.5.3. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,2/9] gnu: Update coq-flocq to 4.1.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,1/9] gnu: ocaml: Update to 4.14.1. Untitled series #7419 - - - --- 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#59487,v3,6/6] gnu: ocaml-ppx-expect: Disable tests. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#59487,v3,5/6] guix: dune-build-system: Remove usage of test-target argument. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#59487,v3,4/6] guix: dune-build-system: Run all tests. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#59487,v3,3/6] gnu: ocaml-cohttp: Run tests. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#59487,v3,2/6] gnu: ocaml-ppxlib: Clean up inputs. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#59487,v3,1/6] gnu: Add ocaml-cinaps. guix: dune-build-system: Run all tests. - - - --- 2023-01-13 pukkamustard New
[bug#52555,v3,8/8] eris: Use IPFS to get ERIS blocks. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,7/8] eris: Use parameterized %eris-peers when getting blocks. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,6/8] WIP: eris: Use HTTP to get ERIS blocks. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,5/8] eris/http: Add HTTP block de-referencer. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,4/8] WIP: substitute: Fetch substitutes using ERIS. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,3/8] publish: Add HTTP endpoint for resolving ERIS blocks. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,2/8] publish: Store ERIS encoded blocks to a local block store. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 pukkamustard New
[bug#52555,v3,1/8] publish: Add ERIS URN to narinfo. Decentralized substitute distribution with ERIS - - - --- 2022-12-29 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
« 1 2 »