Show patches with: Submitter = Jean-Pierre De Jesus Diaz       |    State = Action Required       |    Archived = No       |   223 patches
« 1 2 3 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#73298,2/2] gnu: coq-mathcomp-bigenough: Use native-inputs. gnu: coq-mathcomp-bigenough: Use native-inputs. - - - --- 2024-09-16 Jean-Pierre De Jesus Diaz New
[bug#73298,1/2] gnu: coq-mathcomp-bigenough: Use new style. gnu: coq-mathcomp-bigenough: Use native-inputs. - - - --- 2024-09-16 Jean-Pierre De Jesus Diaz New
[bug#72998] gnu: ocaml-cairo2: Fix compilation. [bug#72998] gnu: ocaml-cairo2: Fix compilation. - - - --- 2024-09-03 Jean-Pierre De Jesus Diaz New
[bug#72730,2/2] gnu: coq: Update to 8.18.0. coq: Update to 8.18.0. - - - --- 2024-08-20 Jean-Pierre De Jesus Diaz New
[bug#72730,1/2] gnu: coq: Propagate ocaml-zarith. coq: Update to 8.18.0. - - - --- 2024-08-20 Jean-Pierre De Jesus Diaz New
[bug#71937,2/2] gnu: distrobox: Patch distrobox-generate-entry. gnu: distrobox: Update to 1.7.2.1. - - - --- 2024-07-04 Jean-Pierre De Jesus Diaz New
[bug#71937,1/2] gnu: distrobox: Update to 1.7.2.1. gnu: distrobox: Update to 1.7.2.1. - - - --- 2024-07-04 Jean-Pierre De Jesus Diaz New
[bug#71923,4/4] gnu: podman: Update to 5.1.1. gnu: gvisor-tap-vsock, buildah, podman build fix. - - - --- 2024-07-03 Jean-Pierre De Jesus Diaz New
[bug#71923,3/4] gnu: buildah: Fix build. gnu: gvisor-tap-vsock, buildah, podman build fix. - - - --- 2024-07-03 Jean-Pierre De Jesus Diaz New
[bug#71923,2/4] gnu: podman: Fix build. gnu: gvisor-tap-vsock, buildah, podman build fix. - - - --- 2024-07-03 Jean-Pierre De Jesus Diaz New
[bug#71923,1/4] gnu: gvisor-tap-vsock: Fix build. gnu: gvisor-tap-vsock, buildah, podman build fix. - - - --- 2024-07-03 Jean-Pierre De Jesus Diaz New
[bug#71748,3/3] gnu: frama-c: Add wrap-programs phase. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus Diaz New
[bug#71748,2/3] gnu: frama-c: Use G-Expressions. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus Diaz New
[bug#71748,1/3] gnu: frama-c: Update to 29.0. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus Diaz New
[bug#71630,5/5] gnu: mingw-w64-tools: Update to 12.0.0. gnu: make-mingw-w64: Update to 12.0.0. - - - --- 2024-06-18 Jean-Pierre De Jesus Diaz New
[bug#71630,4/5] gnu: mingw-w64-tools: Use G-Expressions. gnu: make-mingw-w64: Update to 12.0.0. - - - --- 2024-06-18 Jean-Pierre De Jesus Diaz New
[bug#71630,3/5] gnu: make-mingw-w64: Update to 12.0.0. gnu: make-mingw-w64: Update to 12.0.0. - - - --- 2024-06-18 Jean-Pierre De Jesus Diaz New
[bug#71630,2/5] gnu: make-mingw-w64: Use G-Expressions. gnu: make-mingw-w64: Update to 12.0.0. - - - --- 2024-06-18 Jean-Pierre De Jesus Diaz New
[bug#71630,1/5] gnu: make-mingw-w64: Memoize. gnu: make-mingw-w64: Update to 12.0.0. - - - --- 2024-06-18 Jean-Pierre De Jesus Diaz New
[bug#71492,v2] gnu: coq-autosubst: Fix Coq 8.19 compatibility. [bug#71492,v2] gnu: coq-autosubst: Fix Coq 8.19 compatibility. - - - --- 2024-06-17 Jean-Pierre De Jesus Diaz New
[bug#71492,6/6] gnu: coq-stdpp: Update to 1.10.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71492,5/6] gnu: coq-mathcomp: Update to 1.19.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71492,4/6] gnu: coq-interval: Update to 4.10.0. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71492,3/6] gnu: coq-gappa: Update to 1.5.5. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71492,2/6] gnu: coq-coquelicot: Update to 3.4.1. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71492,1/6] gnu: coq-autosubst: Update to 1.8-0.6ba0acc. coq: Update various packages. - - - --- 2024-06-12 Jean-Pierre De Jesus Diaz New
[bug#71346,3/3] gnu: vim-coqtail: Update to 1.7.1-1.d77080e. gnu: Update vim-vader and vim-coqtail - - - --- 2024-06-03 Jean-Pierre De Jesus Diaz New
[bug#71346,2/3] gnu: neovim-coqtail: Propagated python-pynvim. gnu: Update vim-vader and vim-coqtail - - - --- 2024-06-03 Jean-Pierre De Jesus Diaz New
[bug#71346,1/3] gnu: vim-vader: Update to 0.4.0-1.429b669. gnu: Update vim-vader and vim-coqtail - - - --- 2024-06-03 Jean-Pierre De Jesus Diaz New
[bug#71145,3/3] gnu: ocaml-sedlex: Update to 3.2. gnu: ocaml-sedlex: Update to 3.2. - - - --- 2024-05-23 Jean-Pierre De Jesus Diaz New
[bug#71145,2/3] gnu: ocaml-sedlex: Use ucd package. gnu: ocaml-sedlex: Update to 3.2. - - - --- 2024-05-23 Jean-Pierre De Jesus Diaz New
[bug#71145,1/3] gnu: ocaml-sedlex: Use G-Expressions. gnu: ocaml-sedlex: Update to 3.2. - - - --- 2024-05-23 Jean-Pierre De Jesus Diaz New
[bug#70965,4/4] gnu: libsecp256k1: Remove pre-generated files. gnu: libsecp256k1: Update to 0.5.0. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70965,3/4] gnu: libsecp256k1: Remove features enabled by default. gnu: libsecp256k1: Update to 0.5.0. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70965,2/4] gnu: libsecp256k1: Move home-page field. gnu: libsecp256k1: Update to 0.5.0. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70965,1/4] gnu: libsecp256k1: Update to 0.5.0. gnu: libsecp256k1: Update to 0.5.0. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70567,v3,3/3] gnu: why3: Enable extra features. [bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70567,v3,2/3] gnu: why3: Use new style. [bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. [bug#70567,v3,1/3] gnu: why3: Update to 1.7.2. - - - --- 2024-05-15 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,7/7] gnu: frama-c: Update to 28.1. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,6/7] gnu: Add ocaml-unionfind. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,5/7] gnu: why3: Enable extra features. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,4/7] gnu: why3: Use new style. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,3/7] gnu: why3: Update to 1.7.2. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,2/7] gnu: coq-flocq: Update to 4.1.4. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-05-07 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,7/7] gnu: frama-c: Update to 28.1. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,6/7] gnu: Add ocaml-unionfind. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,5/7] gnu: why3: Enable extra features. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,4/7] gnu: why3: Use new style. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,3/7] gnu: why3: Update to 1.7.2. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,2/7] gnu: coq-flocq: Update to 4.1.4. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,7/7] gnu: frama-c: Update to 28.1. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,6/7] gnu: Add ocaml-unionfind. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,5/7] gnu: why3: Enable extra features. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,4/7] gnu: why3: Use new style. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,3/7] gnu: why3: Update to 1.7.2. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,2/7] gnu: coq-flocq: Update to 4.1.4. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. frama-c: Update to 28.1. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70351,3/3] gnu: Add gcc-cross-x86_64-w64-mingw32-toolchain-13. gnu: cross-gcc: Support GCC 13. - - - --- 2024-04-12 Jean-Pierre De Jesus Diaz New
[bug#70351,2/3] gnu: cross-gcc: Add patch for GCC 13. gnu: cross-gcc: Support GCC 13. - - - --- 2024-04-12 Jean-Pierre De Jesus Diaz New
[bug#70351,1/3] gnu: cross-gcc-patches: Avoid patch for GCC 13+. gnu: cross-gcc: Support GCC 13. - - - --- 2024-04-12 Jean-Pierre De Jesus Diaz New
[bug#70306,v2] gnu: soqt: Update to 1.6.2. [bug#70306,v2] gnu: soqt: Update to 1.6.2. - - - --- 2024-04-11 Jean-Pierre De Jesus Diaz New
[bug#70309] gnu: simavr: Remove modules from arguments. [bug#70309] gnu: simavr: Remove modules from arguments. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70306] gnu: soqt: Update to 1.6.2. [bug#70306] gnu: soqt: Update to 1.6.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70305,5/5] gnu: coin3d: Update to 4.0.2. gnu: coin3d: Improve and update to 4.0.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70305,4/5] gnu: coin3d: Avoid use of dlopen. gnu: coin3d: Improve and update to 4.0.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70305,3/5] gnu: coin3d: Use system expat. gnu: coin3d: Improve and update to 4.0.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70305,2/5] gnu: coin3d: Use G-Expressions. gnu: coin3d: Improve and update to 4.0.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70305,1/5] gnu: coin3D: Rename to coin3d. gnu: coin3d: Improve and update to 4.0.2. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70304] gnu: python-pyside-2: Fix qtspeech input name. [bug#70304] gnu: python-pyside-2: Fix qtspeech input name. - - - --- 2024-04-09 Jean-Pierre De Jesus Diaz New
[bug#70161,2/2] gnu: tomlc99: Install pkg-config file. gnu: tomlc99: Update to 1.0-1.5221b3d. - - - --- 2024-04-03 Jean-Pierre De Jesus Diaz New
[bug#70161,1/2] gnu: tomlc99: Update to 1.0-1.5221b3d. gnu: tomlc99: Update to 1.0-1.5221b3d. - - - --- 2024-04-03 Jean-Pierre De Jesus Diaz New
[bug#70146,147/147] gnu: tree-sitter-lua: Update to 0.1.0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,146/147] gnu: tree-sitter-racket: Update to 0.3.0-10.d9858a0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,145/147] gnu: tree-sitter-scheme: Update to 0.6.0-9.184e759. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,144/147] gnu: tree-sitter-julia: Update to 0.20.0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,143/147] gnu: tree-sitter-json: Update to 0.20.2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,142/147] gnu: tree-sitter-haskell: Update to 0.15.0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,141/147] gnu: tree-sitter-elm: Update to 5.7.0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,140/147] gnu: tree-sitter-bash: Update to 0.21.0. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,139/147] gnu: tree-sitter-css: Update to 0.20.0-1.02b4ee7. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,138/147] gnu: tree-sitter-html: Update to 0.20.2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,137/147] gnu: tree-sitter: Update to 0.22.2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,136/147] gnu: rust-toml-0.8: Update to 0.8.12. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,135/147] gnu: rust-proc-macro2-1: Update to 1.0.79. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,134/147] gnu: libloading-0.8: Update to 0.8.3. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,133/147] gnu: Add rust-fs4-0.8. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,132/147] gnu: Add rust-smol-2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,131/147] gnu: Add rust-async-fs-2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,130/147] gnu: Add rust-async-process-2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,129/147] gnu: Add rust-event-listener-5. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,128/147] gnu: Add rust-smol-potat-1. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,127/147] gnu: Add rust-smol-potat-macro-0.6. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,126/147] gnu: rust-thiserror-1: Update to 1.0.58. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,125/147] gnu: rust-cc-1: Update to 1.0.90. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,124/147] gnu: Add rust-wasmtime-c-api-impl-18. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,123/147] gnu: Add rust-wasmtime-wasi-18. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,122/147] gnu: Add rust-cap-net-ext-2. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
« 1 2 3 »