Commit Graph

9144 Commits

Author SHA1 Message Date
Nick Cao
48a8aef2f3
Merge pull request #294100 from r-ryantm/auto-update/eigenmath
eigenmath: unstable-2024-02-25 -> unstable-2024-03-06
2024-03-07 12:57:05 -05:00
R. Ryantm
f4a362ed25 eigenmath: unstable-2024-02-25 -> unstable-2024-03-06 2024-03-07 17:49:19 +00:00
Robert Hensing
7d2a83e6c2 Merge branch 'master' into HEAD 2024-03-07 18:39:12 +01:00
Samuel Ainsworth
a417c4b9ec
Merge pull request #293773 from GaetanLepage/mujoco
mujoco: 3.1.2 -> 3.1.3
2024-03-07 11:03:32 -05:00
Weijia Wang
13a97affb1
Merge pull request #291880 from r-ryantm/auto-update/pari
pari: 2.15.4 -> 2.15.5
2024-03-07 16:56:45 +01:00
Gaetan Lepage
d62f208672 mujoco: 3.1.2 -> 3.1.3
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.2...3.1.3

Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.3
2024-03-07 15:41:37 +01:00
Weijia Wang
dba4cc979f
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.15 -> 5.11.21
2024-03-07 15:23:07 +01:00
7c6f434c
40ddcd77cf
Merge pull request #293918 from r-ryantm/auto-update/opensmt
opensmt: 2.5.2 -> 2.6.0
2024-03-07 11:22:39 +00:00
Weijia Wang
b2a57ed0b9
Merge pull request #285423 from r-ryantm/auto-update/diamond
diamond: 2.1.8 -> 2.1.9
2024-03-07 11:24:20 +01:00
Weijia Wang
c02fcb5130
Merge pull request #287668 from r-ryantm/auto-update/igv
igv: 2.17.1 -> 2.17.2
2024-03-07 09:31:05 +01:00
Weijia Wang
05bdea1c17
Merge pull request #291482 from r-ryantm/auto-update/verilator
verilator: 5.020 -> 5.022
2024-03-07 08:08:34 +01:00
Weijia Wang
cbf8d3d567
Merge pull request #292044 from r-ryantm/auto-update/mavproxy
mavproxy: 1.8.66 -> 1.8.70
2024-03-07 07:58:16 +01:00
Mario Rodas
66e4e61595 elan: revert temporary directory creation 2024-03-07 04:20:00 +00:00
R. Ryantm
08a8c74c4b opensmt: 2.5.2 -> 2.6.0 2024-03-07 01:36:53 +00:00
github-actions[bot]
8534fb2f53
Merge master into haskell-updates 2024-03-07 00:10:05 +00:00
Weijia Wang
d83c961db0
Merge pull request #289177 from r-ryantm/auto-update/clingcon
clingcon: 5.2.0 -> 5.2.1
2024-03-06 23:48:05 +01:00
Weijia Wang
aac102629b
Merge pull request #290917 from r-ryantm/auto-update/magic-vlsi
magic-vlsi: 8.3.460 -> 8.3.463
2024-03-06 22:24:44 +01:00
R. Ryantm
9bb1834bfa cadical: 1.9.4 -> 1.9.5 2024-03-06 15:23:48 +00:00
R. Ryantm
6473b3f6b7 getdp: 3.5.0 -> 3.6.0 2024-03-06 02:37:46 +00:00
R. Ryantm
66d4364107 magic-vlsi: 8.3.460 -> 8.3.463 2024-03-05 20:26:29 +00:00
Markus Kowalewski
d73e602b44 gromacs: 2024 -> 2024.1 2024-03-05 14:38:54 +01:00
github-actions[bot]
1ad8409e69
Merge master into haskell-updates 2024-03-05 00:12:06 +00:00
Mario Rodas
4ca2b298cc lean4: 4.6.0 -> 4.6.1
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1

Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
2024-03-04 04:20:00 +00:00
github-actions[bot]
153ed76492
Merge master into haskell-updates 2024-03-04 00:13:07 +00:00
Alois Wohlschlager
aecaeee645
geogebra: fix 3D view again 2024-03-03 20:05:36 +01:00
github-actions[bot]
b74f04cf79
Merge master into haskell-updates 2024-03-03 00:13:21 +00:00
R. Ryantm
16d5b925a8 lammps-mpi: 2Aug2023_update2 -> 2Aug2023_update3 2024-03-02 20:33:42 +00:00
Doron Behar
bef4ada0eb
Merge pull request #292584 from r-ryantm/auto-update/wxmaxima
wxmaxima: 24.02.1 -> 24.02.2
2024-03-02 18:21:28 +02:00
R. Ryantm
b4acd43269 cvc5: 1.1.1 -> 1.1.2 2024-03-02 04:58:08 +00:00
Mario Rodas
37d0669466
Merge pull request #287403 from trofi/graphia-gcc-13-fix-update
graphia: 3.2 -> 4.2
2024-03-01 23:26:37 -05:00
github-actions[bot]
38eff76eca
Merge master into haskell-updates 2024-03-02 00:11:53 +00:00
R. Ryantm
3f388279f7 nnpdf: 4.0.8 -> 4.0.9 2024-03-01 12:36:01 -05:00
R. Ryantm
39b24670d7 wxmaxima: 24.02.1 -> 24.02.2 2024-03-01 13:40:14 +00:00
Mario Rodas
7767a0f22d
Merge pull request #292202 from marsam/update-lean4
lean4: 4.5.0 -> 4.6.0
2024-02-29 20:49:17 -05:00
github-actions[bot]
a1ed79952d
Merge master into haskell-updates 2024-03-01 00:14:10 +00:00
Justin Bedő
5deb2a3b18
Merge pull request #289911 from r-ryantm/auto-update/last
last: 1541 -> 1542
2024-03-01 08:59:19 +11:00
github-actions[bot]
47e7b83fd1
Merge master into haskell-updates 2024-02-29 00:12:06 +00:00
R. Ryantm
93030f9ff7 mavproxy: 1.8.66 -> 1.8.70 2024-02-28 09:50:10 +00:00
R. Ryantm
c2338e336f eigenmath: unstable-2024-02-04 -> unstable-2024-02-25 2024-02-28 07:51:09 +00:00
Mario Rodas
468b7bae7f lean4: 4.5.0 -> 4.6.0
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0

Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
2024-02-28 04:20:00 +00:00
R. Ryantm
9b570f04bc pari: 2.15.4 -> 2.15.5 2024-02-27 15:53:35 +00:00
R. Ryantm
a8a2cc301b verilator: 5.020 -> 5.022 2024-02-26 05:26:02 +00:00
github-actions[bot]
70706e07ef
Merge master into haskell-updates 2024-02-26 00:12:47 +00:00
Nick Cao
c063b9b052
Merge pull request #291307 from trofi/sortmerna-gcc-13-fix
sortmerna: fix `gcc-13` build
2024-02-25 11:12:12 -05:00
Sergei Trofimovich
0c544b0f0f sortmerna: fix gcc-13 build
Without the change the build on `master` fails as
https://hydra.nixos.org/build/249070958:

    In file included from /build/source/src/sortmerna/kseq_load.cpp:38:
    /build/source/include/kseq_load.hpp:61:12: error: 'uint64_t' has not been declared
       61 |            uint64_t number_total_read,
          |            ^~~~~~~~
