 Guilhem Saurel
|
cdcdbe2731
|
levmar: install new header
lm.h only contains a deprecation warning now
|
2025-10-28 19:54:35 +01:00 |
|
|
Guilhem Saurel
|
06083cc5ed
|
levmar: adopt
|
2025-10-28 19:54:35 +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 |
|
|
Carlos Tomé Cortiñas
|
a8967950c8
|
Remove agda-mode from executables
|
2025-10-28 18:21:22 +01:00 |
|
|
Carlos Tomé Cortiñas
|
0483e40bec
|
Replace hardcoded agda binary by name from package
|
2025-10-28 18:21:21 +01:00 |
|
|
Wolfgang Walther
|
c319ac6571
|
various: fix eval
runCommandNoCC has been renamed to runCommand and the former has
recently been turned into a throw.
|
2025-10-28 18:17:14 +01:00 |
|
|
Masum RezaandGitHub
|
e62c115e64
|
async-profiler: 4.1 -> 4.2 (#454798)
|
2025-10-28 17:16:44 +00:00 |
|
|
Jonas FrankeandJohn Titor
|
f929fa921d
|
bluej: fix desktop executable name
|
2025-10-28 22:46:00 +05:30 |
|
|
nixpkgs-merge-bot[bot]andGitHub
|
fb30959afc
|
slade-unstable: 3.2.8-unstable-2025-10-21 -> 3.2.8-unstable-2025-10-25 (#456314)
|
2025-10-28 17:12:19 +00:00 |
|
|
Masum RezaandGitHub
|
d9f5fa6ef7
|
integrity-scrub: 0.6.5 → 0.6.6; provide meta.mainProgram (#454905)
|
2025-10-28 17:12:05 +00:00 |
|
|
Masum RezaandGitHub
|
60a878f9d1
|
python3Packages.pbxproj: 4.3.0 -> 4.3.2 (#454862)
|
2025-10-28 17:11:32 +00:00 |
|
|
Masum RezaandGitHub
|
c3696dc990
|
lynis: 3.1.5 -> 3.1.6 (#454904)
|
2025-10-28 17:11:15 +00:00 |
|
|
Masum RezaandGitHub
|
645c7fadcd
|
papilo: 2.4.3 -> 2.4.4 (#454944)
|
2025-10-28 17:10:21 +00:00 |
|
|
Masum RezaandGitHub
|
73326624f7
|
converseen: 0.15.0.3 -> 0.15.1.0 (#454943)
|
2025-10-28 17:10:09 +00:00 |
|
|
Masum RezaandGitHub
|
b8c4006d95
|
webex: 45.6.2.32823 -> 45.10.0.33234 (#454936)
|
2025-10-28 17:09:56 +00:00 |
|
|
Masum RezaandGitHub
|
97eba2f29f
|
tart: 2.28.6 -> 2.30.0 (#454930)
|
2025-10-28 17:09:46 +00:00 |
|
|
Masum RezaandGitHub
|
dfabce268f
|
tome4: fix build, modernize (#454928)
|
2025-10-28 17:09:35 +00:00 |
|
|
Masum RezaandGitHub
|
0e6c627747
|
kotlin-native: 2.2.20 -> 2.2.21 (#454914)
|
2025-10-28 17:08:41 +00:00 |
|