Commit Graph

6811 Commits

Author SHA1 Message Date
R. Ryantm
d9af397634 cbmc: 5.70.0 -> 5.71.0 2022-11-25 08:37:13 +00:00
Jonas Heinrich
20193b6d86
Merge pull request #202395 from thyol/muscle
muscle: 3.8.31 -> 5.1.0
2022-11-24 15:47:12 +01:00
Guillaume Girol
6f9188b26b
Merge pull request #201759 from collares/giac-1.9.0.29
giac: 1.9.0-5 -> 1.9.0-29
2022-11-24 14:16:03 +00:00
Jonas Heinrich
57728b51cf
Merge pull request #202404 from thyol/veryfasttree
veryfasttree: init at 3.1.1
2022-11-24 15:14:13 +01:00
Sandro
2ca694f473
Merge pull request #198552 from wegank/wxgtk-games 2022-11-24 14:21:25 +01:00
R. Ryantm
471d8bb07a opensmt: 2.4.2 -> 2.4.3 2022-11-22 20:15:56 +00:00
thyol
cdcb7946ba veryfasttree: init at 3.1.1 2022-11-22 20:45:45 +01:00
thyol
35d3a6fa79 muscle: add myself to maintainers 2022-11-22 20:19:17 +01:00
thyol
d7c8595f62 muscle: 3.8.31 -> 5.1.0 2022-11-22 20:19:17 +01:00
R. Ryantm
7e88b2bef5 form: 4.2.1 -> 4.3.0 2022-11-22 12:01:40 -05:00
R. Ryantm
6ba0d20487 igv: 2.14.1 -> 2.15.1 2022-11-20 14:06:29 +08:00
R. Ryantm
862277ac9d kstars: 3.6.0 -> 3.6.1 2022-11-20 10:52:50 +08:00
Markus Kowalewski
57d39374e2
gromacs: 2022.3 -> 2022.4 2022-11-18 14:37:22 +01:00
Mauricio Collares
339f72586a giac: 1.9.0-5 -> 1.9.0-29 2022-11-18 09:15:22 -03:00
Pascal Bach
b85c2a060f
Merge pull request #200871 from lorenz/update-dsview
dsview: 1.1.2 -> 1.2.1
2022-11-16 21:18:59 +01:00
sternenseemann
a110f08f12 ocamlPackages.extlib: rename from ocaml_extlib
This matches the name used in dune and on OPAM.
2022-11-16 14:30:37 +01:00
Sandro Jäckel
da3200b7b6
Revert "gplates: fix failing build"
This reverts commit 8a236e246a.
2022-11-16 00:29:02 +01:00
Sergei Trofimovich
e4d99ffc58
Merge pull request #201383 from yurket/d-seams_zhf_fix
d-seams: fix failing build
2022-11-15 22:57:02 +00:00
yurket
4e4a021fd7 d-seams: fix failing builds
cxxopts failing to build with clang11:

  /build/source/src/include/external/cxxopts.hpp:488:42: error: no member named 'numeric_limits' in namespace 'std'
            if (u > static_cast<U>(-std::numeric_limits<T>::min()))

Use the patch from upstream, which updates cxxopts 2.2.0 -> 3.0.0
2022-11-15 14:05:05 -08:00
Aaron Jheng
678ccdf716
element: mark as broken on darwin 2022-11-14 02:16:43 +00:00
Robert Scott
ea6d354b84
Merge pull request #201044 from fedeinthemix/update-xyce
xyce: 7.4.0 -> 7.6.0
2022-11-13 20:13:29 +00:00
Federico Beffa
d36e0be2ea xyce: 7.4.0 -> 7.6.0 2022-11-13 16:41:14 +01:00
Mario Rodas
16df31b2cd
Merge pull request #200755 from collares/lean-3.49.0
lean: 3.48.0 -> 3.49.0
2022-11-13 09:04:08 -05:00
Robert Schütz
61c207555b hal-hardware-analyzer: use igraph 0.9 2022-11-12 20:07:20 -08:00
yurket
8a236e246a gplates: fix failing build
Started failing after the commit 11ea0e99b7 (Python 3.9->3.10 upgrade) with error:

    CMake Error at .../lib/cmake/Boost-1.75.0/BoostConfig.cmake:141 (find_package):
  Could not find a package configuration file provided by boost_python310