2024-02-25 07:49:10 +00:00
github-actions[bot]
257171f024
Merge master into haskell-updates 2024-02-25 00:13:49 +00:00
Sergei Trofimovich
b4e6152dc5 starspace: mark broken
THe build fails against `zlib-1.3` in `master` as
https://hydra.nixos.org/build/249158742:

    3rdparty/zlib.h:1468:32: error: expected initializer before 'Z_ARG'
     1468 | ZEXTERN int ZEXPORTVA gzprintf Z_ARG((gzFile file, const char *format, ...));
          |                                ^~~~~

The upstream repository did not see updates for past 5 years and is
archived. Let's schedule it for removal.
2024-02-24 22:44:20 +00:00
github-actions[bot]
57bbe4245f
Merge master into haskell-updates 2024-02-24 00:11:45 +00:00
Fabián Heredia Montiel
db1ee6dfe6 Merge remote-tracking branch 'origin/master' into staging-next
fastcdr was moved to by-name

Related to:

- https://github.com/NixOS/nixpkgs/pull/290836
2024-02-23 16:47:01 -06:00
Pol Dellaiera
6c2979370b
Merge pull request #290850 from raboof/gnucap-by-name
gnucap: move to by-name
2024-02-23 22:58:44 +01:00
github-actions[bot]
b67dbe0ff1
Merge master into staging-next 2024-02-23 18:01:06 +00:00
R. Ryantm
6643d56edb snakemake: 8.4.8 -> 8.4.12 2024-02-23 12:38:33 -05:00
github-actions[bot]
d08f9b5833
Merge master into staging-next 2024-02-23 12:01:18 +00:00
Luke Granger-Brown
ed88887f50
Merge pull request #290693 from simonhollingshead/boolector-3.2.3-plus-cpp14
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
2024-02-23 11:19:22 +00:00
Mario Rodas
03c08e4262
Merge pull request #290735 from marsam/update-elan
elan: 3.1.0 -> 3.1.1
2024-02-23 06:11:10 -05:00
Arnout Engelen
68d9ecff4c
gnucap: move to by-name
tested gnucap-full still works as well
2024-02-23 12:01:37 +01:00
github-actions[bot]
c1d60ca8ac
Merge master into haskell-updates 2024-02-23 00:12:05 +00:00
Justin Bedő
26037c1a65
Merge pull request #290162 from trofi/octopus-caller-gcc-13-fix
octopus-caller: fix `gcc-13` build failure (drop `-Werror`)
2024-02-23 09:38:42 +11:00
markuskowa
b665514a11
Merge pull request #290665 from markuskowa/fix-gromacs
gromacs: fix CUDA build
2024-02-22 22:01:26 +01:00
Simon Hollingshead
f0b157a764 boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3
cc13f371c0
2024-02-22 19:48:14 +00:00
Markus Kowalewski
f6616d2e3a gromacs: require single precssion when building with CUDA 2024-02-22 17:47:11 +01:00
Markus Kowalewski
eb93eb95ac gromacs: fix CUDA build 2024-02-22 17:39:02 +01:00
Mauricio Collares
464832df1d
Merge pull request #290040 from r-ryantm/auto-update/primesieve
primesieve: 11.2 -> 12.0
2024-02-22 10:21:06 +01:00
Fabian Affolter
85611f8249
Merge pull request #290454 from fabaff/strictdoc-fix
strictdoc: refactor
2024-02-22 08:33:27 +01:00
Mario Rodas
e4de5ceffd elan: 3.1.0 -> 3.1.1
Diff: https://github.com/leanprover/elan/compare/v3.1.0...v3.1.1

