Commit Graph

6749 Commits

Author SHA1 Message Date
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
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
github-actions[bot]
71e4896d63
Merge master into staging-next 2022-10-22 12:01:25 +00:00
Malo Bourgon
5e976f8f6d readstat, python3Packages.pyreadstat: fix build on Darwin 2022-10-21 12:03:20 -07:00
Sébastien Maret
35370b7fef gildas: restore Python support 2022-10-19 22:12:52 +02:00
github-actions[bot]
bbaff9a043
Merge master into staging-next 2022-10-19 12:01:22 +00:00
Lassulus
0ffb5cb0a1
Merge pull request #191498 from smaret/gildas-update
gildas: 20211101_a -> 20221001_b
2022-10-19 12:33:38 +02:00
José Romildo Malaquias
bfdef32bfe
Merge pull request #196518 from r-ryantm/auto-update/qalculate-qt
qalculate-qt: 4.3.0 -> 4.4.0
2022-10-19 07:27:04 -03:00
Jan Tojnar
457f28f6f8 Merge branch 'master' into staging-next
; Conflicts:
;	pkgs/development/tools/codespell/default.nix

codespell 2.2.2 switched to pyproject & setuptools_scm:
https://github.com/codespell-project/codespell/pull/2523
2022-10-19 05:24:28 +02:00
R. Ryantm
4ab06e3223 ants: 2.4.1 -> 2.4.2 2022-10-19 09:19:31 +08:00
R. Ryantm
eaa2608a12 horizon-eda: 2.3.1 -> 2.4.0 2022-10-18 20:39:07 +08:00