Commit graph

4865 commits

Author SHA1 Message Date
Sandro 1524f36b3e
Merge pull request #131627 from jbedo/mosdepth
mosdepth: 0.3.1 -> 0.3.2
2021-07-29 13:56:24 +00:00
Frederik Rietdijk 8dcfe523f7
Merge pull request #131719 from FRidh/python2-to-3
Python: further migrate packages from 2 to 3
2021-07-29 10:49:00 +02:00
Frederik Rietdijk 8f6b07c223 maxima: use strictDeps and python3 2021-07-27 20:37:06 +02:00
github-actions[bot] db6a26db02
Merge master into staging-next 2021-07-27 18:01:01 +00:00
Sandro Jäckel cebfbdff37
mrbayes: 3.2.7 -> 3.2.7a 2021-07-27 14:30:23 +02:00
github-actions[bot] 2692c2e427
Merge master into staging-next 2021-07-27 12:01:20 +00:00
Sandro 28d58fb25f
Merge pull request #131531 from SuperSandro2000/mrbayes
mrbayes: modernize
2021-07-27 10:57:14 +00:00
Sandro Jäckel 108ad942fb
mrbayes: modernize 2021-07-27 11:53:51 +02:00
github-actions[bot] 737604e550
Merge master into staging-next 2021-07-27 00:01:35 +00:00
Justin Bedo d885373469
mosdepth: 0.3.1 -> 0.3.2 2021-07-27 09:52:22 +10: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