R. Ryantm
bac54b6e1b
eigenmath: unstable-2023-10-26 -> unstable-2023-11-17
2023-11-18 21:18:16 +00:00
TelepathicWalrus
88387cffd2
update sources
2023-11-18 11:37:58 +00:00
Adam Joseph
c7e0f6b905
treewide: s_targetPlatform_hostPlatform_ in non-compiler packages
...
stdenv.targetPlatform really shouldn't be used by software that
doesn't generate or manipulate binaries. I reviewed all uses of
targetPlatform outside of pkgs/development/compilers and pkgs/stdenv
and replaced those which weren't involved in something which fits
these criteria.
2023-11-17 08:07:34 +00:00
annalee
38eccd74c3
eprover: update hash - target modified inplace
...
the last commit was Wed Nov 15 13:09:21 2023 +0000 but the target, E.tgz
was modified at 2023-11-15 23:29 (assuming utc)
https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/
2023-11-17 04:12:46 +00:00
github-actions[bot]
dba5c9ef4e
Merge master into staging-next
2023-11-16 18:01:17 +00:00
Jeremy Fleischman
d0bec347c4
kicadAddons.kikit,kicadAddons.kikit-library: init at 1.3.0
...
Create a new kicadAddons package set, and a mechanism to override
kicad to bundle addons.
Co-authored-by: Rohit <rohitsutradhar311@gmail.com>
Co-authored-by: Jeremy Fleischman <jeremyfleischman@gmail.com>
Co-authored-by: Shahar "Dawn" Or <mightyiampresence@gmail.com>
Co-authored-by: Alejandro Sanchez Medina <alejandrosanchzmedina@gmail.com>
Co-authored-by: Matúš Ferech <matus.ferech@gmail.com>
2023-11-16 21:24:05 +07:00
Vladimír Čunát
0fe5300699
Merge branch 'master' into staging-next
2023-11-16 09:49:24 +01:00
7c6f434c
91c993afb9
Merge pull request #267664 from r-ryantm/auto-update/eprover
...
eprover: 2.6 -> 3.0
2023-11-15 23:52:24 +00:00
Alex Martens
0e1c4b8429
verilator: 5.016 -> 5.018
2023-11-15 14:54:37 -06:00
Nick Cao
4211246b55
Merge pull request #267679 from r-ryantm/auto-update/picard-tools
...
picard-tools: 3.1.0 -> 3.1.1
2023-11-15 11:08:55 -05:00
R. Ryantm
282aede4e4
picard-tools: 3.1.0 -> 3.1.1
2023-11-15 14:35:32 +00:00
R. Ryantm
e13386b72e
eprover: 2.6 -> 3.0
2023-11-15 13:09:21 +00:00
Vladimír Čunát
c46eae0f35
Merge branch 'master' into staging-next
2023-11-15 07:33:10 +01:00
Mario Rodas
5268a6e24b
Merge pull request #267372 from cu1ch3n/update-abella
...
abella: 2.0.7 -> 2.0.8
2023-11-14 19:02:22 -05:00
github-actions[bot]
6cc772a6fa
Merge master into staging-next
2023-11-14 18:01:11 +00:00
Madoura
9709e96e1e
treewide: make 'gpuBackend' use 'config.(cuda|rocm)Support'
2023-11-14 08:44:42 -06:00
Chen
109bef7af3
abella: 2.0.7 -> 2.0.8
2023-11-14 13:38:26 +08:00
github-actions[bot]
772c3bbbf5
Merge master into staging-next
2023-11-14 00:02:14 +00:00
Pascal Bach
f524257148
Merge pull request #266008 from r-ryantm/auto-update/dsview
...
dsview: 1.3.0 -> 1.3.1
2023-11-13 22:16:44 +01:00
Fabián Heredia Montiel
884449105e
Merge remote-tracking branch 'origin/master' into staging-next
2023-11-13 14:31:51 -06:00
Artturi
b5bd1053d2
Merge pull request #266273 from evils/xnec2c
2023-11-13 21:17:11 +02:00
Uri Shaked
4335400d78
magic-vlsi: 8.3.446 -> 8.3.447
2023-11-13 11:30:40 +02:00
Weijia Wang
74d102ce50
Merge branch 'master' into staging-next
2023-11-12 19:45:20 +01:00
Uri Shaked
ac5c40ee45
magic-vlsi: 8.3.277 -> 8.3.446
2023-11-12 12:01:48 -06:00
github-actions[bot]
eb26e06e9b
Merge master into staging-next
2023-11-12 06:01:07 +00:00
Pierre Bourdon
4098144884
Merge pull request #266486 from Luflosi/update/yosys
...
yosys: 0.34 -> 0.35
2023-11-12 03:24:48 +01:00
github-actions[bot]
9776723357
Merge master into staging-next
2023-11-11 18:00:58 +00:00
Anthony Roussel
e30f48be94
treewide: fix redirected and broken URLs
...
Using the script in maintainers/scripts/update-redirected-urls.sh
2023-11-11 10:49:01 +01:00
Weijia Wang
d8ebb73023
Merge branch 'master' into staging-next
2023-11-10 16:25:02 +01:00
7c6f434c
5c93b37109
Merge pull request #264760 from r-ryantm/auto-update/R
...
R: 4.3.1 -> 4.3.2
2023-11-10 15:12:42 +00:00
Alyssa Ross
afabc4a15d
Merge remote-tracking branch 'origin/master' into HEAD
...
Conflicts:
pkgs/development/libraries/SDL2/default.nix
2023-11-10 15:18:19 +01:00
Renato Garcia
3c87cb32f0
snakemake: 7.29.0 -> 7.32.4 ( #266543 )
2023-11-10 06:48:45 -05:00
github-actions[bot]
b55905ceb6
Merge master into staging-next
2023-11-10 06:01:22 +00:00
Silvan Mosberger
fb2e311d1e
root5: Fix build with Python 3.11
...
Was broken since the Python update from https://github.com/NixOS/nixpkgs/pull/251878
This should fix the apfelgrid and applgrid builds, not tested yet
2023-11-09 19:01:58 +01:00
github-actions[bot]
e112f9b8bb
Merge master into staging-next
2023-11-09 18:00:56 +00:00
R. Ryantm
70bc041b9c
bedtools: 2.31.0 -> 2.31.1
2023-11-09 06:18:08 +00:00
Luflosi
783a01c64e
abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13
2023-11-08 15:21:35 +01:00
Luflosi
9882bdee1e
abc-verifier: cleanup
...
- Move each function argument into its own line
- Use `finalAttrs` instead of the `rec` keyword to properly handle overriding
- Run the `preInstall` and `postInstall` hooks in the `installPhase`
- Use `install` instead of `mkdir -p` and `mv` to be more concise
2023-11-08 15:21:34 +01:00
Luflosi
0942f79dda
abc-verifier: add Luflosi as maintainer
2023-11-08 15:21:31 +01:00
Evils
47a196d1f8
xnec2c: add wrapGAppsHook
2023-11-08 14:47:04 +01:00
github-actions[bot]
263a89fa08
Merge master into staging-next
2023-11-08 12:01:20 +00:00
Weijia Wang
67fc292e5a
Merge pull request #266136 from wegank/stellarium-fix
...
stellarium: fix version
2023-11-08 12:12:26 +01:00
Adam Joseph
ba2ed469c2
Merge branch 'master' into staging-next
2023-11-08 06:15:46 +00:00
Justin Bedő
5cd7971391
Merge pull request #264872 from r-ryantm/auto-update/last
...
last: 1471 -> 1499
2023-11-08 09:21:48 +11:00
Artturi
d24da52844
Merge pull request #265764 from amjoseph-nixpkgs/pr/pythonForBuild
2023-11-08 00:13:25 +02:00
Weijia Wang
73698c7c06
stellarium: fix version
2023-11-07 21:23:26 +01:00
github-actions[bot]
bed56440cb
Merge master into staging-next
2023-11-07 12:00:57 +00:00
R. Ryantm
6ff2f664cd
polymake: 4.10 -> 4.11
2023-11-07 10:26:26 +00:00
Weijia Wang
1136113354
Merge pull request #265975 from wegank/readstat-clang-16
...
readstat: fix build with clang 16
2023-11-07 09:22:07 +01:00
R. Ryantm
71e8d7a47b
dsview: 1.3.0 -> 1.3.1
2023-11-07 07:00:00 +00:00
