 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 |
|
|
loner
|
49af74ba0d
|
kapitano: remove kapitano
|
2025-10-29 01:17:04 +08: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 |
|
|
teohz
|
bc4c68594c
|
i3a: 2.1.1 -> 2.4.0
|
2025-10-28 17:14:19 +00:00 |
|
|
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 |
|
|
Masum RezaandGitHub
|
cab12d5954
|
wireshark: 4.4.9 -> 4.6.0 (#454907)
|
2025-10-28 17:08:16 +00:00 |
|
|
Masum RezaandGitHub
|
e9574b1148
|
rpcs3: Add upstream patch for Qt 6.10+ (#454957)
|
2025-10-28 17:07:42 +00:00 |
|
|
Masum RezaandGitHub
|
af322e3815
|
nginxModules.lua: 0.10.26 -> 0.10.28 (#454960)
|
2025-10-28 17:07:27 +00:00 |
|
|
Wolfgang Walther
|
6691c568b0
|
nixosTests.gitlab: fix eval
This was recently turned into a throw.
|
2025-10-28 18:06:49 +01:00 |
|
|
Masum RezaandGitHub
|
e65c657e7b
|
gate: 0.53.0 -> 0.57.1 (#454966)
|
2025-10-28 17:06:44 +00:00 |
|
|
Masum RezaandGitHub
|
d8471aaf06
|
lychee: 0.20.1 -> 0.21.0 (#454979)
|
2025-10-28 17:06:29 +00:00 |
|
|
Masum RezaandGitHub
|
1bb69a0c10
|
zoekt: 3.7.2-2-unstable-2025-10-16 -> 3.7.2-2-unstable-2025-10-24 (#456357)
|
2025-10-28 17:01:52 +00:00 |
|
|
R. Ryantm
|
1acb4f040f
|
python3Packages.elasticsearch8: 8.19.1 -> 8.19.2
|
2025-10-28 16:59:58 +00:00 |
|
|
Gaétan LepageandGitHub
|
51aa6ea54a
|
vimPlugins.vim-buftabline: init at 2020-12-13 (#456435)
|
2025-10-28 16:55:12 +00:00 |
|
|
George Miao
|
28b9aed427
|
coqPackages.QuickChick: 2.0.4 -> 2.1.1
|
2025-10-28 12:54:54 -04:00 |
|
|
Masum RezaandGitHub
|
d87ba09cf6
|
vesktop: 1.5.8 -> 1.6.0 (#456343)
|
2025-10-28 16:54:46 +00:00 |
|
|
Masum RezaandGitHub
|
9711fddce4
|
distrobox: 1.8.1.2 -> 1.8.2.0 (#456467)
|
2025-10-28 16:54:30 +00:00 |
|
|
K900andGitHub
|
49d4e934a4
|
xwayland: 24.1.8 -> 24.1.9 (#456494)
|
2025-10-28 16:53:04 +00:00 |
|
|
Sergey Gulin
|
c663e7f914
|
teams/nix-formatting: add Sereja313
Adding myself to the maintainers list and the nix-formatting team.
|
2025-10-28 19:52:42 +03:00 |
|
|
Philip TaronandGitHub
|
c282a56221
|
drat: init at 0.1.3-unstable-2024-01-07 (#451809)
|
2025-10-28 16:49:12 +00:00 |
|
|
SandroandGitHub
|
72865d2134
|
gitfetch: init at 1.2.1 (#454978)
|
2025-10-28 16:42:49 +00:00 |
|
|
K900
|
25a7f5b821
|
xwayland: 24.1.8 -> 24.1.9
|
2025-10-28 19:41:24 +03:00 |
|
|
Robert HensingandGitHub
|
586961172a
|
lib/modules: Report error for unsupported t // { check = ...; } (#454964)
|
2025-10-28 16:40:39 +00:00 |
|
|
R. Ryantm
|
4a91d3af49
|
python3Packages.plugwise: 1.8.2 -> 1.8.3
|
2025-10-28 16:36:17 +00:00 |
|
|
Philip TaronandGitHub
|
81f2a1169e
|
fetch{url,zip,git}: restructure with lib.extendMkDerivation (#455994)
|
2025-10-28 16:35:28 +00:00 |
|
|
Gaetan Lepage
|
68bbfa549b
|
python3Packages.torchvision-bin: 0.23.0 -> 0.24.0
Diff: https://github.com/pytorch/vision/compare/v0.23.0...v0.24.0
Changelog: https://github.com/pytorch/vision/releases/tag/v0.24.0
|
2025-10-28 16:32:19 +00:00 |
|