Commit graph

4831 commits

Author SHA1 Message Date
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
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
Ben Siraphob
0f34985134
Merge pull request #122828 from balodja/openmodelica 2021-07-25 09:24:25 +07: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
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
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
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
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
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
Sandro
4a340627aa
Merge pull request #130661 from veprbl/pr/snakemake_6_6_1 2021-07-20 11:05:53 +02: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
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
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
Jörg Thalheim
d4b8356ce2 pcalc: 20141224 -> 20181202 2021-07-18 08:40:09 +02:00
Sandro
24debc24c6
Merge pull request #130194 from Stunkymonkey/fdr-phases
fdr: deprecate phases
2021-07-18 00:41:56 +02:00
Felix Buehler
82cb33a0ae treewide: remove meta.version 2021-07-18 00:07:38 +02:00
Robert Scott
681821fefe
Merge pull request #129834 from r-ryantm/auto-update/bcftools
bcftools: 1.11 -> 1.13
2021-07-17 18:26:47 +01:00
Guillaume Girol
cb7e11dcb3
Merge pull request #130404 from collares/pynac-0.7.29
pynac: 0.7.27 -> 0.7.29
2021-07-17 09:08:46 +00:00
(cdep)illabout
299082636c
cedille: set no hydra platforms 2021-07-17 11:17:09 +09:00
(cdep)illabout
ff0c051daf
cedille: mark broken 2021-07-17 11:10:26 +09:00
Mauricio Collares
183071d282 pynac: 0.7.27 -> 0.7.29 2021-07-16 19:30:11 -03:00
Sandro
9b8e8b2047
Merge pull request #130193 from Stunkymonkey/verifast-phases
verifast: deprecate phases
2021-07-15 23:40:17 +02:00
Sandro
daa42d5347
Merge pull request #130210 from veprbl/pr/root_6_24_02 2021-07-15 22:52:29 +02:00
Sandro
025cab89d9
Merge pull request #130187 from Stunkymonkey/workcraft-phases
workcraft: deeprecate phases
2021-07-15 21:59:16 +02:00
FliegendeWurst
5a1b72a6b1 mathematica: 12.3.0 -> 12.3.1 2021-07-15 15:29:33 +02:00
Vincent Laporte
e57571bdb6 gappa: 1.3.5 → 1.4.0 2021-07-15 07:55:52 +02:00
Dmitry Kalinkin
1cbb9c64d1
root,root5: apply nixpkgs-fmt 2021-07-14 16:23:09 -04:00
Dmitry Kalinkin
62ab958fb0
root: 6.24.00 -> 6.24.02 2021-07-14 14:58:15 -04:00