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
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
ajs124
9830366cd4
Merge pull request #209567 from QuantMint/qalculate-qt6
...
qalculate-qt: build with qt6
2023-01-09 11:47:20 +01:00
Sandro
7bd0c509f2
Merge pull request #208824 from wegank/phd2-wxgtk
2023-01-08 23:49:17 +01:00
Thomas Gerbet
186a0b4575
pulseview: fix hash of the patch
...
The patch introduced in 475e7fa802
2023-01-08 18:13:01 +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
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
Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 ( #209145 )
2023-01-06 15:51:50 +01:00
alyaeanyx
762b538557
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.0 -> 4.5.1
2023-01-05 14:51:31 +01:00
Weijia Wang
f0425af6cd
root5: migrate to python3
2023-01-05 10:56:07 +01:00
Ben Gamari
0af966f368
gmsh: Enable OpenMP support
...
As this is parallelism that essentially comes for free.
2023-01-04 11:24:04 -05:00
markuskowa
0aad1c5182
Merge pull request #208523 from r-ryantm/auto-update/dataexplorer
...
dataexplorer: 3.7.3 -> 3.7.4
2023-01-03 14:44:02 +01:00
R. Ryantm
605d013aac
igv: 2.15.1 -> 2.15.4
2023-01-03 14:36:54 +08:00
Weijia Wang
3e26df42ab
phd2: migrate to wxGTK32
2023-01-02 23:50:47 +01:00
Nicolas Benes
e8a2f9fba6
dataexplorer: pin jdk17
...
Since the default jdk changed to jdk19, DataExplorer fails at startup:
```console
$ ./result/bin/DataExplorer
java.lang.NullPointerException: Cannot read field "width" because the return value of "gde.config.Settings.getWindow()" is null
at gde.ui.DataExplorer.execute(DataExplorer.java:406)
at gde.GDE.main(GDE.java:544)
```
Therefore, pin to jdk17, which is also the latest recommended version by
upstream:
> The only requirement is the installation of a Java run-time of version
> 8 to Java 17 for the 32 bit versions and Java 11 to 17 for the 64 bit
> versions, such as IcedTea or open JDK.
https://www.nongnu.org/dataexplorer/index.html#Introduction
2023-01-01 17:44:51 +01:00
markuskowa
3325956ea1
Merge pull request #208365 from illdefined/xnec2c
...
xnec2c: init at 4.4.12
2023-01-01 14:55:45 +01:00
Doron Behar
a40405b971
Merge pull request #207697 from herberteuler/fix/mathematica-13.2.0
...
mathematica: 13.1.0 -> 13.2.0
2022-12-31 22:24:10 +02:00
Doron Behar
d6a592c02e
mathematica: Add 13.1.0 webdoc=true source hash
2022-12-31 21:31:45 +02:00
Mikael Voss
bab5a9ca87
xnec2c: init at 4.4.12
2022-12-31 20:25:23 +01:00
Mauricio Collares
2082422786
Merge pull request #206238 from collares/lean-3.50.0
...
lean: 3.49.0 -> 3.50.3
2022-12-31 13:55:52 -03:00
Ben Gamari
24de35c698
gmsh: 4.11 -> 4.11.1
2022-12-31 11:37:53 -05:00
Ben Gamari
b2557f7653
gmsh: Enable shared library
...
This allows use of the Python and other bindings.
2022-12-31 11:37:53 -05:00
R. Ryantm
cde346ccd5
dataexplorer: 3.7.3 -> 3.7.4
2022-12-31 16:36:44 +00:00
Guanpeng Xu
ee5237701e
mathematica: document the command for calculating hashes
2022-12-31 22:55:38 +08:00
R. Ryantm
c45eae4334
workcraft: 3.3.8 -> 3.3.9
2022-12-30 23:45:14 +08:00
Théo Zimmermann
387cd36d7d
Merge pull request #207995 from Artturin/fixtypocoq
...
coqPackages.coq: fix typo
2022-12-27 20:04:32 +01:00
Artturin
685bf1f690
coqPackages.coq: fix typo
...
introduced in d1136611
2022-12-27 20:44:32 +02:00
Mauricio Collares
b25ad6c153
Merge pull request #207933 from r-ryantm/auto-update/polymake
...
polymake: 4.7 -> 4.8
2022-12-27 12:51:37 -03:00
Fabian Affolter
fc4b36771b
polymake: add changelog to meta
2022-12-27 10:20:07 +01:00
