Commit Graph

9294 Commits

Author SHA1 Message Date
annalee
68befa13bb
Merge remote-tracking branch 'upstream/master' into staging-next 2024-03-13 06:02:24 +00:00
Doron Behar
39160e127b
Merge pull request #295063 from r-ryantm/auto-update/libqalculate
{qalculate-{qt,gtk},libqalculate}: 4.9.0 -> 5.0.0,
2024-03-13 07:46:45 +02:00
annalee
8e038835fe
Merge remote-tracking branch 'upstream/master' into staging-next 2024-03-13 00:38:07 +00:00
R. Ryantm
055cf7e2ac minimap2: 2.26 -> 2.27 2024-03-13 00:30:24 +00:00
R. Ryantm
053049bc4f dataexplorer: 3.8.3 -> 3.8.5 2024-03-13 00:16:09 +00:00
github-actions[bot]
9e0e89d13c
Merge master into haskell-updates 2024-03-13 00:12:20 +00:00
Nick Cao
cf7deee349
verilator: add patch for "attempted to destroy locked Thread Pool" failure in tests 2024-03-12 20:00:48 -04:00
Nick Cao
2dc4b18eb6
verilator: fix locating systemc 2024-03-12 20:00:48 -04:00
Nick Cao
d44aa50819
systemc: build with cmake, expand platforms to unix 2024-03-12 20:00:47 -04:00
Pol Dellaiera
03540ae131
Merge pull request #295193 from emilytrau/fritzing-darwin
fritzing: support darwin
2024-03-12 22:07:30 +01:00
Pol Dellaiera
81074976b7
Merge pull request #295306 from r-ryantm/auto-update/magic-vlsi
magic-vlsi: 8.3.463 -> 8.3.464
2024-03-12 21:56:19 +01:00
Pol Dellaiera
37b4a69489
Merge pull request #295208 from r-ryantm/auto-update/igv
igv: 2.17.2 -> 2.17.3
2024-03-12 21:36:29 +01:00
Thiago Kenji Okada
1040e5688c
Merge pull request #294869 from atorres1985-contrib/primecount
primecount, primesieve: refactor
2024-03-12 19:20:56 +00:00
Nick Cao
6ad9c21bb7
Merge pull request #295171 from r-ryantm/auto-update/seqkit
seqkit: 2.7.0 -> 2.8.0
2024-03-12 14:40:56 -04:00
Doron Behar
4a414671ac qalculate-qt: 4.9.0 -> 5.0.0
Diff: https://github.com/qalculate/qalculate-qt/compare/v4.9.0...v5.0.0
2024-03-12 16:59:25 +02:00
Doron Behar
b668267edd qalculate-gtk: 4.9.0 -> 5.0.0
Diff: https://github.com/qalculate/qalculate-gtk/compare/v4.9.0...v5.0.0
2024-03-12 16:59:24 +02:00
R. Ryantm
7d8d32ba15 magic-vlsi: 8.3.463 -> 8.3.464 2024-03-12 12:47:29 +00:00
R. Ryantm
c66736f8e0 eigenmath: unstable-2024-03-06 -> unstable-2024-03-11 2024-03-12 07:13:32 +00:00
github-actions[bot]
0917422ffe
Merge staging-next into staging 2024-03-12 06:01:24 +00:00
Vincent Laporte
0521702b1d coq_8_19: 8.19.0 → 8.19.1 2024-03-12 05:49:59 +01:00
R. Ryantm
c91acf3624 igv: 2.17.2 -> 2.17.3 2024-03-12 02:48:25 +00:00
Emily Trau
5005010f1d fritzing: support darwin 2024-03-12 12:30:01 +11:00
R. Ryantm
8cc0f796eb seqkit: 2.7.0 -> 2.8.0 2024-03-12 00:29:44 +00:00
github-actions[bot]
87dfdf055e
Merge master into haskell-updates 2024-03-12 00:12:17 +00:00
github-actions[bot]
06e5eb63d3
Merge staging-next into staging 2024-03-11 18:01:53 +00:00
Pol Dellaiera
54c52cb276
Merge pull request #294334 from ShamrockLee/sourceroot-fix
treewide: fix hard-coded `sourceRoot` prefix for `fetchgit`-based `src`
2024-03-11 16:50:57 +01:00
R. Ryantm
daf9f70d56 palp: 2.20 -> 2.21 2024-03-11 15:19:05 +00:00
Anderson Torres
0c68a08dd7 primecount: migrate to by-name 2024-03-11 11:04:30 -03:00
Anderson Torres
0aedcfc0b0 primesieve: migrate to by-name 2024-03-11 11:04:30 -03:00
R. Ryantm
6c08d7994a calcmysky: 0.3.1 -> 0.3.2 2024-03-11 12:27:56 +00:00
Mauricio Collares
2e1ebdb6e0 singular: 4.3.2p2 -> 4.3.2p16 2024-03-11 12:15:41 +01:00
Mauricio Collares
294aaa8575 nauty: 2.7r4 -> 2.8.8 2024-03-11 12:15:41 +01:00
Mauricio Collares
4acba6cff5 conway_polynomials: remove 2024-03-11 12:15:40 +01:00
a-n-n-a-l-e-e
ce789e7e35
llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into libcxx (#292043)
- merge libcxxabi into libcxx for LLVM 12, 13, 14, 15, 16, 17, and git.
- remove the link time workaround `-lc++ -lc++abi` from 58 packages as it is no longer required.
- fixes https://github.com/NixOS/nixpkgs/issues/166205
- provides alternative fixes for. https://github.com/NixOS/nixpkgs/issues/269548 https://github.com/NixOS/nix/issues/9640
- pkgsCross.x86_64-freebsd builds work again

This change can be represented in 3 stages
1. merge libcxxabi into libcxx -- files: pkgs/development/compilers/llvm/[12, git]/{libcxx, libcxxabi}
2. update stdenv to account for merge -- files: stdenv.{adapters, cc.wrapper, darwin}
3. remove all references to libcxxabi outside of llvm (about 58 packages modified)

### merging libcxxabi into libcxx
- take the union of the libcxxabi and libcxx cmake flags
- eliminate the libcxx-headers-only package - it was only needed to break libcxx <-> libcxxabi circular dependency
- libcxx.cxxabi is removed. external cxxabi (freebsd) will symlink headers / libs into libcxx.
- darwin will re-export the libcxxabi symbols into libcxx so linking `-lc++` is sufficient.
- linux/freebsd `libc++.so` is a linker script `LINK(libc++.so.1, -lc++abi)` making `-lc++` sufficient.
- libcxx/default.nix [12, 17] are identical except for patches and `LIBCXX_ADDITIONAL_LIBRARIES` (only used in 16+)
- git/libcxx/defaul.nix  does not link with -nostdlib when useLLVM is true so flag is removed. this is not much different than before as libcxxabi used -nostdlib where libcxx did not, so libc was linked in anyway.

### stdenv changes
- darwin bootstrap, remove references to libcxxabi and cxxabi
- cc-wrapper: remove c++ link workaround when libcxx.cxxabi doesn't exist (still exists for LLVM pre 12)
- adapter: update overrideLibcxx to account for a pkgs.stdenv that only has libcxx

### 58 package updates
- remove `NIX_LDFLAGS = "-l${stdenv.cc.libcxx.cxxabi.libName}` as no longer needed
- swift, nodejs_v8 remove libcxxabi references in the clang override

https://github.com/NixOS/nixpkgs/pull/292043
2024-03-11 03:53:37 -07:00
github-actions[bot]
97e35dcd05
Merge master into haskell-updates 2024-03-11 00:12:54 +00:00
R. Ryantm
1e6c427404 primesieve: 12.0 -> 12.1 2024-03-10 13:30:57 +00:00
R. Ryantm
664b060722 R: 4.3.2 -> 4.3.3 2024-03-09 23:33:07 +00:00
Joachim Breitner
af10a63043 Revert "elan: revert temporary directory creation"
This reverts commit 66e4e61595.
2024-03-09 16:50:49 +01:00
Joachim Breitner
5681570171 fix: elan: use relative paths in wrapper script
since 3.1.1, `elan` extracts to a temporary location and then moves to a
final location, this threw the wrapper script off. Updating the patch to
use paths relative to the wrapper script, so that it works independent
of absolute location.
2024-03-09 16:01:03 +01:00
R. Ryantm
a312b41117 deeptools: 3.5.4 -> 3.5.5 2024-03-09 10:06:54 +00:00
github-actions[bot]
54e3ad5442
Merge master into haskell-updates 2024-03-09 00:11:53 +00:00
Yueh-Shun Li
91b3db1309 treewide: fix sourceRoot for fetchgit-based src
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.

`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.

[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
2024-03-09 07:53:25 +08:00
Mauricio Collares
119b065fec
Merge pull request #293065 from r-ryantm/auto-update/jmol
jmol: 16.1.53 -> 16.1.63
2024-03-08 12:25:12 +01:00
R. Ryantm
8d3ed85daa jmol: 16.1.53 -> 16.1.63 2024-03-08 09:48:22 +00:00
Weijia Wang
40f9f30edf
Merge pull request #292724 from r-ryantm/auto-update/cvc5
cvc5: 1.1.1 -> 1.1.2
2024-03-08 08:48:25 +01:00
github-actions[bot]
a32bb438c0
Merge master into haskell-updates 2024-03-08 00:12:53 +00:00
Pol Dellaiera
983f7e7cfb
Merge pull request #293432 from alois31/geogebra-3d
geogebra: fix 3D view again
2024-03-07 19:53:05 +01:00
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
Mario Rodas
46a93d0751
Merge pull request #287601 from trofi/stp-gcc-13-fix
stp: fix the build against `gcc-13`
2024-02-14 20:17:23 -05:00
github-actions[bot]
82277a5b63
Merge master into haskell-updates 2024-02-15 00:12:24 +00:00
Dmitry Kalinkin
3b27f2ac6e
xfitter: fix for recent clang (#288816) 2024-02-14 18:51:35 -05:00
Dmitry Kalinkin
419da635c6
Merge pull request #285505 from GaetanLepage/xroot
xrootd: 5.5.5 -> 5.6.6, python311Packages.xrootd: init at 5.6.6
2024-02-14 11:15:22 -05:00
R. Ryantm
55fab6dfd9 last: 1540 -> 1541 2024-02-14 15:51:25 +00:00
Nick Cao
a42f5c6d1a
Merge pull request #256126 from bouk/openmvg-use-nixpkgs-libraries
openmvg: unstable-2022-12-30 -> 2.1
2024-02-14 09:31:01 -05:00
Bouke van der Bijl
91414c639f openmvg: unstable-2022-12-30 -> 2.1
* Use the nixpkgs libraries instead of the vendored ones
* Add updateScript

Co-authored-by: Nick Cao <nickcao@nichi.co>
2024-02-14 11:23:46 +01:00
Phillip Seeber
06a5108a6c avogadro2: 1.98.1 -> 1.99.0 2024-02-14 10:46:01 +01:00
kirillrdy
399d51fba7
Merge pull request #287721 from trofi/megahit-gcc-13-fix
megahit: fix `gcc-13` build failure
2024-02-14 20:22:18 +11:00
kirillrdy
cd54cfb658
Merge pull request #287985 from trofi/svaba-gcc-13-fix
svaba: fix `gcc-13` build failure
2024-02-14 20:07:39 +11:00
github-actions[bot]
319f251f5c
Merge master into haskell-updates 2024-02-14 00:12:36 +00:00
Gaetan Lepage
7b9e11995d xrootd: 5.5.5 -> 5.6.6
Changelog: https://github.com/xrootd/xrootd/releases/tag/v5.6.6

Structured attrs don't work with cmakeFlags - only first item is passed.

Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
2024-02-13 16:45:54 -05:00
Sergei Trofimovich
3bbdc26df2 timeloop: unstable-2022-11-29 -> 3.0.3
Changes:
- https://github.com/NVlabs/timeloop/releases/tag/v3.0
- https://github.com/NVlabs/timeloop/releases/tag/v3.0.1
- https://github.com/NVlabs/timeloop/releases/tag/v3.0.2
- https://github.com/NVlabs/timeloop/releases/tag/v3.0.3
2024-02-13 08:19:21 +00:00
Nguyễn Gia Phong
b63babd55d
stp: fix build failure 2024-02-13 16:41:23 +09:00
Vincent Laporte
8601deaed1 cryptoverif: 2.07 → 2.08pl1 2024-02-13 06:23:27 +01:00
github-actions[bot]
ed9046f8aa
Merge master into haskell-updates 2024-02-13 00:13:09 +00:00
Doron Behar
4f78d8564d
Merge pull request #288127 from r-ryantm/auto-update/wxmaxima
wxmaxima: 24.02.0 -> 24.02.1
2024-02-12 10:32:54 +02:00
Bruno Bzeznik
f9b6960581 kstars: 3.6.7 -> 3.6.9 2024-02-12 08:00:53 +01:00
github-actions[bot]
04663e9026
Merge master into haskell-updates 2024-02-12 00:12:56 +00:00
Sandro
4b96fcd46b
Merge pull request #279656 from risicle/ris-degate-2.0.0
degate: init at 2.0.0
2024-02-11 23:39:17 +01:00
Mario Rodas
f9d39fb9af
Merge pull request #287604 from trofi/lean3-mark-broken
lean3: fix gcc-13 build failure
2024-02-11 17:04:38 -05:00
R. Ryantm
3ea21a4ea9 wxmaxima: 24.02.0 -> 24.02.1 2024-02-11 19:53:05 +00:00
Sergei Trofimovich
016be1d8b3 lean3: fix gcc-13 build failure)
Without the change the build fails on `master` as https://hydra.nixos.org/build/247665202:

    /build/source/src/shell/lean_js.h:11:32: error: 'uintptr_t' was not declared in this scope
       11 | int emscripten_process_request(uintptr_t msg);
          |                                ^~~~~~~~~
2024-02-11 19:47:22 +00:00
Robert Scott
36631d8171
Merge pull request #288090 from r-ryantm/auto-update/openrefine
openrefine: 3.7.7 -> 3.7.9
2024-02-11 19:11:41 +00:00
Nick Cao
175126c839
Merge pull request #287282 from r-ryantm/auto-update/magic-vlsi
magic-vlsi: 8.3.459 -> 8.3.460
2024-02-11 13:04:10 -05:00
Nick Cao
2d8077c394
Merge pull request #286906 from ashgillman/master
dcm2niix: 1.0.20211006 -> 1.0.20230411
2024-02-11 12:43:56 -05:00
R. Ryantm
1128be2775 openrefine: 3.7.7 -> 3.7.9 2024-02-11 17:18:59 +00:00
Nick Cao
dc4db874a0
Merge pull request #288017 from trofi/vowpal-wabbit-gcc-13-fix
vowpal-wabbit: fix `gcc-13` build failure
2024-02-11 10:18:31 -05:00
Sergei Trofimovich
14f9faadd0 vowpal-wabbit: fix gcc-13 build failure
Without the change build fails on `master as
https://hydra.nixos.org/build/248985028:

    In file included from /build/source/vowpalwabbit/core/src/named_labels.cc:5:
    /build/source/vowpalwabbit/core/include/vw/core/named_labels.h:28:3: error: 'uint32_t' does not name a type
       28 |   uint32_t getK() const;
          |   ^~~~~~~~
2024-02-11 12:03:38 +00:00
Sergei Trofimovich
a74b1732a7 timeloop: fix gcc-13 build failure
Without the change build fails on `master` as
https://hydra.nixos.org/build/248973743:

    include/compound-config/compound-config.hpp:149:8: error: ‘uint64_t’ in namespace ‘std’ does not name a type; did you mean ‘wint_t’?
      149 |   std::uint64_t parseElementSize(std::string name);
          |        ^~~~~~~~
          |        wint_t
2024-02-11 10:44:44 +00:00
7c6f434c
9abbc21589
Merge pull request #286922 from r-ryantm/auto-update/jmol
jmol: 16.1.51 -> 16.1.53
2024-02-11 10:23:53 +00:00
Sergei Trofimovich
a59d5e3028 svaba: fix gcc-13 build failure
Without the change build fails on `master` as
https://hydra.nixos.org/build/249164637:

    In file included from Histogram.cpp:1:
    Histogram.h:104:61: error: 'uint32_t' does not name a type
      104 |   Histogram(const int32_t& start, const int32_t& end, const uint32_t& width);
          |                                                             ^~~~~~~~
2024-02-11 09:59:19 +00:00
github-actions[bot]
cf96a5e9ad
Merge master into haskell-updates 2024-02-11 00:13:59 +00:00
Weijia Wang
c00ace12ae
Merge pull request #287814 from trofi/openboardview-gcc-13-fix
openboardview: fix `gcc-13` build failure
2024-02-10 21:36:37 +01:00
Weijia Wang
9d579087ef
Merge pull request #287718 from trofi/mcrl2-update
mcrl2: 202206 -> 202307
2024-02-10 21:35:55 +01:00
Weijia Wang
7c66bc81f0
Merge pull request #287641 from wegank/jogl-rename
javaPackages.jogl_2_4_0: rename to jogl
2024-02-10 21:34:56 +01:00
Weijia Wang
b95f9bd48c javaPackages.jogl_2_4_0: rename to jogl 2024-02-10 18:00:38 +01:00
Sergei Trofimovich
9684e352a8 openboardview: fix gcc-13 build failure
Without the change build fails on `master` as
https://hydra.nixos.org/build/247580552:

    /build/source/src/openboardview/FileFormats/FZFile.h:69:40: error: 'uint32_t' has not been declared
       69 |         FZFile(std::vector<char> &buf, uint32_t fzkey[44]);
          |                                        ^~~~~~~~
2024-02-10 16:23:29 +00:00
Sergei Trofimovich
90a5d1b931 megahit: fir gcc-13 build failure
Without the change build fails on `master` against `gcc-13` as
https://hydra.nixos.org/build/247673319:

    In file included from /build/source/src/main_local_assemble.cpp:27:
    /build/source/src/localasm/local_assemble.h:31:3: error: 'uint32_t' does not name a type
       31 |   uint32_t kmin{11};
          |   ^~~~~~~~
    /build/source/src/localasm/local_assemble.h:1:1: note: 'uint32_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
      +++ |+#include <cstdint>
2024-02-10 10:26:43 +00:00
Sergei Trofimovich
d952b5884c mcrl2: 202206 -> 202307
Among other things fixes `gcc-13` build fix as
https://hydra.nixos.org/build/247554470:

    In file included from /build/mcrl2-202206.1/libraries/utilities/source/bitstream.cpp:10:
    /build/mcrl2-202206.1/libraries/utilities/include/mcrl2/utilities/bitstream.h:56:25: error: 'uint8_t' in namespace 'std' does not name a type; did you mean 'wint_t'?
       56 |   void write(const std::uint8_t* buffer, std::size_t size);
          |                         ^~~~~~~
          |                         wint_t
2024-02-10 10:14:43 +00:00
Cosima Neidahl
47072d1003
Merge pull request #259629 from vifino/sigrok-nightly
sigrok and friends: Update to nightly
2024-02-10 11:01:36 +01:00
R. Ryantm
5ca14e22c6 igv: 2.17.1 -> 2.17.2 2024-02-10 06:01:14 +00:00
github-actions[bot]
63f3a9268c
Merge master into haskell-updates 2024-02-10 00:12:04 +00:00
Sergei Trofimovich
b531de72bf stp: fix the build against gcc-13
Without the change the build fails on `master` as
https://hydra.nixos.org/build/247636021:

    /build/source/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type
       77 |   uint8_t getIteration() const;
          |   ^~~~~~~
2024-02-09 22:43:16 +00:00
R. Ryantm
cc15000690 cryptominisat: 5.11.15 -> 5.11.21 2024-02-09 04:52:13 +00:00
Sergei Trofimovich
e006445420 graphia: 3.2 -> 4.2
The main change is the build fis against `gcc-13`
https://hydra.nixos.org/build/247540136:

    /build/source/source/thirdparty/breakpad/src/client/linux/handler/minidump_descriptor.h:115:3: error: 'uintptr_t' does not name a type
      115 |   uintptr_t address_within_principal_mapping() const {
          |   ^~~~~~~~~

Changes:
- https://github.com/graphia-app/graphia/releases/tag/4.0
- https://github.com/graphia-app/graphia/releases/tag/4.1
- https://github.com/graphia-app/graphia/releases/tag/4.2
2024-02-08 23:30:17 +00:00
Manuel Frischknecht
14a19fa225 hh-suite: fix build on GCC 13
The build of `hh-suite` stopped working with GCC 13 because
GCC stopped transitively including a couple of headers like
`cstdint` in various scenarios.

There already is an upstream PR proposed that fixes this issue [1]
but hasn't been merged yet. This change pulls in this correction
using `fetchpatch`, fixing the build for now.

[1]: https://github.com/soedinglab/hh-suite/pull/357
2024-02-08 21:54:47 +00:00
Adrian Pistol
8b712406e6 pulseview: 0.4.2 -> 0.4.2-unstable-2024-01-26 2024-02-08 21:45:11 +01:00
R. Ryantm
4f45c92f1a magic-vlsi: 8.3.459 -> 8.3.460 2024-02-08 17:49:42 +00:00
github-actions[bot]
1e13dfffc6
Merge master into haskell-updates 2024-02-08 00:12:04 +00:00
Robert Scott
005f312ae9
Merge pull request #286257 from risicle/ris-hal-hardware-analyzer-darwin-2024-02
hal-hardware-analyzer: fix build on darwin
2024-02-07 19:45:27 +00:00
Gaetan Lepage
ddb3833217 mujoco: 3.1.1 -> 3.1.2
Diff: https://github.com/google-deepmind/mujoco/compare/refs/tags/3.1.1...3.1.2

Changelog: https://github.com/google-deepmind/mujoco/releases/tag/3.1.2
2024-02-07 09:58:51 +01:00
Gaetan Lepage
62da9ca239 mujoco: mark as broken on darwin 2024-02-07 09:58:46 +01:00