It appears that boost <= 1.78 fails to find Python with double digits in the minor version (like X.YZ)
2022-11-12 11:33:42 -08:00
Lorenz Brun
c35b5503f4 dsview: 1.1.2 -> 1.2.1 2022-11-12 16:04:11 +01:00
Mauricio Collares
c87af38741 lean: 3.48.0 -> 3.49.0 2022-11-11 17:33:01 -03:00
R. Ryantm
139ba95570 cbmc: 5.69.1 -> 5.70.0 2022-11-11 18:08:36 +08:00
Weijia Wang
699e05b52a
root5: migrate to gsl (#200455) 2022-11-10 18:59:19 -05:00
7c6f434c
511bbd4c78
Merge pull request #200059 from r-ryantm/auto-update/clingo
clingo: 5.6.1 -> 5.6.2
2022-11-10 10:32:04 +00:00
Shamrock Lee
a664ec27f4 root: add package test test-thisroot 2022-11-10 09:27:35 +08:00
Shamrock Lee
7f91dec5dd root: wrap the executable and patch thisroot.* 2022-11-10 09:23:52 +08:00
Dmitry Kalinkin
25fd03cf72
Merge pull request #200412 from wegank/root-darwin
root: 6.26.06 -> 6.26.08
2022-11-09 18:16:38 -05:00
Weijia Wang
d474e39f7d root: fix build on aarch64-darwin 2022-11-09 21:03:59 +01:00
Weijia Wang
5d5c6ded1a root: 6.26.06 -> 6.26.08 2022-11-09 18:19:45 +01:00
Shamrock Lee
0106a68555
root: enable davix and ssl support (#200096)
This enables CERN ROOT to open file urls with scheme
`davs://` and `https://`.

The inclusion of `openssl` in buildInputs
will increase neither closure size nor rebuild frequency,
since `python3`, which depends on `openssl`, is already a dependency.
2022-11-09 11:31:37 -05:00
Fabian Affolter
95ed815b50
Merge pull request #200234 from r-ryantm/auto-update/delly
delly: 1.1.5 -> 1.1.6
2022-11-09 08:00:15 +01:00
Artturi
3e2445be79
Merge pull request #200145 from hzeller/20221107-update-surelog-uhdm-plugin
Fix for darwin build.
2022-11-09 02:09:35 +02:00
Weijia Wang
e0e6444e50 boinc: unbreak on aarch64-linux 2022-11-09 00:59:14 +01:00
Henner Zeller
50c509ecf3 surelog: 1.40 -> 1.45
Update Surelog (going along with uhdm 1.45). Fix flaky tests
to to parallel execution of ctest by patching in a fix that is
already upstream.

Result zero hydra failures #199919

Also: using flatbuffers from nix environment instead of third_party/

Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
Henner Zeller
568398e338 uhdm: 0.9.1.40 -> 1.45
Update UHDM and also fix for Darwin build.
The gtest version used in the project unconditionally uses
/tmp as temporary directory in Darwin and does not honor the
environment variables introduced in gtest 1.12.
Use that gtest version so that it will work in the Hydra
build environment.

Related: #199919 as this is fixing the Darwin build.

Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:14 -08:00
R. Ryantm
c7ba9b459c delly: 1.1.5 -> 1.1.6 2022-11-08 18:21:37 +00:00
Fabian Affolter
9ac3253434
Merge pull request #200024 from fabaff/docker-bump
python310Packages.docker: 6.0.0 -> 6.0.1
2022-11-08 15:48:02 +01:00
Fabian Affolter
cad704eb95 toil: 5.6.0 -> 5.7.1 2022-11-08 12:17:40 +01:00
Mario Rodas
f84d890770
Merge pull request #199530 from NickCao/stellarium_11
stellarium: 1.0 -> 1.1
2022-11-08 03:15:29 -05:00
Justin Bedő
3a90ab68e6
Merge pull request #197631 from jbedo/octopus
octopus-caller: backport patch to fix build
2022-11-07 21:26:21 +00:00
Mauricio Collares
fc9eb96278
Merge pull request #198355 from collares/sage-libgap-aarch64
sage: fix aarch64 crashes and skip problematic test
2022-11-07 17:53:09 -03:00
R. Ryantm
f77d334af1 clingo: 5.6.1 -> 5.6.2 2022-11-07 17:55:20 +00:00
R. Ryantm
a8ed4be9a6 gmsh: 4.10.5 -> 4.11.0 2022-11-07 11:31:21 +00:00
amesgen
4a3fc076e4
clingcon: 5.0.0 -> 5.2.0 and fix build 2022-11-07 00:41:21 +01:00