Changelog: https://github.com/leanprover/elan/blob/v3.1.1/CHANGELOG.md
2024-02-22 04:20:00 +00:00
github-actions[bot]
3508418a67
Merge master into haskell-updates 2024-02-22 00:12:14 +00:00
Nikolay Korotkiy
ca4179166e
Merge pull request #290031 from voidIess/master
geogebra: linked icon to archive.org
2024-02-22 00:56:29 +04:00
Fabian Affolter
ec4408d8b4 strictdoc: refactor 2024-02-21 17:33:31 +01:00
github-actions[bot]
f694e31ceb
Merge master into haskell-updates 2024-02-21 00:12:23 +00:00
Arnout Engelen
8b1ad909bd
Merge pull request #256087 from raboof/gnucap-update
gnucap: update to 20240130-dev and add gnucap-modelgen-verilog
2024-02-20 23:43:07 +01:00
markuskowa
a39a9ee214
Merge pull request #288514 from sheepforce/avogadro2
avogadro2: 1.98.1 -> 1.99.0
2024-02-20 14:25:01 +01:00
Phillip Seeber
2a876140a8 openmolcas: 23.10 -> 24.02 2024-02-20 10:41:51 +01:00
Sergei Trofimovich
75f093fed6 octopus-caller: fix gcc-13 build failure (drop -Werror)
Without the change the build on `master` fails as
https://hydra.nixos.org/build/249090788:

    /build/source/src/config/option_collation.cpp: In function 'auto octopus::options::make_variant_generator_builder(const OptionMap&, boost::optional<const octopus::ReadSetProfile&>)':
    /build/source/src/config/option_collation.cpp:1298: error: redundant move in initialization [-Werror=redundant-move]
     1298 |                 throw ConflictingSourceVariantFile {std::move(source_path), *output_path};
          |

