 OTABI TomoyaandGitHub
|
595abd52f6
|
python312Packages.angr: 9.2.153 -> 9.2.154 (#405830)
|
2025-05-10 19:46:05 +09:00 |
|
|
Pol DellaieraandGitHub
|
b462caa072
|
n98-magerun2: use php 8.3 (#405855)
|
2025-05-10 10:44:20 +00:00 |
|
|
OTABI TomoyaandGitHub
|
494f19ba68
|
python3Packages.oci: 2.142.0 -> 2.151.0 (#405777)
|
2025-05-10 19:40:45 +09:00 |
|
|
Nikolay KorotkiyandGitHub
|
5f833dd447
|
python313Packages.modbus-tk: 1.1.4 -> 1.1.5 (#405839)
|
2025-05-10 14:33:54 +04:00 |
|
|
Piotr Kwiecinski
|
14753ecd70
|
n98-magerun2: use php 8.3
|
2025-05-10 12:17:00 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
3bb8fa02e6
|
coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
9cac65b6db
|
coqPackages.mathcomp-algebra-tactics: 1.2.4 -> 1.2.5
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
3591786efe
|
coqPackages.mathcomp-tarjan: 1.0.2 -> 1.0.3
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
0e63dbec83
|
coqPackages.reglang: 1.2.1 -> 1.2.2
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
94394c3309
|
coqPackages.ssprove: 0.2.3 -> 0.2.4
|
2025-05-10 12:06:21 +02:00 |
|
|
Cyril CohenandVincent Laporte
|
c374d60d5f
|
coqPackages.ssprove: fix
ssprove now depends on mathcomp-word
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
5f5e129328
|
coqPackages.mathcomp-analysis: 1.9.0 -> 1.11.0
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
d87c87358f
|
coqPackages.deriving: 0.2.1 -> 0.2.2
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
0d66b56556
|
coqPackages.graph-theory: 0.9.4 -> 0.9.6
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
1119b1569d
|
coqPackages.multinomials: 2.3.0 -> 2.4.0
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
bc49669183
|
coqPackages.finmap: 2.1.0 -> 2.2.0
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
53b178a1f2
|
coqPackages.odd-order: 2.1.0 -> 2.2.0
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
d7fd05259c
|
coqPackages.gaia: 2.2 -> 2.3
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
cb817bb9db
|
coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
935b1cc6ba
|
coqPackages.fourcolor: 1.4.0 -> 1.4.1
|
2025-05-10 12:06:21 +02:00 |
|
|
Pierre RouxandVincent Laporte
|
42dba13fa6
|
coqPackages.mathcomp: 2.3.0 -> 2.4.0
|
2025-05-10 12:06:21 +02:00 |
|
|
|
bfaf0262cf
|
netbird: 0.43.2 -> 0.43.3 (#405781)
Co-authored-by: LoCrealloc <loc@locrealloc.de>
|
2025-05-10 09:56:43 +00:00 |
|
|
Bobby RongandGitHub
|
1c1385f930
|
vscodium: 1.99.32704 -> 1.99.32846 (#405379)
|
2025-05-10 17:47:39 +08:00 |
|
|
Paul HaerleandGitHub
|
9dba4b6669
|
gftp: workaround incompatible pointer types (#405643)
|
2025-05-10 11:38:09 +02:00 |
|
|
Robert ScottandGitHub
|
85a8a4121d
|
cpp-netlib: pin boost to 186, unbreak on darwin (#405480)
|
2025-05-10 10:37:22 +01:00 |
|
|
Paul HaerleandGitHub
|
36607ba6e6
|
installer/tools: fix grammatical error in docs (#388452)
|
2025-05-10 11:31:39 +02:00 |
|
|
Paul HaerleandGitHub
|
a95b29f443
|
alliance: Switch to GitHub repository, update to 2025 (#405665)
|
2025-05-10 11:28:51 +02:00 |
|
|
Paul HaerleandGitHub
|
7887414b49
|
canto-curses: Fix build failure using patch from arch (#405639)
|
2025-05-10 11:27:16 +02:00 |
|
|
Paul HaerleandGitHub
|
3d6f3e566e
|
balatro: 1.0.1n -> 1.0.1o (#405630)
|
2025-05-10 11:26:04 +02:00 |
|
|
|
920b60cb6b
|
antimatter-dimensions: 0-unstable-2024-10-16 -> 0-unstable-2025-05-08 (#405840)
Co-authored-by: amozeo <wroclaw223@outlook.com>
|
2025-05-10 09:22:50 +00:00 |
|
|
Paul HaerleandGitHub
|
5570e27309
|
proxmoxer: fix failing tests (#405671)
|
2025-05-10 11:19:52 +02:00 |
|
|
Nikolay KorotkiyandGitHub
|
fd88c0d4a7
|
vrcx: 2025.03.01 -> 2025.05.09 (#405574)
|
2025-05-10 13:09:48 +04:00 |
|
|
Fabian Affolter
|
5b52f27152
|
python313Packages.modbus-tk: 1.1.4 -> 1.1.5
|
2025-05-10 11:05:21 +02:00 |
|
|
R. Ryantm
|
b93976ee6d
|
antimatter-dimensions: 0-unstable-2024-10-16 -> 0-unstable-2025-05-08
|
2025-05-10 08:58:46 +00:00 |
|
|
Fabian AffolterandGitHub
|
b5d04938bf
|
python313Packages.cyclopts: 3.14.2 -> 3.15.0 (#405350)
|
2025-05-10 10:53:56 +02:00 |
|
|
Fabian Affolter
|
d00b194428
|
python312Packages.angr: 9.2.153 -> 9.2.154
Diff: https://github.com/angr/angr/compare/refs/tags/v9.2.153...refs/tags/v9.2.154
|
2025-05-10 10:49:38 +02:00 |
|
|
Fabian Affolter
|
1a4a32bd33
|
python313Packages.cle: 9.2.153 -> 9.2.154
|
2025-05-10 10:47:48 +02:00 |
|
|
Fabian Affolter
|
c7d519193d
|
python313Packages.claripy: 9.2.153 -> 9.2.154
Diff: https://github.com/angr/claripy/compare/refs/tags/v9.2.153...refs/tags/v9.2.154
|
2025-05-10 10:46:36 +02:00 |
|
|
Fabian Affolter
|
5bcdd6697c
|
python313Packages.pyvex: 9.2.153 -> 9.2.154
|
2025-05-10 10:46:23 +02:00 |
|
|
Fabian Affolter
|
3126a3ed3c
|
python313Packages.ailment: 9.2.153 -> 9.2.154
Diff: https://github.com/angr/ailment/compare/refs/tags/v9.2.153...refs/tags/v9.2.154
|
2025-05-10 10:45:18 +02:00 |
|
|
Fabian Affolter
|
97e3168583
|
python313Packages.archinfo: 9.2.153 -> 9.2.154
Diff: https://github.com/angr/archinfo/compare/refs/tags/v9.2.153...refs/tags/v9.2.154
|
2025-05-10 10:45:12 +02:00 |
|
|
|
397ce99517
|
myks: 4.8.1 -> 4.8.2 (#405746)
Co-authored-by: Zebradil <german.lashevich@gmail.com>
|
2025-05-10 08:43:26 +00:00 |
|
|
K900andGitHub
|
8af9c3e419
|
kdePackages: Frameworks 6.13 -> 6.14 (#405823)
|
2025-05-10 11:36:08 +03:00 |
|
|
K900
|
05762e3377
|
kdePackages: Frameworks 6.13 -> 6.14
|
2025-05-10 11:26:40 +03:00 |
|
|
Arne KellerandGitHub
|
d4b3be9800
|
conduktor-ctl: init at 0.4.0 (#355458)
|
2025-05-10 10:11:33 +02:00 |
|
|
Fabian AffolterandGitHub
|
007fabe5bd
|
python3Packages.oras: 0.2.29 -> 0.2.31 (#405735)
|
2025-05-10 10:03:32 +02:00 |
|
|
Fabian AffolterandGitHub
|
5eafee151f
|
deepsecrets: modernize, enable tests (#405398)
|
2025-05-10 10:00:05 +02:00 |
|
|
Fabian AffolterandGitHub
|
faedf307bb
|
python313Packages.model-checker: 0.9.19 -> 0.9.20 (#405352)
|
2025-05-10 09:55:50 +02:00 |
|
|
Arne KellerandGitHub
|
56fa2a1f55
|
python312Packages.connected-components-3d: init at 3.22.0 (#376480)
|
2025-05-10 09:46:22 +02:00 |
|
|
Pol DellaieraandGitHub
|
313155cc8a
|
python3Packages.{imagecodecs, sdflit, swcgeom}: init at {2025.3.30, 0.2.6, 0.19.3} (#399413)
|
2025-05-10 07:43:45 +00:00 |
|