Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Julien Lepiller
| Archived =
No
| 437 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Work in progress
Search
Archived
No
Yes
Both
Delegate
------
Nobody
cbaines
levenson
dftxbs3e
futurile
Apply
«
1
2
3
4
…
4
5
»
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#38965,00/12] gnu: coq: Update to 8.10.2.
- - -
-
-
-
2020-01-06
Julien Lepiller
None
[bug#34412,bug#45498,00/12] Add ocaml-merlin.
- - -
-
-
-
2020-12-28
Julien Lepiller
None
[bug#38635,WIP] Add why3 and frama-c
[bug#38635,WIP] Add why3 and frama-c
- - -
-
-
-
2019-12-16
Julien Lepiller
Work in progress
[bug#39530] guix: Support partial download
[bug#39530] guix: Support partial download
- - -
2
-
1
2020-02-09
Julien Lepiller
Work in progress
[bug#33437,01/10] build: Add dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,02/10] gnu: ocaml-migrate-parsetree: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,03/10] gnu: ocaml-ppx-tools-versioned: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,04/10] gnu: ocaml-bitstring: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,05/10] gnu: ocaml-lwt: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,06/10] gnu: ocaml-lwt-log: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,07/10] gnu: ocaml-cppo: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,08/10] gnu: ocaml-re: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,09/10] gnu: ocaml-camomile: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33437,10/10] gnu: ocaml-lambda-term: Use dune-build-system.
[bug#33437,01/10] build: Add dune-build-system.
- - -
1
-
-
2018-11-19
Julien Lepiller
Accepted
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
- - -
-
-
1
2018-12-20
Julien Lepiller
Accepted
[bug#33811,2/5] import: opam: Add recursive option.
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
- - -
-
-
1
2018-12-20
Julien Lepiller
Accepted
[bug#33811,3/5] import: opam: Add updater.
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
- - -
-
-
1
2018-12-20
Julien Lepiller
Accepted
[bug#33811,4/5] gnu: ocaml-graph: Add upstream-name.
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
- - -
-
-
1
2018-12-20
Julien Lepiller
Accepted
[bug#33811,5/5] import: opam: Parse comments.
[bug#33811,1/5] gnu: Move coq packages from ocaml to coq.
- - -
-
-
1
2018-12-20
Julien Lepiller
Accepted
[bug#34958] Add a package argument to dune-build-system
[bug#34958] Add a package argument to dune-build-system
- - -
-
-
1
2019-03-23
Julien Lepiller
Accepted
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,2/9] import: opam: Use dune-build-system when possible.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,3/9] gnu: Add ocaml-opam-file-format.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,4/9] gnu: ocaml-cmdliner: Update to 1.0.3.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,5/9] gnu: Add ocaml-extlib.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,6/9] gnu: Add ocaml-cudf.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,7/9] gnu: Add ocaml-mccs.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,8/9] gnu: Add ocaml-dose3.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35150,9/9] gnu: opam: Unbundle dependencies.
[bug#35150,1/9] import: opam: Add more patterns to opam file parser.
- - -
-
-
1
2019-04-04
Julien Lepiller
Accepted
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
- - -
1
-
-
2019-04-14
Julien Lepiller
Accepted
[bug#35280,2/5] gnu: bap: Update to 1.6.0.
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
- - -
-
-
1
2019-04-14
Julien Lepiller
Accepted
[bug#35280,3/5] gnu: Remove ocaml-jbuilder.
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
- - -
1
-
-
2019-04-14
Julien Lepiller
Accepted
[bug#35280,4/5] gnu: ocamlify: Downgrade to 0.0.1.
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
- - -
1
-
-
2019-04-14
Julien Lepiller
Accepted
[bug#35280,5/5] gnu: ocaml@4.02: Remove the package, affected by a CVE, and its dependent packages.
[bug#35280,1/5] gnu: Add ocaml-bigarray-compat.
- - -
-
-
1
2019-04-14
Julien Lepiller
Accepted
[bug#35329] gnu: knot-service: Add includes field in configuration.
[bug#35329] gnu: knot-service: Add includes field in configuration.
- - -
1
-
-
2019-04-19
Julien Lepiller
Accepted
[bug#35330] gnu: certbot: Add support for manual plugin.
[bug#35330] gnu: certbot: Add support for manual plugin.
- - -
1
-
-
2019-04-19
Julien Lepiller
Accepted
[bug#35545,01/17] gnu: Add java-signpost-core.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,02/17] gnu: Add java-jsonp-api.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,03/17] gnu: Add java-jsonp-impl.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,04/17] gnu: Add java-xmp.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,05/17] gnu: Add java-metadata-extractor.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,06/17] gnu: javacc: Install binaries.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,07/17] gnu: Add java-openjfx-build.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,08/17] gnu: Add java-openjfx-base.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,09/17] gnu: Add java-openjfx-graphics.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,10/17] gnu: Add java-openjfx-media.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,11/17] gnu: Add java-jmapviewer.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,12/17] gnu: Add java-svg-salamander.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,13/17] gnu: Add java-jboss-transaction-api-spec.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,14/17] gnu: Add java-commons-pool2.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,15/17] gnu: Add java-commons-dbcp2.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,16/17] gnu: Add java-commons-jcs.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#35545,17/17] gnu: Add josm.
[bug#35545,01/17] gnu: Add java-signpost-core.
- - -
1
-
-
2019-05-03
Julien Lepiller
Accepted
[bug#36602] Add node-build-system.
[bug#36602] Add node-build-system.
- - -
-
-
-
2019-07-11
Julien Lepiller
Accepted
[bug#36602] Add node-build-system.
[bug#36602] Add node-build-system.
- - -
-
-
-
2019-07-13
Julien Lepiller
Accepted
[bug#37222] gnu: services: Add dkimproxy-out.
[bug#37222] gnu: services: Add dkimproxy-out.
- - -
-
-
-
2019-08-29
Julien Lepiller
Accepted
[bug#37239] gnu: mariadb: Split into out, lib and dev.
[bug#37239] gnu: mariadb: Split into out, lib and dev.
- - -
-
-
-
2019-08-30
Julien Lepiller
Accepted
[bug#37285] doc: Rename translated manuals to drop the dot.
[bug#37285] doc: Rename translated manuals to drop the dot.
- - -
-
-
-
2019-09-02
Julien Lepiller
Accepted
[bug#37857] guix: svn: Allow dropping externals
[bug#37857] guix: svn: Allow dropping externals
- - -
-
-
-
2019-10-21
Julien Lepiller
Accepted
[bug#38670] Fix audio/video in icecat
[bug#38670] Fix audio/video in icecat
- - -
-
-
-
2019-12-19
Julien Lepiller
Accepted
[bug#39127] fixing icecat's multimedia
[bug#39127] fixing icecat's multimedia
- - -
-
-
1
2020-01-14
Julien Lepiller
Accepted
[bug#39128,01/12] gnu: Add python-pyenchant.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,02/12] gnu: Add python-check-manifest.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,03/12] gnu: Add python-codacy-coverage.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,04/12] gnu: Add python-translation-finder.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,05/12] gnu: add python-httmock.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,06/12] gnu: Add python-gitlab.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,07/12] gnu: Add python-android-stringslib.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,08/12] gnu: Add python-pathtools.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,09/12] gnu: Add python-iocapture.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,10/12] gnu: Add python-argh.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,11/12] gnu: Add python-watchdog.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39128,12/12] gnu: Add offlate.
[bug#39128,01/12] gnu: Add python-pyenchant.
- - -
1
-
-
2020-01-14
Julien Lepiller
Accepted
[bug#39249] gnu: ocaml: Switch to 4.09 by default
[bug#39249] gnu: ocaml: Switch to 4.09 by default
- - -
2
-
1
2020-01-23
Julien Lepiller
Accepted
[bug#39249] gnu: ocaml: Switch to 4.09 by default
[bug#39249] gnu: ocaml: Switch to 4.09 by default
- - -
2
-
1
2020-01-23
Julien Lepiller
Accepted
[bug#39684] etc: Automatically download the pgp key
[bug#39684] etc: Automatically download the pgp key
- - -
2
-
1
2020-02-20
Julien Lepiller
Accepted
[bug#40983] gnu: Add font-api-mj-mincho
[bug#40983] gnu: Add font-api-mj-mincho
- - -
-
-
1
2020-04-30
Julien Lepiller
Accepted
[bug#41548] gnu: mozjs: Remove static library
[bug#41548] gnu: mozjs: Remove static library
- - -
2
-
1
2020-05-26
Julien Lepiller
Accepted
[bug#41565] doc: Use existing URLs and file names in installation instructions.
[bug#41565] doc: Use existing URLs and file names in installation instructions.
- - -
2
-
1
2020-05-27
Julien Lepiller
Accepted
[bug#43101] Add version number in release ISO
[bug#43101] Add version number in release ISO
- - -
2
-
1
2020-08-29
Julien Lepiller
Accepted
[bug#43101,v2] Add version number in release ISO
[bug#43101,v2] Add version number in release ISO
- - -
2
-
1
2020-08-30
Julien Lepiller
Accepted
[bug#38635,WIP,v2] Add why3 and frama-c
[bug#38635,WIP,v2] Add why3 and frama-c
- - -
-
-
1
2020-09-02
Julien Lepiller
Accepted
[bug#43361] doc: Mention config.scm in reconfigure description
[bug#43361] doc: Mention config.scm in reconfigure description
- - -
2
-
1
2020-09-12
Julien Lepiller
Accepted
[bug#43458] guix: build: Add a hint for unspecified value
[bug#43458] guix: build: Add a hint for unspecified value
- - -
2
-
1
2020-09-16
Julien Lepiller
Accepted
[bug#43525] gnu: Add antlr4.
[bug#43525] gnu: Add antlr4.
- - -
-
-
1
2020-09-20
Julien Lepiller
Accepted
[bug#43639,01/15] gnu: Add java-treelayout.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,02/15] gnu: Add java-antlr4-runtime.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,03/15] gnu: Add antlr4.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,04/15] gnu: ant/java8: Update to 1.10.8.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,05/15] gnu: ant: Update to 1.9.15.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,06/15] gnu: Add java-asm-8.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,07/15] gnu: Add java-asm-tree-8.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,08/15] gnu: Add java-asm-analysis-8.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,09/15] gnu: Add java-asm-util-8.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,10/15] gnu: Add java-antlr4-runtime-4.1.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,11/15] gnu: Add antlr4-4.1.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
[bug#43639,12/15] gnu: Add java-tunnelvisionlabs-antlr4-runtime-annotations.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,13/15] gnu: Add java-tunnelvisionlabs-antlr4-runtime.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,14/15] gnu: Add java-tunnelvisionlabs-antlr4.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
2
-
1
2020-09-26
Julien Lepiller
Accepted
[bug#43639,15/15] gnu: Add java-javaparser.
[bug#43639,01/15] gnu: Add java-treelayout.
- - -
3
-
-
2020-09-26
Julien Lepiller
Accepted
«
1
2
3
4
…
4
5
»