Commit graph

4829 commits

Author SHA1 Message Date
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
Jörg Thalheim d4b8356ce2 pcalc: 20141224 -> 20181202 2021-07-18 08:40:09 +02:00
github-actions[bot] 08a8809bfe
Merge staging-next into staging 2021-07-18 00:02:06 +00: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
github-actions[bot] 11332e9137
Merge staging-next into staging 2021-07-17 18:01:28 +00: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
github-actions[bot] 732bd85cf5
Merge staging-next into staging 2021-07-17 12:01:55 +00: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
github-actions[bot] ed4094a728
Merge staging-next into staging 2021-07-16 00:02:18 +00: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
github-actions[bot] 2165de1758
Merge staging-next into staging 2021-07-15 18:02:07 +00:00
FliegendeWurst 5a1b72a6b1 mathematica: 12.3.0 -> 12.3.1 2021-07-15 15:29:33 +02:00
github-actions[bot] 0db5cea36d
Merge staging-next into staging 2021-07-15 06:01:32 +00: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
github-actions[bot] 6630d8e9bb
Merge staging-next into staging 2021-07-14 18:01:45 +00:00
Felix Buehler 7ab67cfa4c fdr: deprecate phases 2021-07-14 16:42:23 +02:00
Felix Buehler b6fb4cedaf verifast: deprecate phases 2021-07-14 16:41:30 +02:00
Felix Buehler ac75afe239 logisim: deprecate phases 2021-07-14 16:40:28 +02:00
Felix Buehler cdf9e86ad1 leo3-bin: deprecate phases 2021-07-14 16:38:38 +02:00
Felix Buehler 3680a85bcb workcraft: deeprecate phases 2021-07-14 16:33:41 +02:00