Martin Weinelt
4729f61158
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-08 15:04:13 +01:00
Doron Behar
ba4d56e20e
tamarin-prover: install vim-plugin to nvim/site
2023-03-08 12:32:40 +02:00
github-actions[bot]
f1b48b2a95
Merge master into staging-next
2023-03-07 18:01:12 +00:00
R. RyanTM
02cd0a5dfc
sherpa: 2.2.13 -> 2.2.14 ( #220016 )
2023-03-07 12:47:54 -05:00
Martin Weinelt
e3f019bb71
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-07 15:05:00 +01:00
Atemu
acdc303ed7
Merge pull request #219836 from wegank/leo2-darwin
...
leo2, statverif: add darwin support
2023-03-07 13:24:35 +01:00
github-actions[bot]
fa94414f70
Merge master into staging-next
2023-03-07 00:02:41 +00:00
Doron Behar
33c9fd85e5
Merge pull request #219838 from alyaeanyx/qalculate-4.6.0
...
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.1 -> 4.6.0
2023-03-07 01:11:37 +02:00
Weijia Wang
3d70562dfd
leo2: add darwin support
2023-03-07 00:10:09 +02:00
Ilan Joselevich
e398da1460
Merge pull request #219606 from wegank/vampire-aarch64
...
vampire: unbreak on aarch64-linux
2023-03-06 22:19:54 +02:00
Martin Weinelt
bcf6c81a88
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-06 16:55:14 +00:00
Samuel Ainsworth
e1fbe85b0a
Merge pull request #218265 from SomeoneSerge/hotfix-nvcc-gcc-incompatibility
...
cudaPackages: point nvcc at a compatible -ccbin
2023-03-06 11:38:18 -05:00
alyaeanyx
2d1959e445
libqalculate, qalculate-gtk: 4.5.1 -> 4.6.0
2023-03-06 15:17:20 +01:00
K900
2fe3640540
Merge pull request #219425 from wegank/gcc12-cleanup
...
treewide: remove -lgcc from NIX_LDFLAGS
2023-03-06 17:05:12 +03:00
github-actions[bot]
a5961d9534
Merge master into staging-next
2023-03-06 12:01:40 +00:00
Weijia Wang
55bb9cd6c0
Merge pull request #219604 from wegank/glsurf-ocaml
...
glsurf: migrate to OCaml 4.14
2023-03-06 11:05:05 +02:00
github-actions[bot]
cb98531909
Merge master into staging-next
2023-03-05 18:01:28 +00:00
Nick Cao
794f34657e
Merge pull request #219625 from NickCao/eigenmath
...
eigenmath: init at unstable-2023-03-05
2023-03-05 23:20:20 +08:00
Martin Weinelt
8a085cd8e3
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-05 15:36:16 +01:00
Weijia Wang
e6725b74f8
Merge pull request #219515 from r-ryantm/auto-update/diamond
...
diamond: 2.1.3 -> 2.1.4
2023-03-05 13:59:24 +02:00
Guillaume Girol
768a866917
Merge pull request #216864 from ShamrockLee/root-debug-info
...
root: separateDebugInfo = true
2023-03-05 10:28:50 +00:00
Weijia Wang
a56529a95f
glsurf: fix runtime error
2023-03-05 12:05:39 +02:00
Nick Cao
32b51c198f
eigenmath: init at unstable-2023-03-05
2023-03-05 16:17:38 +08:00
github-actions[bot]
6413316565
Merge master into staging-next
2023-03-05 06:01:04 +00:00
Doron Behar
a1240f6b4a
Merge pull request #219171 from doronbehar/pkg/maxima
...
maxima: 5.45.1 -> 5.46.0
2023-03-05 07:58:10 +02:00
Martin Weinelt
c76553c9a6
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-05 01:14:06 +00:00
Weijia Wang
3796e59136
vampire: unbreak on aarch64-linux
2023-03-05 02:21:12 +02:00
Weijia Wang
cc4169d737
glsurf: migrate to OCaml 4.14
2023-03-05 02:03:44 +02:00
Weijia Wang
1148f28242
cubicle: set env instead of postPatch
2023-03-05 01:44:26 +02:00
Yueh-Shun Li
b96226578e
root: specify separateDebugInfo = true for all pltforms
2023-03-05 03:30:17 +08:00
R. Ryantm
e175a2ea68
diamond: 2.1.3 -> 2.1.4
2023-03-04 15:44:53 +00:00
Weijia Wang
ac62a206b7
root: remove -lgcc from NIX_LDFLAGS
2023-03-04 11:51:34 +02:00
Yueh-Shun Li
c89c22a9c2
root: separateDebugInfo = true on Linux
2023-03-04 15:05:26 +08:00
Martin Weinelt
d0286ecd24
Merge remote-tracking branch 'origin/staging' into staging-next
2023-03-04 01:42:06 +00:00
Someone Serge
d378cc6fb2
opencv4: respect config.cudaCapabilities
...
This is needed for faster builds when debugging the opencv derivation,
and it's more consistent with other cuda-enabled packages
-DCUDA_GENERATION seems to expect architecture names, so we refactor
cudaFlags to facilitate easier extraction of the configured archnames
2023-03-04 00:59:21 +02:00
Justin Bedő
5ba0152b6c
Merge pull request #218998 from r-ryantm/auto-update/picard-tools
...
picard-tools: 2.27.5 -> 3.0.0
2023-03-03 22:26:27 +00:00
Doron Behar
f002f6e8ab
wxmaxima: 22.12.0 -> 23.02.1
...
Diff: https://github.com/wxMaxima-developers/wxmaxima/compare/Version-22.12.0...23.02.1
2023-03-02 15:11:08 +02:00
Doron Behar
b53da37836
maxima: 5.45.1 -> 5.46.0
2023-03-02 15:11:00 +02:00
github-actions[bot]
736c488efe
Merge staging-next into staging
2023-03-01 18:01:48 +00:00
R. Ryantm
99785ee90e
picard-tools: 2.27.5 -> 3.0.0
2023-03-01 14:43:38 +00:00
Sandro
2c6a017a7e
Merge pull request #217622 from ksenia-portu/mathematica
...
mathematica: 13.2.0 -> 13.2.1
2023-03-01 13:32:33 +01:00
github-actions[bot]
5f2d948a2c
Merge staging-next into staging
2023-03-01 12:02:17 +00:00
Sandro
b687a76e0e
Merge pull request #217982 from pmiddend/crystfel-0.10.2
...
crystfel: 0.10.1 → 0.10.2
2023-03-01 11:45:16 +01:00
Martin Weinelt
3686005e6e
Merge remote-tracking branch 'origin/staging-next' into staging
2023-02-28 21:17:51 +00:00
Weijia Wang
4389f86425
Merge pull request #211867 from wegank/scilab-bin-refactor
...
scilab-bin: refactor
2023-02-28 22:29:34 +02:00
Weijia Wang
ccd9d6da1e
Merge pull request #218118 from r-ryantm/auto-update/diamond
...
diamond: 2.1.1 -> 2.1.3
2023-02-27 21:28:18 +02:00
Artturi
1c6a1e5650
Merge pull request #218500 from alyssais/pythonForBuild
2023-02-27 18:17:27 +02:00
Weijia Wang
21bb99733d
Merge pull request #218342 from r-ryantm/auto-update/bcftools
...
bcftools: 1.16 -> 1.17
2023-02-27 18:02:55 +02:00
Philipp Middendorf
fca0501c76
crystfel: 0.10.1 → 0.10.2
2023-02-27 09:01:51 +01:00
Alyssa Ross
2bfa93e01c
treewide: python{ => .pythonForBuild}.interpreter
...
It won't be enough to fix cross in all cases, but it is in at least
one: pywayland. I've only made the change in cases I'm confident it's
correct, as it would be wrong to change this when python.interpreter
is used in wrappers, and possibly when it's used for running tests.
2023-02-26 20:26:17 +00:00
