github-actions[bot]
|
85724d692e
|
Merge master into staging-next
|
2023-01-13 12:01:30 +00:00 |
|
Mario Rodas
|
ee3a1bac14
|
Merge pull request #210209 from aaronjheng/z3
z3_4_4_0: remove, z3_4_7: remove
|
2023-01-13 06:00:17 -05:00 |
|
github-actions[bot]
|
ceb05ad4bf
|
Merge master into staging-next
|
2023-01-13 06:01:09 +00:00 |
|
Ben Siraphob
|
cca1b4f948
|
Merge pull request #206265 from StillerHarpo/dcmtk
|
2023-01-12 23:26:03 -06:00 |
|
Aaron Jheng
|
3452c10bb4
|
z3_4_4_0: remove, z3_4_7: remove
|
2023-01-13 03:44:17 +00:00 |
|
github-actions[bot]
|
d51e8ce349
|
Merge master into staging-next
|
2023-01-13 00:02:15 +00:00 |
|
Nick Cao
|
86f80c8f1b
|
Merge pull request #208440 from NickCao/qt6-closure
Reduce the closure size of various qt6 packages
|
2023-01-13 06:43:19 +08:00 |
|
Florian Engel
|
5d2936b3da
|
dcmkt: Fix build
|
2023-01-12 20:42:51 +01:00 |
|
Martin Weinelt
|
c1e6c6af69
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2023-01-11 03:51:33 +01:00 |
|
7c6f434c
|
a3e5e2db7e
|
Merge pull request #209926 from wegank/satallax-darwin
satallax: add darwin support
|
2023-01-10 23:10:18 +00:00 |
|
Mauricio Collares
|
2377605314
|
Merge pull request #210034 from r-ryantm/auto-update/jmol
jmol: 14.32.76 -> 14.32.83
|
2023-01-10 21:46:35 +01:00 |
|
Jonas Heinrich
|
40970e1e0d
|
Merge pull request #209693 from Dettorer/add-package-digital
digital: init at 0.29
|
2023-01-10 18:14:12 +01:00 |
|
Bobby Rong
|
1b4ed2c960
|
Merge pull request #205274 from r-ryantm/auto-update/cbmc
cbmc: 5.71.0 -> 5.74.0
|
2023-01-10 22:56:19 +08:00 |
|
Bobby Rong
|
60164ab87b
|
cbmc: mark as broken on aarch64-linux
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
|
2023-01-10 22:29:53 +08:00 |
|
Jonas Heinrich
|
41bd3b658a
|
Merge pull request #209921 from r-ryantm/auto-update/xmedcon
xmedcon: 0.22.0 -> 0.23.0
|
2023-01-10 13:44:22 +01:00 |
|
R. Ryantm
|
c6588f1cb5
|
jmol: 14.32.76 -> 14.32.83
|
2023-01-10 12:22:33 +00:00 |
|
Jonas Heinrich
|
f92cbd7919
|
Merge pull request #209953 from r-ryantm/auto-update/sherpa
sherpa: 2.2.12 -> 2.2.13
|
2023-01-10 13:18:35 +01:00 |
|
Sergei Trofimovich
|
e4c295a77d
|
Merge pull request #208396 from bgamari/wip/gmsh-shared
gmsh: Enable dynamic linking and Python bindings
|
2023-01-10 00:05:19 +00:00 |
|
Ben Gamari
|
34dd176116
|
gmsh: enable python bindings
|
2023-01-09 19:01:02 -05:00 |
|
R. Ryantm
|
5480bcc212
|
sherpa: 2.2.12 -> 2.2.13
|
2023-01-09 22:03:45 +00:00 |
|
Artturi
|
27c1ec2ecf
|
Merge pull request #209816 from Artturin/deprecate-top-level-platform-aliases
|
2023-01-09 22:15:50 +02:00 |
|
Artturin
|
2eeb34c273
|
treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform
|
2023-01-09 21:13:22 +02:00 |
|
Weijia Wang
|
6c70d9252a
|
satallax: add darwin support
|
2023-01-09 20:10:30 +01:00 |
|
R. Ryantm
|
5006c1de08
|
xmedcon: 0.22.0 -> 0.23.0
|
2023-01-09 18:28:57 +00:00 |
|
github-actions[bot]
|
33aa224777
|
Merge master into staging-next
|
2023-01-09 18:01:24 +00:00 |
|
Weijia Wang
|
1f4c190aff
|
cubicle: 1.1.2 -> 1.2.0
|
2023-01-09 16:52:18 +01:00 |
|
R. Ryantm
|
e0db41ab1a
|
ants: 2.4.2 -> 2.4.3
|
2023-01-09 09:48:53 -06:00 |
|
Robert Schütz
|
b3241be75d
|
python310Packages.levenshtein: don't use alias
|
2023-01-09 06:09:31 -08:00 |
|
github-actions[bot]
|
e4fc9a910a
|
Merge master into staging-next
|
2023-01-09 12:01:24 +00:00 |
|
ajs124
|
9830366cd4
|
Merge pull request #209567 from QuantMint/qalculate-qt6
qalculate-qt: build with qt6
|
2023-01-09 11:47:20 +01:00 |
|
github-actions[bot]
|
fce67420c4
|
Merge master into staging-next
|
2023-01-09 00:02:14 +00:00 |
|
Sandro
|
7bd0c509f2
|
Merge pull request #208824 from wegank/phd2-wxgtk
|
2023-01-08 23:49:17 +01:00 |
|
github-actions[bot]
|
9fdb4a743d
|
Merge master into staging-next
|
2023-01-08 18:01:08 +00:00 |
|
Thomas Gerbet
|
186a0b4575
|
pulseview: fix hash of the patch
The patch introduced in 475e7fa802 have an
incorrect hash. OfBorg was already complaining about it in the PR
checks.
|
2023-01-08 18:13:01 +01:00 |
|
Martin Weinelt
|
4d65509504
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2023-01-08 16:34:30 +01:00 |
|
Thiago Kenji Okada
|
d80ad2df4b
|
Merge pull request #208721 from wegank/starspace-darwin
starspace: fix build on aarch64-darwin
|
2023-01-08 14:47:42 +00:00 |
|
Paul Dettorer Hervot
|
dbb732a8f2
|
digital: init at 0.29
|
2023-01-08 14:02:06 +01:00 |
|
R. Ryantm
|
9aa633ca8c
|
cbmc: 5.71.0 -> 5.74.0
|
2023-01-08 09:52:35 +00:00 |
|
QuantMint
|
7f1a5d7f8d
|
qalculate-qt: build with qt6
|
2023-01-07 22:38:04 +01:00 |
|
github-actions[bot]
|
0789ea69b1
|
Merge master into staging-next
|
2023-01-07 00:02:25 +00:00 |
|
Weijia Wang
|
787f337dc1
|
starspace: fix version
|
2023-01-06 23:30:34 +01:00 |
|
Weijia Wang
|
75a4b125dd
|
starspace: fix build on aarch64-darwin
|
2023-01-06 23:30:18 +01:00 |
|
Doron Behar
|
518e1103be
|
Merge pull request #209166 from alyaeanyx/qalculate-4.5.1
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.0 -> 4.5.1
|
2023-01-06 23:46:04 +02:00 |
|
Ben Gamari
|
4ed69ca095
|
gmsh: enable parallel building
|
2023-01-06 15:21:44 -05:00 |
|
Martin Weinelt
|
5b308cd1df
|
Merge remote-tracking branch 'origin/master' into staging-next
|
2023-01-06 19:10:05 +01:00 |
|
Pierre Roux
|
cc1d830b2a
|
coq_8_17: init at 8.17+rc1 (#209145)
|
2023-01-06 15:51:50 +01:00 |
|
github-actions[bot]
|
e3480cf1cc
|
Merge master into staging-next
|
2023-01-06 00:02:28 +00:00 |
|
alyaeanyx
|
762b538557
|
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.0 -> 4.5.1
|
2023-01-05 14:51:31 +01:00 |
|
Martin Weinelt
|
6bf557fc68
|
python3Packages.jupyter-core: rename from jupyter_core
|
2023-01-05 13:20:52 +01:00 |
|
Martin Weinelt
|
5eb7ef5549
|
sumo: Unpin python37
|
2023-01-05 13:20:48 +01:00 |
|