Commits

Branch selector

 main

User selector

ncfavier

All time

Commit History

Commits on Dec 1, 2025

• weechat-unwrapped: 4.8.0 -> 4.8.1 (#466926)

  ncfavier

  authored
  13b5419

  Copy full SHA for 13b5419

• weechat-unwrapped: 4.7.2 -> 4.8.0 (#466618)

  ncfavier

  authored
  80d58a5

  Copy full SHA for 80d58a5

Commits on Nov 28, 2025

• build-support/agda: Keep `passthru` in `mkDerivation` (#465615)

  ncfavier

  authored
  4a71b0a

  Copy full SHA for 4a71b0a

Commits on Nov 26, 2025

• tmux: 3.5a -> 3.6 (#465187)

  ncfavier

  authored
  6bed1bb

  Copy full SHA for 6bed1bb

Commits on Nov 8, 2025

• nixosTests.agda.base: fix build (#459767)

  ncfavier

  authored
  16ac6b8

  Copy full SHA for 16ac6b8

Commits on Oct 28, 2025

• agda: parameterize agda infrastructure by Agda executable name (#452961)

  ncfavier

  authored
  d1983f3

  Copy full SHA for d1983f3

Commits on Oct 15, 2025

• ddnet: 19.4 -> 19.5 (#452220)

  ncfavier

  authored
  503e919

  Copy full SHA for 503e919

Commits on Oct 12, 2025

• agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05 (#451024)

  ncfavier

  authored
  daebcd8

  Copy full SHA for daebcd8

Commits on Oct 11, 2025

• agdaPackages.generic: drop (#451038)

  ncfavier

  authored
  f2d80df

  Copy full SHA for f2d80df

• agdaPackages.agdarsec: 0.4.1 -> 0.5.0-unstable-2025-08-05

  ncfavier

  committed
  0ed93ec

  Copy full SHA for 0ed93ec

Commits on Oct 9, 2025

• bspwm: 0.9.11 -> 0.9.12 (#450030)

  ncfavier

  authored
  5c326bf

  Copy full SHA for 5c326bf

Commits on Oct 8, 2025

• bspwm: 0.9.11 -> 0.9.12

  ncfavier

  committed
  af25a98

  Copy full SHA for af25a98

Commits on Oct 5, 2025

• Add an Agda team (#447957)

  ncfavier

  authored
  a871af0

  Copy full SHA for a871af0

Commits on Oct 4, 2025

• sxhkd: 0.6.2 -> 0.6.3 (#446875)

  ncfavier

  authored
  8fc5095

  Copy full SHA for 8fc5095

Commits on Oct 2, 2025

• haskellPackages.agda2hs: adopt

  ncfavier

  committed
  b89e10d

  Copy full SHA for b89e10d

• Add an Agda team

  ncfavier

  committed
  9ea1f78

  Copy full SHA for 9ea1f78

• agdaPackages.agda2hs: init at 1.3-unstable-2025-07-25 (#447925)

  ncfavier

  authored
  209483a

  Copy full SHA for 209483a

• agda.withPackages: add libraryFile to passthru (#447924)

  ncfavier

  authored
  b1de421

  Copy full SHA for b1de421

Commits on Sep 28, 2025

• sxhkd: 0.6.2 -> 0.6.3

  Show description for 19a7d2b
  ncfavier

  committed
  19a7d2b

  Copy full SHA for 19a7d2b

Commits on Sep 24, 2025

• bspwm: 0.9.10 -> 0.9.11

  Show description for 02c0a71
  ncfavier

  committed
  02c0a71

  Copy full SHA for 02c0a71

Commits on Aug 21, 2025

• make-{iso9660-image,squashfs,system-tarball}: drop references to build closure (#425700)

  ncfavier

  authored
  494a23f

  Copy full SHA for 494a23f

Commits on Aug 13, 2025

• agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3 (#430358)

  ncfavier

  authored
  c109ddf

  Copy full SHA for c109ddf

Commits on Aug 11, 2025

• agdaPackages.standard-library: 2.2-unstable-2025-07-03 -> 2.3

  Show description for 3da91e9
  ncfavier

  committed
  3da91e9

  Copy full SHA for 3da91e9

Commits on Aug 10, 2025

• agdaPackages.cubical: 0.8 -> 0.9

  Show description for b4ff9b5
  ncfavier

  committed
  b4ff9b5

  Copy full SHA for b4ff9b5

Commits on Aug 7, 2025

• nixos/resolveconf: not resetting package (#426557)

  ncfavier

  authored
  e4b933d

  Copy full SHA for e4b933d

Commits on Jul 28, 2025

• haskellPackages.agda2hs: fix build with Agda 2.8.0

  Show description for 53e8ad3
  

  ncfavier

  and

  sternenseemann

  committed
  53e8ad3

  Copy full SHA for 53e8ad3

Commits on Jul 24, 2025

• haskellPackages.Agda: fix build on aarch64-darwin (#427394)

  ncfavier

  authored
  317b72c

  Copy full SHA for 317b72c

Commits on Jul 22, 2025

• haskellPackages.Agda: fix build on aarch64-darwin

  ncfavier

  committed
  9895bd6

  Copy full SHA for 9895bd6

Commits on Jul 16, 2025

• tela-icon-theme: add propagated dependency on breeze, adwaita (#425592)

  ncfavier

  authored
  312f2be

  Copy full SHA for 312f2be

• haskellPackages.Agda: set `mainProgram`

  ncfavier

  committed
  30cee69

  Copy full SHA for 30cee69

• agda: use `getBin Agda` instead of `Agda.bin`

  Show description for 4d3c5d0
  ncfavier

  committed
  4d3c5d0

  Copy full SHA for 4d3c5d0

• agdaPackages: switch to `--build-library`

  Show description for 1288f57
  ncfavier

  committed
  1288f57

  Copy full SHA for 1288f57

Commits on Jul 15, 2025

• tela-icon-theme: don't check for broken symlinks

  Show description for 9fab7d3
  ncfavier

  committed
  9fab7d3

  Copy full SHA for 9fab7d3

• tela-icon-theme: add propagated dependency on breeze, adwaita

  Show description for bdc5515
  ncfavier

  committed
  bdc5515

  Copy full SHA for bdc5515

• xfce.thunar: Expose unwrapped derivation

  Show description for e533088
  

  ncfavier

  authored and

  bobby285271

  committed
  e533088

  Copy full SHA for e533088

Pagination

Previous

Next