Toggle navigation
Patchwork
Guix Patches
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: Submitter =
Josselin Poiret
| Archived =
No
| 227 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
»
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[bug#73421,5/5] gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e.
Update Agda to 2.7.0.1 along with libraries.
- - -
-
-
-
2024-09-22
Josselin Poiret
New
[bug#73421,4/5] gnu: agda-cubical: Update to 0.7.
Update Agda to 2.7.0.1 along with libraries.
- - -
-
-
-
2024-09-22
Josselin Poiret
New
[bug#73421,3/5] gnu: agda-categories: Update to 0.2.0.
Update Agda to 2.7.0.1 along with libraries.
- - -
-
-
-
2024-09-22
Josselin Poiret
New
[bug#73421,2/5] gnu: agda-stdlib: Update to 2.1.13
Update Agda to 2.7.0.1 along with libraries.
- - -
-
-
-
2024-09-22
Josselin Poiret
New
[bug#73421,1/5] gnu: agda: Update to 2.7.0.1.
Update Agda to 2.7.0.1 along with libraries.
- - -
-
-
-
2024-09-22
Josselin Poiret
New
[bug#73410] gnu: waybar: Fix missing tray icons on 0.11.0.
[bug#73410] gnu: waybar: Fix missing tray icons on 0.11.0.
- - -
-
-
-
2024-09-21
Josselin Poiret
New
[bug#73179,2/2] gnu: lablgtk: Remove variable.
Remove lablgtk.
- - -
-
-
-
2024-09-11
Josselin Poiret
New
[bug#73179,1/2] gnu: ocaml-cairo2: Only build cairo2 package, remove unneeded deps.
Remove lablgtk.
- - -
-
-
-
2024-09-11
Josselin Poiret
New
[bug#68656,core-updates,7/7] gnu: cryptsetup-static: Fix static build.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,6/7] gnu: lvm2-static: Properly handle eudev dependency in pkg-config.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,5/7] gnu: libblockdev: Add libcryptsetup propagated inputs.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,4/7] gnu: volume-key: Add required transitive dependencies.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,3/7] gnu: Add libcryptsetup-propagated-inputs.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,2/7] gnu: Add libdevmapper-propagated-inputs.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68656,core-updates,1/7] gnu: cryptsetup: Update to 2.6.1.
Cryptsetup woes
- - -
-
-
-
2024-01-22
Josselin Poiret
New
[bug#68044,v2] gnu: mpv-mpris: Fix build.
[bug#68044,v2] gnu: mpv-mpris: Fix build.
- - -
-
-
-
2023-12-27
Josselin Poiret
New
[bug#68043,core-updates] gnu: gpgme: Hardcode gpg binaries' location.
[bug#68043,core-updates] gnu: gpgme: Hardcode gpg binaries' location.
- - -
-
-
-
2023-12-26
Josselin Poiret
New
[bug#68044] gnu: mpv-mpris: Fix build.
[bug#68044] gnu: mpv-mpris: Fix build.
- - -
-
-
-
2023-12-26
Josselin Poiret
New
[bug#68045] gnu: swaylock: Fix home-page.
[bug#68045] gnu: swaylock: Fix home-page.
- - -
-
-
-
2023-12-26
Josselin Poiret
New
[bug#68046] gnu: swayidle: Update to 1.8.0.
[bug#68046] gnu: swayidle: Update to 1.8.0.
- - -
-
-
-
2023-12-26
Josselin Poiret
New
[bug#68047] gnu: agda: Update to 2.6.4.1.
[bug#68047] gnu: agda: Update to 2.6.4.1.
- - -
-
-
-
2023-12-26
Josselin Poiret
New
[bug#66775,6/6] gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,5/6] gnu: agda-cubical: Update to 0.6.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,4/6] gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,3/6] gnu: agda-stdlib: Update to 1.7.3.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,2/6] gnu: agda: Update to 2.6.4.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#66775,1/6] gnu: Add ghc-text-icu.
Update Agda and libraries to 2.6.4
- - -
-
-
-
2023-10-27
Josselin Poiret
New
[bug#64249] fixup! gnu: coq: Update to 8.17.1.
[bug#64249] fixup! gnu: coq: Update to 8.17.1.
- - -
-
-
-
2023-09-12
Josselin Poiret
New
[bug#64763] gnu: commencement: Use system in %final-inputs.
[bug#64763] gnu: commencement: Use system in %final-inputs.
- - -
-
-
-
2023-08-09
Josselin Poiret
New
[bug#64601] gnu: agda-cubical: Update to 0.5.
[bug#64601] gnu: agda-cubical: Update to 0.5.
- - -
-
-
-
2023-07-13
Josselin Poiret
New
bug#63652: [PATCH] services: screen-locker-service-type: Configurable PAM and setuid.
bug#63652: [PATCH] services: screen-locker-service-type: Configurable PAM and setuid.
- - -
-
-
-
2023-06-04
Josselin Poiret
New
bug#63793: [PATCH] gnu: sbsigntools: Update to 0.9.5.
bug#63793: [PATCH] gnu: sbsigntools: Update to 0.9.5.
- - -
-
-
-
2023-06-04
Josselin Poiret
New
[bug#63873,2/2] gnu: b4: Update to 0.12.2.
[bug#63874,1/2] gnu: git-filter-repo: Update to 2.38.0 and generate documentation.
- - -
-
-
-
2023-06-03
Josselin Poiret
New
[bug#63874,1/2] gnu: git-filter-repo: Update to 2.38.0 and generate documentation.
[bug#63874,1/2] gnu: git-filter-repo: Update to 2.38.0 and generate documentation.
- - -
-
-
-
2023-06-03
Josselin Poiret
New
[bug#63641,v2,5/8] gnu: Add libc-for-target and glibc/hurd.
Untitled series #17659
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,8/8] gnu: hurd: Update to v0.9.git20230216.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,7/8] gnu: mig: Update to 04bfe7a91223ba15d868f7165e49328b1c6e86c3.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,6/8] gnu: gnumach: Update to 1.8+git20221224.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,5/8] gnu: Add libc-for-target and glibc/hurd.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,4/8] gnu: hurd: Update supported systems.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,3/8] gnu: gnumach-headers: Cross-build without relying on x86.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,2/8] gnu: glibc/hurd-headers: Properly cross-build.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63641,1/8] hurd-boot: Add urandom and default-pager translators.
Add libc specific to Hurd and update components
- - -
-
-
-
2023-05-22
Josselin Poiret
New
[bug#63501] hurd-boot: Symlink /hurd before setting up translators.
[bug#63501] hurd-boot: Symlink /hurd before setting up translators.
- - -
-
-
-
2023-05-14
Josselin Poiret
New
[bug#63461] gnu: gnome: Remove gnome-boxes from default GNOME apps.
[bug#63461] gnu: gnome: Remove gnome-boxes from default GNOME apps.
- - -
-
-
-
2023-05-12
Josselin Poiret
New
[bug#63460] build: Add dependency on guix script for help2man targets.
[bug#63460] build: Add dependency on guix script for help2man targets.
- - -
-
-
-
2023-05-12
Josselin Poiret
New
[bug#63314,v2,2/2] services: elogind: Add elogind as a shepherd PAM requirement.
Add PAM shepherd requirements
- - -
-
-
-
2023-05-09
Josselin Poiret
New
[bug#63314,v2,1/2] system: pam: Let PAM extensions add shepherd requirements.
Add PAM shepherd requirements
- - -
-
-
-
2023-05-09
Josselin Poiret
New
[bug#63314,2/2] services: elogind: Add elogind as a shepherd PAM requirement.
Add PAM shepherd requirements
- - -
-
-
-
2023-05-05
Josselin Poiret
New
[bug#63314,1/2] system: pam: Let PAM extenders add shepherd requirements.
Add PAM shepherd requirements
- - -
-
-
-
2023-05-05
Josselin Poiret
New
[bug#61915,v2,13/13] gnu: Add agda-1lab.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,12/13] gnu: Add agda-cubical.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,11/13] gnu: Add agda-categories.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,10/13] gnu: Add agda-stdlib.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,09/13] build-system: New agda-build-system.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,08/13] build-system/haskell: Export default-haskell.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,07/13] gnu: agda: Add AGDA_LIBDIRS search-path.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,06/13] gnu: emacs-agda2-mode: Switch to G-Exps.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,05/13] gnu: emacs-agda2-mode: No longer inherit from agda.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,04/13] gnu: agda: Build info manual.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,02/13] gnu: Add ghc-vector-hashtables.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#61915,v2,01/13] gnu: Add ghc-peano.
Update agda, add build-system and libraries.
- - -
-
-
-
2023-04-30
Josselin Poiret
New
[bug#63112] gnu: libexpected: Update to 1.1.0.
[bug#63112] gnu: libexpected: Update to 1.1.0.
- - -
-
-
-
2023-04-27
Josselin Poiret
New
[bug#63111] gnu: fwupd: Update to 1.8.14.
[bug#63111] gnu: fwupd: Update to 1.8.14.
- - -
-
-
-
2023-04-27
Josselin Poiret
New
[bug#63074,2/2] tests: guix-graph.sh: Fix expected path from emacs to libffi.
Fix tests to prepare for guix package upgrade
- - -
-
-
-
2023-04-25
Josselin Poiret
New
[bug#63074,1/2] tests: guix-build.sh: Don't use hidden gcc for transformation tests.
Fix tests to prepare for guix package upgrade
- - -
-
-
-
2023-04-25
Josselin Poiret
New
[bug#63070] gnu: biber: Fix build with new Perl.
[bug#63070] gnu: biber: Fix build with new Perl.
- - -
-
-
-
2023-04-25
Josselin Poiret
New
[bug#63057,core-updates,3/3] doc: Add --sysconfdir=/etc to the recommended ./configure.
Some installer fixes
- - -
-
-
-
2023-04-24
Josselin Poiret
New
[bug#63057,core-updates,2/3] installer: Filter out C.UTF-8 from the list of locales.
Some installer fixes
- - -
-
-
-
2023-04-24
Josselin Poiret
New
[bug#63057,core-updates,1/3] system: guix: Use config's ACL file location.
Some installer fixes
- - -
-
-
-
2023-04-24
Josselin Poiret
New
[bug#63014,2/2] gnu: bmake: Update to 20230321.
Fix bmake build
- - -
-
-
-
2023-04-22
Josselin Poiret
New
[bug#63014,1/2] gnu: bmake: Switch to G-Exps.
Fix bmake build
- - -
-
-
-
2023-04-22
Josselin Poiret
New
[bug#63013,core-updates,2/2] gnu: guile-next: Fix build failure.
Fix some guile -next package failures.
- - -
-
-
-
2023-04-22
Josselin Poiret
New
[bug#63013,core-updates,1/2] gnu: guile-fibers-next: Update to 36a6cc7079 to fix build failure.
Fix some guile -next package failures.
- - -
-
-
-
2023-04-22
Josselin Poiret
New
[bug#63012,core-updates] gnu: zig: Fix build.
[bug#63012,core-updates] gnu: zig: Fix build.
- - -
-
-
-
2023-04-22
Josselin Poiret
New
[bug#62863,core-updates] gnu: openldap: Fix build.
[bug#62863,core-updates] gnu: openldap: Fix build.
- - -
-
-
-
2023-04-15
Josselin Poiret
New
[bug#62553,core-updates,6/6] gnu: zsh: Patch failing test that uses egrep.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62553,core-updates,5/6] gnu: Remove gpgme-1.18 and qgpgme-1.18.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62553,core-updates,4/6] gnu: gpgme: Propagate libassuan.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62553,core-updates,3/6] gnu: atk: Deprecate in favor of at-spi2-core.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62553,core-updates,2/6] gnu: atkmm: Update to 2.36.2.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62553,core-updates,1/6] gnu: Replace all uses of atk by at-spi2-core.
Various fixes to packages
- - -
-
-
-
2023-03-30
Josselin Poiret
New
[bug#62309,core-updates,v2,2/2] u-boot: Fix build under Python 3.10.
Fix qemu build
- - -
-
-
-
2023-03-21
Josselin Poiret
New
[bug#62309,core-updates,v2,1/2] opensbi: Build with default gcc, with microarch rv64g
Fix qemu build
- - -
-
-
-
2023-03-21
Josselin Poiret
New
[bug#62311,core-updates] gnulib: Depend on git-minimal/pinned.
[bug#62311,core-updates] gnulib: Depend on git-minimal/pinned.
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62309,core-updates,2/2] u-boot: Fix build under Python 3.10.
Fix qemu build
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62309,core-updates,1/2] opensbi: Build with default gcc, with microarch rv64g
Fix qemu build
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,15/15] system: pam: Only add linux-pam reference if on Linux.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,14/15] system: hurd: Use shepherd-0.8 in the package list.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,13/15] mig/32-bit: Remove.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,12/15] hurd: Update DDE and use libdde_linux26.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,11/15] gnumach, hurd: Switch to using cross-mig.
Untitled series #16687
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,11/15] gnumach, hurd-headers, hurd: Switch to using cross-mig.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,10/15] hurd: Remove useless glibc/hurd-headers input.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,09/15] hurd: Update to 91a51672ff4cfe1f1a0712b4c542ded3081c825b.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,08/15] gnumach: Update to 1.8+git20220827.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,07/15] mig: Update to 1.8+git20220827.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,06/15] cross-base: Removed useless inputs to xhurd-core-headers.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
[bug#62307,core-updates,05/15] cross-base: Add cross arguments to hurd derivatives.
Update Hurd and fix build failures
- - -
-
-
-
2023-03-20
Josselin Poiret
New
«
1
2
3
»