Phillip Seeber
09b52c631a
cp2k: enable plumed plugin
...
cp2k: enable plumed plugin
cp2k: use mpicxx to figure out link lines
2023-03-16 14:30:27 +01:00
Weijia Wang
b3e468975f
Merge pull request #221402 from r-ryantm/auto-update/uarmsolver
...
uarmsolver: 0.2.4 -> 0.2.5
2023-03-16 09:09:24 +02:00
R. Ryantm
139df052d5
uarmsolver: 0.2.4 -> 0.2.5
2023-03-16 00:42:06 +00:00
Weijia Wang
b8aec5ff2d
Merge pull request #221107 from r-ryantm/auto-update/openhantek6022
...
openhantek6022: 3.3.2.1 -> 3.3.2.2
2023-03-15 22:09:12 +02:00
Martin Weinelt
9e4d592114
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/eve/default.nix
2023-03-14 16:49:37 +01:00
Weijia Wang
6bade5f7df
tamarin-prover: only use glibcLocales on linux
2023-03-14 15:55:12 +02:00
Martin Weinelt
6b67186fe9
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/crownstone-cloud/default.nix
- pkgs/development/python-modules/exrex/default.nix
- pkgs/development/python-modules/mkdocs-minify/default.nix
- pkgs/development/python-modules/myjwt/default.nix
- pkgs/development/tools/analysis/checkov/default.nix
2023-03-14 08:14:26 +01:00
Weijia Wang
5a0dde3bf1
Merge pull request #221042 from r-ryantm/auto-update/calc
...
calc: 2.14.1.3 -> 2.14.1.5
2023-03-14 08:23:20 +02:00
R. Ryantm
58a2c5a184
openhantek6022: 3.3.2.1 -> 3.3.2.2
2023-03-14 03:37:23 +00:00
Artturi
b978bf0f0f
Merge pull request #220570 from Artturin/fixlints1
2023-03-14 02:15:55 +02:00
R. Ryantm
70723fce93
calc: 2.14.1.3 -> 2.14.1.5
2023-03-13 18:59:18 +00:00
Vladimír Čunát
2d51a0e8ad
Merge branch 'master' into staging-next
2023-03-13 08:25:10 +01:00
Austin Seipp
787381926a
tamarin-prover: set LOCALE_ARCHIVE in wrapper
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2023-03-12 19:06:58 -05:00
Luflosi
e8f1fcd350
abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23
2023-03-12 18:10:19 -05:00
Martin Weinelt
5abe72f0b2
Merge remote-tracking branch 'origin/master' into staging-next
...
Conflicts:
- pkgs/development/python-modules/mdutils/default.nix
2023-03-12 15:59:15 +01:00
Mauricio Collares
652e253e26
Merge pull request #220559 from amesgen/fix-sage
...
sage: fix build by downgrading maxima to 5.45
2023-03-12 14:51:57 +01:00
Vladimír Čunát
1dd94ad62f
Merge branch 'master' into staging-next
2023-03-12 09:06:28 +01:00
R. Ryantm
77c83ddbc9
diamond: 2.1.4 -> 2.1.5
2023-03-11 18:22:58 +00:00
github-actions[bot]
140a35879a
Merge master into staging-next
2023-03-11 12:01:11 +00:00
Artturin
cab4a24c34
treewide: fix lints
...
Arg to lib.optional is a list
build time tool in buildInputs
2023-03-11 00:55:17 +02:00
amesgen
0a1a3e9d95
maxima-ecl: fix build by removing upstreamed patch
2023-03-10 21:57:12 +01:00
amesgen
70b827c60a
sage: fix build by downgrading maxima to 5.45
2023-03-10 21:55:54 +01:00
Martin Weinelt
ef91384e6f
Merge remote-tracking branch 'origin/master' into staging-next
2023-03-10 13:09:25 +01:00
Yueh-Shun Li
564e20e62d
Revert "root: remove the already-default CMAKE_INSTALL_*DIR flags" ( #220437 )
...
For some reason, this makes $out/bin/rootcint disappear
$out/bin/rootcint is a duplication of $out/bin/rootcling
for compatibility reason
This reverts commit c09e03c1a6
.
2023-03-10 01:48:11 -05:00
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