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 |
|
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 |
|
R. Ryantm
|
11cca34608
|
qgroundcontrol: 4.2.3 -> 4.2.4
|
2022-10-27 21:19:31 +08:00 |
|
7c6f434c
|
02835f2253
|
Merge pull request #197645 from r-ryantm/auto-update/opensmt
opensmt: 2.4.1 -> 2.4.2
|
2022-10-25 16:04:34 +00:00 |
|
Bobby Rong
|
256da9655f
|
Merge pull request #192797 from wucke13/inav-configurator
inav-configurator: 4.1.0 -> 5.1.0
|
2022-10-25 21:12:11 +08:00 |
|
R. Ryantm
|
1401fdb2d4
|
opensmt: 2.4.1 -> 2.4.2
|
2022-10-25 02:23:41 +00:00 |
|
Dmitry Kalinkin
|
cde19b8469
|
Merge pull request #197306 from veprbl/pr/dawncut_init
dawncut: init at 1.54a
|
2022-10-24 16:38:58 -04:00 |
|
markuskowa
|
f67325ac2c
|
Merge pull request #197390 from markuskowa/upd-openmolcas
openmolcas: 22.06 -> 22.10
|
2022-10-24 10:55:56 +02:00 |
|
Markus Kowalewski
|
bd5597dce4
|
openmolcas: 22.06 -> 22.10
|
2022-10-23 18:06:56 +02:00 |
|
Markus Kowalewski
|
f6771d4d15
|
octopus: 12.0 -> 12.1
|
2022-10-23 17:51:24 +02:00 |
|
OPNA2608
|
982a1bfd80
|
sambamba: fix compilation on Darwin, cleanup installPhase
|
2022-10-23 16:12:47 +02:00 |
|
fee1-dead
|
93e729e432
|
wolfram-engine: fix Qt (#195814)
This is necessary for using wolfram-notebook, which calls wolframplayer
where the latter would segfault if Qt plugins are not found.
|
2022-10-23 00:15:12 -04:00 |
|
Dmitry Kalinkin
|
62b5fa807f
|
dawn: provide path to wish for the GUI
|
2022-10-22 22:04:23 -04:00 |
|
Dmitry Kalinkin
|
5375f83194
|
dawncut: init at 1.54a
|
2022-10-22 21:52:40 -04:00 |
|
Robert Scott
|
31acb601e3
|
Merge pull request #196812 from smaret/fix-gildas-python
gildas: restore Python support
|
2022-10-22 17:07:30 +01:00 |
|