Blanket `-Werror` frequently causes build failures unless upstream is
quick at addressing build failures.
2024-02-20 09:39:27 +00:00
github-actions[bot]
ec769627e0
Merge master into haskell-updates 2024-02-20 00:12:32 +00:00
Julius Schmitt
a18382a83b geogebra: linked icon to archive.org 2024-02-19 22:27:53 +01:00
R. Ryantm
929ed3cde7 primesieve: 11.2 -> 12.0 2024-02-19 21:11:46 +00:00
Fabian Affolter
4646a0c7db sasview: add changelog to meta 2024-02-19 16:02:14 +01:00
Fabian Affolter
711d382967 sasview: 5.0.4 -> 5.0.6
Diff: https://github.com/SasView/sasview/compare/refs/tags/v5.0.4...v5.0.6
2024-02-19 16:01:09 +01:00
Mario Rodas
e27d391266
Merge pull request #289941 from marsam/update-elan
elan: 3.0.0 -> 3.1.0
2024-02-19 09:25:45 -05:00
OTABI Tomoya
9e52c50c55
Merge pull request #289381 from r-ryantm/auto-update/snakemake
snakemake: 8.4.4 -> 8.4.8
2024-02-19 23:16:21 +09:00
R. Ryantm
acb4c80843 clingo: 5.7.0 -> 5.7.1 2024-02-19 09:11:09 +00:00
R. Ryantm
c8ee33f26e last: 1541 -> 1542 2024-02-19 07:08:37 +00:00
Mario Rodas
41dd647a85 elan: 3.0.0 -> 3.1.0
Diff: https://github.com/leanprover/elan/compare/v3.0.0...v3.1.0

Changelog: https://github.com/leanprover/elan/blob/v3.1.0/CHANGELOG.md
2024-02-19 04:20:00 +00:00
github-actions[bot]
2198036532
Merge master into haskell-updates 2024-02-19 00:13:13 +00:00
Mario Rodas
9c3d856bed
Merge pull request #289312 from r-ryantm/auto-update/qucs-s
qucs-s: 2.1.0 -> 24.1.0
2024-02-18 17:57:27 -05:00
github-actions[bot]
743ad436a7
Merge master into haskell-updates 2024-02-18 00:13:34 +00:00
Dmitry Kalinkin
cb6f36e8ff
xrootd: fix plugin loading on Linux (#289140) 2024-02-17 15:38:01 -05:00
Mario Rodas
99b92cf3e0
Merge pull request #288000 from trofi/timeloop-gcc-13-fix
timeloop: unstable-2022-11-29 -> 3.0.3, fix `gcc-13` build failure
2024-02-17 07:19:06 -05:00
github-actions[bot]
2f576c19f7
Merge master into haskell-updates 2024-02-17 00:12:14 +00:00
R. Ryantm
2444fc7fa5 snakemake: 8.4.4 -> 8.4.8 2024-02-16 21:15:11 +00:00
R. Ryantm
fd5be7589c qucs-s: 2.1.0 -> 24.1.0 2024-02-16 15:39:58 +00:00
OTABI Tomoya
dbbd7412af
Merge pull request #289197 from r-ryantm/auto-update/qtrvsim
qtrvsim: 0.9.6 -> 0.9.7
2024-02-16 21:24:57 +09:00
7c6f434c
330ab32380
Merge pull request #289178 from r-ryantm/auto-update/clingo
clingo: 5.6.2 -> 5.7.0
2024-02-16 07:43:56 +00:00
R. Ryantm
e2351c1c52 qtrvsim: 0.9.6 -> 0.9.7 2024-02-16 02:36:23 +00:00
R. Ryantm
ac0579e7c9 clingo: 5.6.2 -> 5.7.0 2024-02-16 01:36:49 +00:00
R. Ryantm
e9db8c4c77 clingcon: 5.2.0 -> 5.2.1 2024-02-16 01:36:32 +00:00
Justin Bedő
db83508472
Merge pull request #288810 from r-ryantm/auto-update/last
last: 1540 -> 1541
2024-02-16 12:26:05 +11:00
github-actions[bot]
02be936be3
Merge master into haskell-updates 2024-02-16 00:12:20 +00:00
Pol Dellaiera
a53894b556
Merge pull request #288470 from McSinyx/stp-u8
stp: fix build failure
2024-02-15 23:07:44 +01:00
Weijia Wang
11a28beb53 openmolcas: bump boost version 2024-02-15 07:57:44 +01:00