github-actions[bot]
737604e550
Merge master into staging-next
2021-07-27 00:01:35 +00:00
Guillaume Girol
455712841c
Merge pull request #130663 from symphorien/bitwuzla
...
bitwuzla: init at unstable-2021-07-01
2021-07-26 19:45:46 +00:00
Frederik Rietdijk
62370fb59a
Merge remote-tracking branch 'upstream/master' into staging-next
2021-07-26 09:19:44 +02:00
Ryan Mulligan
cec4b2a274
Merge pull request #131319 from r-ryantm/auto-update/jmol
...
jmol: 14.31.44 -> 14.31.46
2021-07-25 19:41:51 -07:00
Angus Trau
351b7d24e2
logisim: create desktop entry ( #131450 )
2021-07-25 17:46:34 -04:00
Guillaume Girol
1894e8d945
bitwuzla: init at unstable-2021-07-01
2021-07-25 15:52:25 +02:00
github-actions[bot]
6a5e4f2c3d
Merge master into staging-next
2021-07-25 06:01:27 +00:00
Ben Siraphob
0f34985134
Merge pull request #122828 from balodja/openmodelica
2021-07-25 09:24:25 +07:00
github-actions[bot]
a37fbac53b
Merge master into staging-next
2021-07-25 00:01:35 +00:00
Sandro
224159802c
Merge pull request #131152 from r-ryantm/auto-update/bedops
...
bedops: 2.4.39 -> 2.4.40
2021-07-24 22:53:05 +00:00
github-actions[bot]
859acbc1bc
Merge master into staging-next
2021-07-24 18:01:04 +00:00
Vladimir Korolev
5c8561f11a
openmodelica: 1.9.3 -> 1.17.0 with lots of changes
...
Co-authored-by: Jaakko Luttinen <jaakko.luttinen@iki.fi>
Most of changes are:
* separate packages for different openmodelica components,
* qt4 -> qt5,
* patches to instruct the OMEdit wrapper with stdenv executables
location,
* adoption of #89731 and #109595 ,
* openblas -> blas, lapack according to #83888 ,
* parallel building,
* getting rid of spurious build phases,
* correct the license,
* cross-compilation,
* forcing compiler to clang++ according to OM build recommendations,
* drop of pangox_compat according to #75909 and #76412 ,
* better dependencies, and more.
2021-07-24 20:29:26 +03:00
Daniël de Kok
8cb9eabf96
Merge pull request #131177 from r-ryantm/auto-update/finalfusion-utils
...
finalfusion-utils: 0.12.0 -> 0.13.0
2021-07-24 14:47:49 +02:00
R. RyanTM
4e5b3b49e4
jmol: 14.31.44 -> 14.31.46
2021-07-24 09:22:42 +00:00
Guillaume Girol
0708fe494b
cadical: install library
2021-07-23 21:19:27 +02:00
github-actions[bot]
cb1426e30a
Merge staging-next into staging
2021-07-23 18:01:46 +00:00
arjix
ebabecfd2a
nengo-gui: init at 0.4.8 ( #130015 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-07-23 14:06:09 +02:00
R. RyanTM
934002f7a4
finalfusion-utils: 0.12.0 -> 0.13.0
2021-07-23 06:08:46 +00:00
R. RyanTM
d943e6aa12
bedops: 2.4.39 -> 2.4.40
2021-07-23 01:02:40 +00:00
github-actions[bot]
2e00ed4420
Merge staging-next into staging
2021-07-22 06:01:44 +00:00
Ben Siraphob
a5049e8caa
Merge pull request #130971 from siraben/parallel-coq
...
coq: enable parallel building
2021-07-22 10:00:42 +07:00
Sandro
d06f7e07a6
Merge pull request #130925 from SuperSandro2000/python-aliases
2021-07-22 03:21:11 +02:00
Ben Siraphob
7c1d4d8255
coq: enable parallel building
2021-07-22 02:04:47 +07:00
github-actions[bot]
7a1e77336a
Merge staging-next into staging
2021-07-21 18:01:41 +00:00
Sandro Jäckel
b4099137b1
pythonPackages: deprecate ConfigArgParse alias
2021-07-21 13:32:54 +02:00
Sandro
aee461ddb4
toil: update homepage
2021-07-21 13:28:37 +02:00
Dmitry Kalinkin
866fe59150
toil: init at 5.4.0
2021-07-20 22:18:08 -04:00
github-actions[bot]
23c6d36ba0
Merge staging-next into staging
2021-07-20 18:01:42 +00:00
Sandro
8472d44b82
Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4
...
logisim: cleanup
2021-07-20 19:48:37 +02:00
Sandro
fd1ab319b7
logisim: cleanup
2021-07-20 18:33:48 +02:00
Sandro
c401885fe1
Merge pull request #130192 from Stunkymonkey/logisim-phases
...
logisim: deprecate phases
2021-07-20 18:32:40 +02:00
github-actions[bot]
0e13cd9f49
Merge staging-next into staging
2021-07-20 12:02:50 +00:00
Sandro
4a340627aa
Merge pull request #130661 from veprbl/pr/snakemake_6_6_1
2021-07-20 11:05:53 +02:00
Ben Siraphob
e8599765f5
Merge pull request #130638 from siraben/par-treewide
...
treewide: remove unnecessary enableParallelBuilding when using cmake, meson, qmake
2021-07-20 12:10:21 +07:00
Ben Siraphob
4ce8c34049
treewide: remove unnecessary enableParallelBuilding when using qmake
2021-07-20 10:32:58 +07:00
github-actions[bot]
e86ff5c2b2
Merge staging-next into staging
2021-07-20 00:02:21 +00:00
Guillaume Girol
6554384a70
boolector: 3.2.1 -> 3.2.2
2021-07-19 16:11:01 -07:00
Dmitry Kalinkin
3a79b1fece
snakemake: 6.5.3 -> 6.6.1
2021-07-19 16:22:36 -04:00
Dmitry Kalinkin
a93f2af20b
snakemake: add missing optional dependenices
...
These are needed to generate reports
2021-07-19 16:19:27 -04:00
github-actions[bot]
c455b1a657
Merge staging-next into staging
2021-07-19 18:01:44 +00:00
Ben Siraphob
d53846e29e
Merge pull request #130583 from jvanbruegge/isabelle2021
...
Isabelle: 2020 -> 2021
2021-07-19 20:56:48 +07:00
Millian Poquet
c6f34aeaef
simgrid: compile tests in parallel
2021-07-19 14:05:17 +02:00
Millian Poquet
c4ec6ffb78
simgrid: fix paths in smpicc/smpicxx
2021-07-19 14:04:57 +02:00
Millian Poquet
33f915f241
simgrid: propagate boost
...
Since SimGrid include files directly include boost files,
most SimGrid users need boost as well.
2021-07-19 14:03:50 +02:00
Millian Poquet
2d05c2d535
simgrid: 3.27 -> 3.28
2021-07-19 14:01:30 +02:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry
2021-07-19 12:04:30 +02:00
github-actions[bot]
dde34afc63
Merge staging-next into staging
2021-07-19 00:02:18 +00:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021
2021-07-18 23:51:36 +02:00
Sandro
d5bd34ebf2
treewide: convert phases that contain ":" to dont* = true ( #130500 )
2021-07-18 23:42:48 +02:00
github-actions[bot]
09be4e7750
Merge staging-next into staging
2021-07-18 12:01:50 +00:00
