 Nick CaoandGitHub
|
c32436ffbf
|
kurve: 2.1.0 -> 2.2.0 (#456152)
|
2025-10-28 20:26:41 +00:00 |
|
|
Nick CaoandGitHub
|
d8c0001936
|
ov: 0.44.0 -> 0.45.1 (#456148)
|
2025-10-28 20:26:09 +00:00 |
|
|
Philip TaronandGitHub
|
eed696f0f5
|
diffoscope: 304 -> 306 (#436117)
|
2025-10-28 20:25:32 +00:00 |
|
|
Nick CaoandGitHub
|
5d2c5f0d37
|
lock: 1.8.0 -> 1.8.1 (#456132)
|
2025-10-28 20:24:59 +00:00 |
|
|
Nick CaoandGitHub
|
0b79bb0ad3
|
python3Packages.libipld: 3.1.1 -> 3.2.0 (#456199)
|
2025-10-28 20:23:25 +00:00 |
|
|
Nick CaoandGitHub
|
93c63529e9
|
vscode-extensions.vscjava.vscode-java-dependency: 0.26.1 -> 0.26.2 (#456194)
|
2025-10-28 20:22:48 +00:00 |
|
|
Nick CaoandGitHub
|
6700e6723f
|
fcitx5-bamboo: 1.0.8 -> 1.0.9 (#456193)
|
2025-10-28 20:22:09 +00:00 |
|
|
Wolfgang WaltherandGitHub
|
8e540024f9
|
mmseqs2: avoid pkgsStatic (#456530)
|
2025-10-28 20:20:52 +00:00 |
|
|
Philip TaronandGitHub
|
dccea81dcc
|
portmidi: 2.0.6 -> 2.0.7 (#455906)
|
2025-10-28 20:20:43 +00:00 |
|
|
Nick CaoandGitHub
|
a06096c4ee
|
infrastructure-agent: 1.70.0 -> 1.71.0 (#456286)
|
2025-10-28 20:19:51 +00:00 |
|
|
Nick CaoandGitHub
|
102dd04633
|
lazysql: 0.4.2 -> 0.4.3 (#456285)
|
2025-10-28 20:19:19 +00:00 |
|
|
Nick CaoandGitHub
|
f0088a3be9
|
python3Packages.chromadb: 1.2.1 -> 1.2.2 (#456266)
|
2025-10-28 20:18:25 +00:00 |
|
|
Sergei TrofimovichandPhilip Taron
|
74cac9ba1a
|
diffoscope: 304 -> 306
Changes:
- https://diffoscope.org/news/diffoscope-304-released/
- https://diffoscope.org/news/diffoscope-305-released/
|
2025-10-28 13:18:05 -07:00 |
|
|
Nick CaoandGitHub
|
b709fce250
|
vue-language-server: 3.1.1 -> 3.1.2 (#456262)
|
2025-10-28 20:17:17 +00:00 |
|
|
Guillaume GirolandGitHub
|
818e52ff9d
|
racket: fix wrapGApp calls (#446925)
|
2025-10-28 20:07:53 +00:00 |
|
|
SandroandGitHub
|
9e0124a9dc
|
kapitano: remove kapitano (#453933)
|
2025-10-28 18:52:39 +00:00 |
|
|
Wolfgang Walther
|
580d05f24c
|
mmseqs2: avoid pkgsStatic
Pulling in a zstd built with possibly a different libc, from an entirely
different package set and putting it in nativeBuildInputs is.. brave!
|
2025-10-28 19:46:43 +01:00 |
|
|
Thomas GerbetandGitHub
|
7f2539ca08
|
strongswan: 6.0.2 -> 6.0.3 (#456279)
|
2025-10-28 18:43:16 +00:00 |
|
|
SandroandGitHub
|
daf09a669c
|
wallpaper-engine-plugin: Fix Cmake4 and QT 6.10 build issues (#456418)
|
2025-10-28 18:40:27 +00:00 |
|
|
Naïm Camille FavierandGitHub
|
d1983f34ae
|
agda: parameterize agda infrastructure by Agda executable name (#452961)
|
2025-10-28 18:36:04 +00:00 |
|
|
EmilyandGitHub
|
d766fcf75f
|
tests.top-level.platformEquality: Fix use of alias (#456512)
|
2025-10-28 18:33:50 +00:00 |
|
|
Philip TaronandGitHub
|
85fe7380cc
|
dependabot-cli: 1.76.1 -> 1.77.0 (#456513)
|
2025-10-28 18:18:10 +00:00 |
|
|
Philip TaronandGitHub
|
87d7dac3f3
|
libjodycode: 4.0.1 -> 4.1, jdupes: 1.29.0 -> 1.31.1 (#447825)
|
2025-10-28 18:15:20 +00:00 |
|
|
Philip TaronandGitHub
|
babb07d71f
|
rust-analyzer-unwrapped: 2025-08-25 -> 2025-10-27 (#456383)
|
2025-10-28 18:13:59 +00:00 |
|
|
Artturin
|
99d63d01cb
|
tests.top-level.platformEquality: Fix use of alias
|
2025-10-28 20:09:45 +02:00 |
|
|
Philip TaronandGitHub
|
24abe3a495
|
libmanette: 0.2.12 -> 0.2.13 (#452366)
|
2025-10-28 18:08:42 +00:00 |
|
|
nixpkgs-merge-bot[bot]andGitHub
|
6676e39cf1
|
signalbackup-tools: 20251021 -> 20251027-1 (#456284)
|
2025-10-28 18:07:55 +00:00 |
|
|
Philip TaronandGitHub
|
6b2ef08449
|
fheroes2: drop FHEROES2_STRICT_COMPILATION=1 (#451797)
|
2025-10-28 18:07:14 +00:00 |
|
|
R. Ryantm
|
eae9040730
|
dependabot-cli: 1.76.1 -> 1.77.0
|
2025-10-28 18:04:18 +00:00 |
|
|
dotlambdaandGitHub
|
708d213741
|
python3Packages.bpython: 0.25 -> 0.26 (#456487)
|
2025-10-28 17:45:28 +00:00 |
|
|
Masum RezaandGitHub
|
2d94c27842
|
ufetch: add nix-update-script (#454791)
|
2025-10-28 17:26:24 +00:00 |
|
|
Masum RezaandGitHub
|
08dacfca55
|
cosmic-ext-applet-caffeine: update license to GPL-2.0-only (#454821)
|
2025-10-28 17:26:24 +00:00 |
|
|
Silvan MosbergerandGitHub
|
51cf4d14b2
|
teams/nix-formatting: add Sereja313 (#456496)
|
2025-10-28 17:26:18 +00:00 |
|
|
Masum RezaandGitHub
|
4824595601
|
caffe: fix build with cmake 4 (#455066)
|
2025-10-28 17:25:33 +00:00 |
|
|
Wolfgang WaltherandGitHub
|
212980924e
|
various: fix eval (#456501)
|
2025-10-28 17:25:24 +00:00 |
|
|
Masum RezaandGitHub
|
ed1808da1c
|
chewing-editor: 0.1.1 -> 0.1.2 (#454126)
|
2025-10-28 17:25:17 +00:00 |
|
|
Masum RezaandGitHub
|
edf1e712cc
|
bicpl: unstable-2024-05-14 -> 0-unstable-2025-10-24 (#453316)
|
2025-10-28 17:24:52 +00:00 |
|
|
Masum RezaandGitHub
|
b6c47826f0
|
msgpuck: fix build with cmake4 (#454699)
|
2025-10-28 17:23:32 +00:00 |
|
|
Masum RezaandGitHub
|
3c32710427
|
auto-editor: 28.0.2 -> 29.2.0 (#454691)
|
2025-10-28 17:23:23 +00:00 |
|
|
Masum RezaandGitHub
|
e095052062
|
activemq: 6.1.7 -> 6.1.8 (#454727)
|
2025-10-28 17:22:45 +00:00 |
|
|
Masum RezaandGitHub
|
617270dccd
|
bluej: fix desktop executable name (#454825)
|
2025-10-28 17:22:40 +00:00 |
|
|
Carlos Tomé Cortiñas
|
55ac814fa9
|
Conditionally create symlink to agda-mode if present
|
2025-10-28 18:21:23 +01:00 |
|
|
Carlos Tomé Cortiñas
|
3c390383bc
|
Refactor agda/base.nix to use HelloWorld.agda file
|
2025-10-28 18:21:23 +01:00 |
|
|
Carlos Tomé Cortiñas
|
fc65416f41
|
Add myself as a maintainer
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
fdf4727164
|
maintainers: add Carlos Tomé Cortiñas
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
5882fce497
|
Incorporate suggestions
- land `HelloWorld.agda` and `TrivialBackend.hs` in files
- replace `runCommand` by `stdenvNoCC.mkDerivation`
- refactor asserts
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé CortiñasandPhilip Taron
|
4c64e800a3
|
Update pkgs/build-support/agda/default.nix
Co-authored-by: Philip Taron <philip.taron@gmail.com>
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
f933041b6c
|
Add test to override Agda package with custom backend
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
ab75be0a25
|
Refactor tests/agda.nix to support more tests
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
cd8deb7309
|
Revert change
|
2025-10-28 18:21:22 +01:00 |
|