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
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
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
Mario Rodas
5b06368259
Merge pull request #199623 from wegank/kicad-wxgtk
...
kicad: migrate to wxGTK32
2022-11-05 16:31:07 -05:00
Nick Cao
e562fc6e05
stellarium: build with qt6
2022-11-05 21:39:24 +08:00
Nick Cao
f2870ff9e2
calcmysky: build with qt6
2022-11-05 21:39:10 +08:00
Nick Cao
74fd5f0cba
stellarium: 1.0 -> 1.1
2022-11-05 21:37:59 +08:00
Nick Cao
b105efc145
calcmysky: 0.1.0 -> 0.2.1
2022-11-05 21:37:59 +08:00
markuskowa
e2cf8ac376
Merge pull request #199331 from markuskowa/fix-arpack
...
arpack: fix ILP64 checks and MPI support
2022-11-05 12:37:35 +01:00
Weijia Wang
0b894f5564
kicad: migrate to wxGTK32
2022-11-05 03:35:27 +01:00
Mauricio Collares
079200691f
sage: patches to fix aarch64 crashes and skip known timeout
2022-11-04 16:09:51 -03:00
Valentin Gagarin
b02d74fb5e
Merge pull request #173225 from matthuszagh/uhdm
...
Add systemverilog plugin to yosys
2022-11-04 18:37:13 +01:00
Christian Kögler
759bbe2f57
Merge pull request #190900 from bzizou/seqkit
...
seqkit: init at 2.3.1
2022-11-04 16:48:40 +01:00
Sandro
8f679a5327
Merge pull request #194031 from NickCao/stellarium
2022-11-04 15:33:03 +01:00
7c6f434c
58f6230338
Merge pull request #192548 from collares/gap-4.12
...
gap: 4.11.1 -> 4.12.1
2022-11-04 08:01:40 +00:00
Bruno Bzeznik
9243a44c9c
seqkit: init at 2.3.1
2022-11-04 08:51:32 +01:00
Markus Kowalewski
8c3d2bab83
calculix: add blas, lapack, arpack ILP64 checks
2022-11-03 12:59:44 +01:00
Markus Kowalewski
b931e2bb82
octopus: add arpack ILP64 check
2022-11-03 12:50:08 +01:00
markuskowa
c14386f1ed
Merge pull request #199025 from r-ryantm/auto-update/element
...
element: 1.0.0 -> 1.0.1
2022-11-02 21:46:19 +01:00
Austin Seipp
3afaf7d263
verilator: enable doCheck = true
...
Based on the work from yangm2 in #109493 .
Co-authored-by: yangm2 <yangm2@users.noreply.github.com>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-11-02 07:55:30 -05:00
Austin Seipp
5ceadb26b8
verilator: 4.226 -> 5.002
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-11-02 07:55:30 -05:00
R. Ryantm
f75ed7fcef
element: 1.0.0 -> 1.0.1
2022-11-01 18:43:56 +00:00
Stanisław Pitucha
9ed8ce7ff3
Merge pull request #198609 from natsukium/mmseqs2/init
...
mmseqs2: init at 14-7e284
2022-11-01 21:47:20 +11:00
natsukium
ed7511ad02
mmseqs2: init at 14-7e284
2022-10-31 23:49:10 +09:00
Nikolay Korotkiy
015979436c
Merge pull request #198374 from jiegec/ngspice-darwin
...
ngspice: add darwin to platforms
2022-10-31 08:26:36 +03:00
Bobby Rong
fa6834cf70
Merge pull request #198648 from evils/kicad
...
kicad: 6.0.8 -> 6.0.9
2022-10-31 12:17:55 +08:00
Thiago Kenji Okada
2e7242bbb9
Merge pull request #188939 from luc65r/cemu-ti
...
cemu-ti: 1.3 -> unstable-2022-06-29
2022-10-31 00:36:24 +00:00
Thiago Kenji Okada
b2bb7c1348
cemu-ti: update license
2022-10-30 23:22:01 +00:00
Sandro
65d82645b9
Merge pull request #185507 from OPNA2608/update/d-compilers
2022-10-30 23:02:43 +01:00
Anderson Torres
eb7b3043ff
Merge pull request #195226 from mgttlinger/nusmv
...
nusmv: init at 2.6.0
2022-10-30 16:03:23 -03:00
Sandro
412b9917ce
Merge pull request #198064 from wegank/wxgtk31-drop-gtk2
2022-10-30 16:09:59 +01:00
Jiajie Chen
4941d433fa
ngspice: add darwin to platforms
...
ngspice can build and run on darwin.
2022-10-30 22:19:08 +08:00
Evils
b2f1884dd8
kicad: 6.0.8 -> 6.0.9
2022-10-30 14:00:01 +01:00
markuskowa
89857e684f
Merge pull request #198463 from r-ryantm/auto-update/cbmc
...
cbmc: 5.69.0 -> 5.69.1
2022-10-29 23:23:02 +02:00
Samuel Ainsworth
b647155e5b
mujoco: init at 2.3.0 ( #198145 )
...
* mujoco: init at 2.3.0
* mujoco: refactor `meta`
Co-authored-by: Florian <florian.brandes@posteo.de>
Co-authored-by: Florian <florian.brandes@posteo.de>
2022-10-29 11:47:32 -07:00
R. Ryantm
4db4ddf01a
cbmc: 5.69.0 -> 5.69.1
2022-10-29 13:42:50 +00:00
R. Ryantm
0ef660daa1
gnuastro: 0.18 -> 0.19
2022-10-29 05:17:40 +00:00
Mauricio Collares
41b59d27e4
sage: import gap update patch
2022-10-28 18:28:03 -03:00
Mauricio Collares
90eca1d362
gap: 4.11.1 -> 4.12.1
2022-10-28 18:20:03 -03:00
R. Ryantm
52b1e28293
cbmc: 5.68.0 -> 5.69.0
2022-10-28 16:23:12 +08:00
Weijia Wang
30d66019b4
wxGTK31: drop gtk2 support
2022-10-27 15:30:15 +02:00