Show patches with: Submitter = Julien Lepiller       |    Archived = No       |   437 patches
« 1 2 3 4 … 4 5 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#52164,3/3] gnu: coq: Update to 8.14.0. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted
[bug#52164,2/3] gnu: proof-general: Update to latest commit. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted
[bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted
[bug#49671,v3] guix: records: Improve error reporting. [bug#49671,v3] guix: records: Improve error reporting. - - - 3-1 2021-11-22 Julien Lepiller New
[bug#39728,v2] Allow parallel downloads and builds [bug#39728,v2] Allow parallel downloads and builds - - - 3-1 2021-11-21 Julien Lepiller New
[bug#51091,v3] guix: opam: Do not fail when refreshing. [bug#51091,v3] guix: opam: Do not fail when refreshing. - - - 3-1 2021-11-19 Julien Lepiller Accepted
[bug#49671] guix: records: Improve error reporting. [bug#49671] guix: records: Improve error reporting. - - - 3-1 2021-10-31 Julien Lepiller New
[bug#51358,4/4] gnu: Add ocaml-charinfo-width. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 4-- 2021-10-25 Julien Lepiller Accepted
[bug#51358,3/4] gnu: Add ocaml-gsl. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 3-1 2021-10-25 Julien Lepiller Accepted
[bug#51358,2/4] gnu: Add ocaml-fftw3. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 3-1 2021-10-25 Julien Lepiller Accepted
[bug#51358,1/4] gnu: Add ocaml-lacaml. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 4-- 2021-10-25 Julien Lepiller Accepted
[bug#51358,4/4] gnu: Add ocaml-charinfo-width. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 4-- 2021-10-23 Julien Lepiller Accepted
[bug#51358,3/4] gnu: Add ocaml-gsl. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 3-1 2021-10-23 Julien Lepiller Accepted
[bug#51358,2/4] gnu: Add ocaml-fftw3. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 3-1 2021-10-23 Julien Lepiller Accepted
[bug#51358,1/4] gnu: Add ocaml-lacaml. [bug#51358,1/4] gnu: Add ocaml-lacaml. - - - 4-- 2021-10-23 Julien Lepiller Accepted
[bug#51356] gnu: ocaml4.07-merlin: Remove package. [bug#51356] gnu: ocaml4.07-merlin: Remove package. - - - 4-- 2021-10-23 Julien Lepiller Accepted
[bug#51353,website] website: Fix build. [bug#51353,website] website: Fix build. - - - --- 2021-10-23 Julien Lepiller Accepted
[bug#51351] gnu: pplacer: Fix build. [bug#51351] gnu: pplacer: Fix build. - - - 3-1 2021-10-23 Julien Lepiller Accepted
[bug#51122,v2] maint: Factorize po xref translation. [bug#51122,v2] maint: Factorize po xref translation. - - - 3-1 2021-10-16 Julien Lepiller Accepted
[bug#51091,v2] guix: opam: Do not fail when refreshing. [bug#51091,v2] guix: opam: Do not fail when refreshing. - - - 3-1 2021-10-16 Julien Lepiller Accepted
[bug#51122,v2] maint: Factorize po xref translation. [bug#51122,v2] maint: Factorize po xref translation. - - - 3-1 2021-10-11 Julien Lepiller Accepted
[bug#51122] maint: Factorize po xref translation. [bug#51122] maint: Factorize po xref translation. - - - 4-- 2021-10-10 Julien Lepiller Accepted
[bug#51109] gnu: Add gplates. [bug#51109] gnu: Add gplates. - - - 4-- 2021-10-09 Julien Lepiller Accepted
[bug#46329,v2] Add z3 OCaml bindings [bug#46329,v2] Add z3 OCaml bindings - - - 3-1 2021-10-08 Julien Lepiller Accepted
[bug#51091] guix: opam: Do not fail when refreshing. [bug#51091] guix: opam: Do not fail when refreshing. - - - 3-1 2021-10-08 Julien Lepiller Accepted
[bug#50925] po: Update POTFILES.in. [bug#50925] po: Update POTFILES.in. - - - 1-1 2021-09-30 Julien Lepiller Accepted
[bug#49886,v2] Add gitile and gitile service [bug#49886,v2] Add gitile and gitile service - - - 1-1 2021-08-25 Julien Lepiller Accepted
[bug#49950] Update opam and dune [bug#49950] Update opam and dune - - - 1-1 2021-08-09 Julien Lepiller Accepted
[bug#49886] Add gitile and gitile service [bug#49886] Add gitile and gitile service - - - 1-1 2021-08-05 Julien Lepiller Accepted
[bug#49671] guix: records: Improve error reporting. [bug#49671] guix: records: Improve error reporting. - - - 1-1 2021-07-20 Julien Lepiller New
[bug#49423] gnu: coq: Update to 8.13.2. [bug#49423] gnu: coq: Update to 8.13.2. - - - 3-1 2021-07-05 Julien Lepiller Accepted
[bug#47251,core-updates] gnu: python: Enable optimizations. [bug#47251,core-updates] gnu: python: Enable optimizations. - - - 1-1 2021-06-05 Julien Lepiller Accepted
[bug#48766,14/14] gnu: java-jmh: Switch to maven-build-system. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,13/14] gnu: java-jmh: Update to 1.32. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,12/14] gnu: maven-enforcer-parent-pom: Fix pom. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,11/14] gnu: maven-core: Hardcode versions we have in Guix. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,10/14] gnu: java-commons-math3: Install to maven repository. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,09/14] gnu: Add java-jopt-simple-4. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,08/14] guix: java-utils: Look for actual jar files. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,07/14] guix: maven: Use a temporary file to fix pom files. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,06/14] guix: maven: Look in local packages when searching for package version. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,05/14] guix: maven: Support fixing modules. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,04/14] guix: maven: Support fixing extensions. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,03/14] guix: maven: Simplify finding local packages and modules. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,02/14] guix: maven: Simplify finding version and group information. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. [bug#48766,01/14] guix: java-utils: Factorize pom.xml generation. - - - --- 2021-05-31 Julien Lepiller Accepted
[bug#48165] nls: Do not update po files on first make invocation. [bug#48165] nls: Do not update po files on first make invocation. - - - 3-1 2021-05-02 Julien Lepiller Accepted
[bug#38635,v3] Add why3 and frama-c [bug#38635,v3] Add why3 and frama-c - - - 1-1 2021-04-29 Julien Lepiller Accepted
[bug#47882] Makefile: Reimplement download-po target [bug#47882] Makefile: Reimplement download-po target - - - 3-1 2021-04-18 Julien Lepiller Accepted
[bug#47763] doc: Document translation process. [bug#47763] doc: Document translation process. - - - 4-1 2021-04-13 Julien Lepiller Accepted
[bug#47251,core-updates] gnu: python: Enable optimizations. [bug#47251,core-updates] gnu: python: Enable optimizations. - - - 1-1 2021-03-18 Julien Lepiller Accepted
[bug#47214,core-updates] gnu: python: Remove unnecessary files [bug#47214,core-updates] gnu: python: Remove unnecessary files - - - 1-1 2021-03-18 Julien Lepiller Accepted
[bug#47214,core-updates] gnu: python: Remove unnecessary files [bug#47214,core-updates] gnu: python: Remove unnecessary files - - - 1-1 2021-03-17 Julien Lepiller Accepted
[bug#46806] gnu: ocaml-4.07: Bootstrap. [bug#46806] gnu: ocaml-4.07: Bootstrap. - - - 3-1 2021-02-28 Julien Lepiller Accepted
[bug#46806] gnu: ocaml-4.07: Bootstrap. [bug#46806] gnu: ocaml-4.07: Bootstrap. - - - 3-1 2021-02-26 Julien Lepiller Accepted
[bug#46329] Add z3 OCaml bindings [bug#46329] Add z3 OCaml bindings - - - 4-1 2021-02-05 Julien Lepiller Accepted
[bug#46166,website] Add link to Weblate in language menu. [bug#46166,website] Add link to Weblate in language menu. - - - 1-1 2021-01-29 Julien Lepiller Accepted
[bug#46114] website: Localize package list. [bug#46114] website: Localize package list. - - - 1-1 2021-01-26 Julien Lepiller Accepted
[bug#46114] website: Localize package list. [bug#46114] website: Localize package list. - - - 1-1 2021-01-26 Julien Lepiller Accepted
[bug#46044] Improvements to handling po files [bug#46044] Improvements to handling po files - - - 4-1 2021-01-22 Julien Lepiller Accepted
[bug#45937] gnu: php-fpm: Ensure no duplicate group. [bug#45937] gnu: php-fpm: Ensure no duplicate group. - - - 4-1 2021-01-17 Julien Lepiller Accepted
[bug#45815] Switching to Weblate [bug#45815] Switching to Weblate - - - 4-1 2021-01-12 Julien Lepiller Accepted
[bug#34412,bug#45498,00/12] Add ocaml-merlin. - - - --- 2020-12-28 Julien Lepiller None
[bug#45028] offload: Print warning in context. [bug#45028] offload: Print warning in context. - - - 4-1 2020-12-03 Julien Lepiller Accepted
bug#44658: Add new package bug#44658: Add new package - - - --1 2020-11-15 Julien Lepiller Accepted
[bug#44344] guix: describe: Improve package provenance tracking. [bug#44344] guix: describe: Improve package provenance tracking. - - - 3-1 2020-11-01 Julien Lepiller Accepted
[bug#44344] guix: describe: Improve package provenance tracking. [bug#44344] guix: describe: Improve package provenance tracking. - - - 5-- 2020-10-31 Julien Lepiller Accepted
[bug#44032] gnu: ocaml: Update to 4.11.1 [bug#44032] gnu: ocaml: Update to 4.11.1 - - - 3-1 2020-10-16 Julien Lepiller Accepted
[bug#43918] gnu: libcanberra: Fix a crash on wayland [bug#43918] gnu: libcanberra: Fix a crash on wayland - - - 2-1 2020-10-11 Julien Lepiller Accepted
[bug#43871,website] Add community page [bug#43871,website] Add community page - - - --1 2020-10-08 Julien Lepiller Accepted
[bug#43816] services: gitolite: Install the rc file as gitolite's user. [bug#43816] services: gitolite: Install the rc file as gitolite's user. - - - 2-1 2020-10-05 Julien Lepiller Accepted
[bug#43745,27/27] gnu: dune: Update to 2.7.1. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,26/27] gnu: ocaml-4.07: Ensure build with ocaml4.7-dune. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,25/27] gnu: ocaml-jane-street-headers: Build only with OCaml 4.07. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,24/27] gnu: ocaml-compiler-libs: Build only with OCaml 4.07. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,23/27] gnu: Add ocaml-csexp. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,22/27] gnu: ocaml-result: Update to 1.5. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,21/27] gnu: ocaml-alcotest: Update to 1.0.0. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,20/27] gnu: ocaml-fmt: Update to 0.8.9. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,19/27] gnu: ocaml-logs: Update to 0.7.0. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,18/27] gnu: ocaml-base64: Update to 3.4.0. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,17/27] gnu: opam: Update to 2.0.7. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,16/27] gnu: Add ocaml-stdlib-shims. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,15/27] gnu: ocaml-tyxml: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,14/27] gnu: ocaml4.07-core: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,13/27] gnu: ocaml4.07-ppx-expect: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,12/27] gnu: ocaml4.07-merlin: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,11/27] gnu: ocaml4.07-utop: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,10/27] gnu: ocaml4.07-zed: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,09/27] gnu: ocaml-easy-format: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,08/27] gnu: ocaml-lwt-log: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,07/27] gnu: ocaml-bitstring: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,06/27] gnu: ocaml-qtest: Do not use deprecated jbuilder. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,05/27] gnu: ocaml-ppx-tools-versioned: Update to 5.4.0. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,04/27] gnu: ocaml-migrate-parsetree: Update to 1.7.3. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,03/27] gnu: ocaml-mccs: Update to 1.1+11. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,02/27] gnu: camlp5: Update to 7.13. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#43745,01/27] gnu: unison: Build with ocaml-4.09. [bug#43745,01/27] gnu: unison: Build with ocaml-4.09. - - - 3-- 2020-10-01 Julien Lepiller Accepted
[bug#42338,03/34] guix: Add composer-build-system. Untitled series #5286 - - - 2-1 2020-09-29 Julien Lepiller New
[bug#43639,16/16] gnu: groovy: Update to 3.0.5. [bug#43639,01/15] gnu: Add java-treelayout. - - - 3-- 2020-09-26 Julien Lepiller Accepted
« 1 2 3 4 … 4 5 »