Show patches with: Submitter = Jean-Pierre De Jesus Diaz       |    State = Action Required       |    Archived = No       |   177 patches
« 1 2 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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
[bug#70146,121/147] gnu: Add rust-wasmtime-c-api-macros-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,120/147] gnu: Add rust-wasi-common-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,119/147] gnu: Add rust-wiggle-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,118/147] gnu: Add rust-wiggle-macro-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,117/147] gnu: Add rust-wiggle-generate-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,116/147] gnu: Add rust-witx-0.9. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,115/147] gnu: Add rust-system-interface-0.26. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,114/147] gnu: Add rust-ssh2-0.9. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,113/147] gnu: Add rust-socketpair-0.19. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,112/147] gnu: Add rust-fd-lock-4. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,111/147] gnu: Add rust-char-device-0.16. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,110/147] gnu: Add rust-cap-time-ext-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,109/147] gnu: rust-iana-time-zone-0.1: Update to 0.1.60. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,108/147] gnu: Add rust-windows-core-0.52. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,107/147] gnu: rust-windows-targets-0.52: Update to 0.52.4. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,106/147] gnu: Add rust-windows-result-0.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,105/147] gnu: Add rust-cap-rand-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,104/147] gnu: Add rust-cap-fs-ext-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,103/147] gnu: Add rust-cap-std-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,102/147] gnu: Add rust-cap-primitives-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,101/147] gnu: Add rust-winx-0.36. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,100/147] gnu: Add rust-maybe-owned-0.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,099/147] gnu: Add rust-io-extras-0.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,098/147] gnu: Add rust-fs-set-times-0.20. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,097/147] gnu: Add rust-ambient-authority-0.0.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,096/147] gnu: Add rust-arf-strings-0.7. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,095/147] gnu: Add rust-wasmtime-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,094/147] gnu: Add rust-wasmtime-runtime-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,093/147] gnu: Add rust-wasmtime-winch-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,092/147] gnu: Add rust-wasmtime-wmemcheck-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,091/147] gnu: Add rust-wasmtime-jit-icache-coherence-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,090/147] gnu: Add rust-wasmtime-jit-debug-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,089/147] gnu: Add rust-wasmtime-fiber-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,088/147] gnu: Add rust-wasmtime-asm-macros-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,087/147] gnu: Add rust-wasmtime-cranelift-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,086/147] gnu: Add rust-wasmtime-versioned-export-macros-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,085/147] gnu: Add rust-wasmtime-cranelift-shared-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,084/147] gnu: Add rust-wasmtime-component-macro-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,083/147] gnu: Add rust-wasmtime-wit-bindgen-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,082/147] gnu: Add rust-wit-parser-0.13. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,081/147] gnu: Add rust-wasmtime-cache-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,080/147] gnu: Add rust-fxprof-processed-profile-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,079/147] gnu: Add rust-addr2line-0.21. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,078/147] gnu: Add rust-winch-codegen-0.16. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
[bug#70146,077/147] gnu: Add rust-wasmtime-environ-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,076/147] gnu: Add rust-wasmtime-types-18. [bug#70146,001/147] gnu: rust-anyhow-1: Update to 1.0.80. - - - --- 2024-04-02 Jean-Pierre De Jesus Diaz New
« 1 2 »