Show patches with: Submitter = Josselin Poiret       |    Archived = No       |   144 patches
« 1 2 »
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 #6474 - - - --- 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 #5500 - - - --- 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 »