Mario Rodas
61f57d850e
Merge pull request #92729 from r-ryantm/auto-update/tfsec
...
tfsec: 0.21.0 -> 0.23.2
2020-07-08 19:10:11 -05:00
Mario Rodas
aa5ee82db2
tfsec: add ldflags
2020-07-08 18:55:18 -05:00
R. RyanTM
4b0ab3f2a4
tfsec: 0.21.0 -> 0.23.2
2020-07-08 16:49:39 +00:00
Luflosi
92ca9d643f
include-what-you-use: 0.13 -> 0.14
...
https://github.com/include-what-you-use/include-what-you-use/releases/tag/0.14
2020-07-06 23:05:39 +02:00
Daniël de Kok
8e51d14108
Merge pull request #92185 from r-ryantm/auto-update/hopper
...
hopper: 4.5.28 -> 4.5.29
2020-07-03 17:31:50 +02:00
R. RyanTM
b994272c13
hopper: 4.5.28 -> 4.5.29
2020-07-03 14:51:48 +00:00
Jonathan Ringer
6eb63fc2e5
pmd: 6.17.0 -> 6.25.0, fix runtime
2020-07-02 11:48:59 -07:00
Mario Rodas
4ee9de0ce0
Merge pull request #92003 from r-ryantm/auto-update/flow
...
flow: 0.127.0 -> 0.128.0
2020-07-02 09:01:51 -05:00
R. RyanTM
5b846f1c11
flow: 0.127.0 -> 0.128.0
2020-07-02 10:29:08 +00:00
Vincent Laporte
18094dbdc2
frama-c: 21.0 (Scandium) → 21.1 (Scandium)
2020-07-01 23:51:10 +02:00
Mario Rodas
55f0953d1b
Merge pull request #91798 from r-ryantm/auto-update/checkstyle
...
checkstyle: 8.33 -> 8.34
2020-06-30 06:31:22 -05:00
Yurii Rashkovskii
3774105f48
framac: 20.0 -> 21.0
2020-06-30 09:30:38 +02:00
R. RyanTM
7462d78905
checkstyle: 8.33 -> 8.34
2020-06-30 03:02:12 +00:00
Mario Rodas
d121364a21
tflint: 0.16.2 -> 0.17.0
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.17.0
2020-06-27 04:20:00 -05:00
Ryan Mulligan
40dbcfc4b3
Merge pull request #91546 from r-ryantm/auto-update/codeql
...
codeql: 2.2.1 -> 2.2.3
2020-06-26 10:58:56 -07:00
R. RyanTM
7a2ed26f98
codeql: 2.2.1 -> 2.2.3
2020-06-26 05:39:48 +00:00
Hugo Reeves
cf11c3c2cd
cargo-tarpaulin: 0.13.4 -> 0.14.0
2020-06-26 11:12:16 +12:00
Hugo Reeves
27108e7cee
cargo-tarpaulin: 0.13.3 -> 0.13.4
2020-06-24 14:39:16 +12:00
deliciouslytyped
eaf756639f
rr: 5.3.0 +> 9ff37581 add rr-unstable until a new rr release is made
2020-10-04 23:27:08 +02:00
Mario Rodas
a2375629e6
Merge pull request #98985 from r-ryantm/auto-update/autoflake
...
autoflake: 1.3.1 -> 1.4
2020-10-02 23:31:12 -05:00
Vincent Laporte
22b076e1c3
ikos: 2.1 → 3.0
2020-09-30 07:20:38 +02:00
R. RyanTM
d3bf95dfff
autoflake: 1.3.1 -> 1.4
2020-09-28 03:54:31 +00:00
Jörg Thalheim
8954f325d1
Merge pull request #98849 from r-ryantm/auto-update/radare2-cutter
...
radare2-cutter: 1.11.1 -> 1.12.0
2020-09-26 16:07:37 +02:00
R. RyanTM
ff33525cc9
radare2-cutter: 1.11.1 -> 1.12.0
2020-09-26 10:55:06 +00:00
Mario Rodas
b61855498e
tfsec: 0.25.0 -> 0.27.0
...
https://github.com/liamg/tfsec/releases/tag/v0.27.0
2020-09-24 04:20:00 +00:00
Mario Rodas
635b394768
tflint: 0.20.1 -> 0.20.2
...
https://github.com/terraform-linters/tflint/releases/tag/v0.20.2
2020-09-22 20:00:00 -05:00
Lassulus
ec3ea93a95
Merge pull request #97088 from r-ryantm/auto-update/checkstyle
...
checkstyle: 8.35 -> 8.36
2020-09-17 21:09:15 +02:00
Mario Rodas
8ddd52d29b
tflint: 0.19.1 -> 0.20.1
...
https://github.com/terraform-linters/tflint/releases/tag/v0.20.1
2020-09-13 09:20:12 -07:00
Michael Raskin
ccf01af387
Merge pull request #97091 from Mic92/radare2
...
radare2: 4.5.0 -> 4.5.1
2020-09-06 07:58:37 +00:00
Ryan Mulligan
d0958db8a8
Merge pull request #97080 from r-ryantm/auto-update/cargo-tarpaulin
...
cargo-tarpaulin: 0.14.2 -> 0.14.3
2020-09-05 14:26:39 -07:00
Niklas Hambüchen
5829744d44
Merge pull request #97084 from bbigras/hotspot
...
hotspot: 1.2.0 -> 1.3.0
2020-09-04 15:41:40 +02:00
R. RyanTM
fd457ecb6c
codeql: 2.2.4 -> 2.2.5 ( #97097 )
2020-09-04 08:49:48 -04:00
Jörg Thalheim
4bdcea4634
radare2: 4.5.0 -> 4.5.1
2020-09-04 10:15:39 +02:00
R. RyanTM
b90e74cb8a
checkstyle: 8.35 -> 8.36
2020-09-04 06:45:04 +00:00
Bruno Bigras
678e9184ef
hotspot: 1.2.0 -> 1.3.0
2020-09-04 02:13:30 -04:00
R. RyanTM
ae724e8f76
cargo-tarpaulin: 0.14.2 -> 0.14.3
2020-09-04 05:27:16 +00:00
Tom Repetti
4e7728ea71
svlint: init at 0.4.7
2020-09-03 14:40:25 -07:00
Mario Rodas
f7100e698e
flow: 0.132.0 -> 0.133.0
...
https://github.com/facebook/flow/releases/tag/v0.133.0
2020-09-03 04:20:00 +00:00
Jörg Thalheim
272c2201dc
Merge pull request #96138 from r-ryantm/auto-update/radare2-cutter
...
radare2-cutter: 1.11.0 -> 1.11.1
2020-08-26 20:23:03 +01:00
R. RyanTM
df686f82a0
flow: 0.131.0 -> 0.132.0
2020-08-25 21:35:31 +00:00
R. RyanTM
3a36eb3ff7
radare2-cutter: 1.11.0 -> 1.11.1
2020-08-24 04:40:35 +00:00
Mario Rodas
32216b7783
tflint: 0.19.0 -> 0.19.1
...
https://github.com/terraform-linters/tflint/releases/tag/v0.19.1
2020-08-23 04:20:00 -05:00
R. RyanTM
b52196dca5
pmd: 6.25.0 -> 6.26.0
2020-08-21 20:45:50 -07:00
Mario Rodas
36a6c0a1a3
tflint: 0.18.0 -> 0.19.0
2020-08-17 04:42:00 -05:00
zowoq
473536e3b5
buildRustPackage: remove platform.all from packages
2020-08-16 12:48:18 +10:00
Maximilian Bosch
3f61850c41
Merge pull request #90495 from r-ryantm/auto-update/cppcheck
...
cppcheck: 2.0 -> 2.1
2020-06-17 01:04:03 +02:00
Jonathan Ringer
96d1403e7f
cpplint: 1.3.0 -> 1.5.1
2020-06-15 17:50:53 -07:00
R. RyanTM
b24cd9444e
cppcheck: 2.0 -> 2.1
2020-06-15 14:20:40 +00:00
Mario Rodas
a19f3dcb16
Merge pull request #90438 from r-ryantm/auto-update/tfsec
...
tfsec: 0.19.0 -> 0.21.0
2020-06-15 02:15:07 -05:00
R. RyanTM
6c579f0487
tfsec: 0.19.0 -> 0.21.0
2020-06-15 04:35:28 +00:00
R. RyanTM
fceb6f82df
flow: 0.126.1 -> 0.127.0
2020-06-14 15:04:52 +00:00
Ryan Mulligan
20a4dad69e
Merge pull request #89984 from r-ryantm/auto-update/hopper
...
hopper: 4.5.27 -> 4.5.28
2020-06-10 05:59:47 -07:00
R. RyanTM
663ea3b0e3
hopper: 4.5.27 -> 4.5.28
2020-06-09 21:58:50 +00:00
R. RyanTM
1d2e139a76
codeql: 2.1.4 -> 2.2.1
2020-06-08 17:08:11 +00:00
Mario Rodas
a1bdb4dd84
Merge pull request #89700 from r-ryantm/auto-update/cargo-tarpaulin
...
cargo-tarpaulin: 0.13.2 -> 0.13.3
2020-06-07 11:15:40 -05:00
R. RyanTM
2b42590056
cargo-tarpaulin: 0.13.2 -> 0.13.3
2020-06-06 21:08:08 +00:00
Mario Rodas
27b8dff9c5
Merge pull request #89682 from bhipple/auto-update/tflint
...
tflint: 0.16.1 -> 0.16.2
2020-06-06 13:31:06 -05:00
Benjamin Hipple
33a5ae5232
tflint: 0.16.1 -> 0.16.2
2020-06-06 13:47:37 -04:00
Mario Rodas
e4e61f66d3
Merge pull request #89595 from r-ryantm/auto-update/checkstyle
...
checkstyle: 8.32 -> 8.33
2020-06-06 08:34:33 -05:00
R. RyanTM
cf79718fc0
flow: 0.125.1 -> 0.126.1
2020-06-06 07:40:30 +00:00
R. RyanTM
67814af731
checkstyle: 8.32 -> 8.33
2020-06-06 04:31:48 +00:00
Minijackson
0332c06389
coz: fix python shebang
2020-06-01 15:04:29 +02:00
Ryan Mulligan
a3a94a957e
Merge pull request #89068 from r-ryantm/auto-update/codeql
...
codeql: 2.1.3 -> 2.1.4
2020-05-29 05:50:12 -07:00
R. RyanTM
e5b02a7aec
codeql: 2.1.3 -> 2.1.4
2020-05-28 01:39:08 +00:00
R. RyanTM
6dd35f3396
cargo-tarpaulin: 0.12.4 -> 0.13.2
2020-05-28 00:45:15 +00:00
Sebastian Neubauer
92ec463c51
cppcheck: enable z3 support
2020-05-26 12:55:34 +02:00
Ryan Mulligan
086be4a7b8
Merge pull request #88543 from r-ryantm/auto-update/hopper
...
hopper: 4.5.25 -> 4.5.27
2020-05-22 07:27:35 -07:00
Mario Rodas
65ea9f9a35
tflint: 0.16.0 -> 0.16.1
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.16.1
2020-05-21 18:18:18 -05:00
R. RyanTM
226f644aba
hopper: 4.5.25 -> 4.5.27
2020-05-21 20:32:22 +00:00
Maximilian Bosch
8c9fe503e4
Merge pull request #88265 from r-ryantm/auto-update/cppcheck
...
cppcheck: 1.90 -> 2.0
2020-05-20 12:03:59 +02:00
R. RyanTM
28600363dd
cppcheck: 1.90 -> 2.0
2020-05-20 09:08:05 +00:00
Ryan Mulligan
fc83402056
Merge pull request #88121 from r-ryantm/auto-update/codeql
...
codeql: 2.1.1 -> 2.1.3
2020-05-19 07:36:07 -07:00
R. RyanTM
e07f578973
flow: 0.124.0 -> 0.125.1
2020-05-19 05:43:43 +00:00
R. RyanTM
e1889cf423
codeql: 2.1.1 -> 2.1.3
2020-05-19 03:32:05 +00:00
Mario Rodas
6f71eaeb8c
tflint: 0.15.5 -> 0.16.0
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.16.0
2020-05-16 04:20:00 -05:00
Sarah Brofeldt
2bf4a22e5a
Merge pull request #87571 from HugoReeves/master
...
cargo-tarpaulin: init at 0.12.4
2020-05-14 10:01:02 +02:00
Hugo Reeves
81b7c9368c
cargo-tarpaulin: init at 0.12.4
2020-05-14 18:41:49 +12:00
Colin L Rice
d6162dab50
go-modules: Update files to use vendorSha256
2020-05-14 07:22:21 +01:00
Jörg Thalheim
11fa2d4340
radare2-cutter: 1.10.2 -> 1.10.3
2020-05-09 20:09:27 +01:00
Mario Rodas
efd676ad34
Merge pull request #87133 from r-ryantm/auto-update/flow
...
flow: 0.123.0 -> 0.124.0
2020-05-06 18:07:37 -05:00
R. RyanTM
bc983a2bdb
flow: 0.123.0 -> 0.124.0
2020-05-06 19:47:10 +00:00
R. RyanTM
89aadedd32
hopper: 4.5.22 -> 4.5.25
2020-05-05 18:49:53 -07:00
Ryan Mulligan
4d7dab0000
Merge pull request #86542 from r-ryantm/auto-update/codeql
...
codeql: 2.1.0 -> 2.1.1
2020-05-03 13:41:54 -07:00
Mario Rodas
7ed6ff7168
Merge pull request #86534 from r-ryantm/auto-update/checkstyle
...
checkstyle: 8.31 -> 8.32
2020-05-02 10:08:50 -05:00
R. RyanTM
6bee8a11e1
codeql: 2.1.0 -> 2.1.1
2020-05-02 05:55:58 +00:00
R. RyanTM
e6691a4018
checkstyle: 8.31 -> 8.32
2020-05-02 04:51:58 +00:00
Jörg Thalheim
91b71a7b60
radare2: 4.3.1 -> 4.4.0
2020-05-01 11:57:01 +01:00
Jan Tojnar
e89e2edc73
libusb-compat-0_1: rename from libusb
2020-04-28 05:33:41 +02:00
Mario Rodas
2933063455
tflint: 0.15.4 -> 0.15.5
2020-04-25 12:52:00 -05:00
Mario Rodas
2f33062f53
flow: 0.122.0 -> 0.123.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.123.0
2020-04-17 22:00:54 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
R. RyanTM
26ff0ff981
hopper: 4.5.21 -> 4.5.22
2020-04-05 21:03:09 +00:00
Mario Rodas
99f7b9481f
tflint: 0.15.3 -> 0.15.4
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.15.4
2020-04-04 08:25:00 -05:00
Mario Rodas
84d0a23506
flow: 0.121.0 -> 0.122.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.122.0
2020-04-04 10:56:23 +02:00
R. RyanTM
53b318564e
randoop: 4.2.2 -> 4.2.3
2020-04-01 17:14:33 -07:00
R. RyanTM
3330eefeff
checkstyle: 8.30 -> 8.31
2020-04-01 09:36:09 +00:00
Jörg Thalheim
756a16e733
panopticon: fix strict deps build
2020-03-29 12:37:25 +01:00
Mikhail Klementev
679fc685c8
codeql: 2.0.4 -> 2.1.0
2020-03-28 09:05:48 +00:00
Jörg Thalheim
066db11215
Revert "Merge pull request #83099 from marsam/fix-buildGoModule-packages-darwin"
...
This reverts commit 4e6bf03504
, reversing
changes made to afd997aab6
.
Instead we propagate those frameworks from the compiler again
2020-03-27 07:33:21 +00:00
Jörg Thalheim
f565c8fd1c
radare2-cutter: 1.10.1 -> 1.10.2
2020-03-25 21:27:14 +00:00
Mario Rodas
e2e4e95cbd
tflint: 0.15.2 -> 0.15.3
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.15.3
2020-03-22 04:20:00 -05:00
Mario Rodas
074703a553
tflint: fix build on darwin
2020-03-21 06:16:00 -05:00
Mario Rodas
d57719b5b6
flow: 0.120.1 -> 0.121.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.121.0
2020-03-19 09:59:53 +01:00
Timo Kaufmann
e5642d405e
retdec: fix build
...
The build was broken by the gcc9 update. Pinning to gcc8 for now.
2020-03-15 11:57:57 +01:00
Mario Rodas
3b2d9b3e4c
tflint: 0.15.1 -> 0.15.2
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.15.2
2020-03-14 16:40:18 +00:00
Jörg Thalheim
09ad2cffdc
radare2: 4.3.0 -> 4.3.1
2020-03-14 08:56:42 +00:00
Benjamin Hipple
2ab1a2db99
tflint: 0.15.0 -> 0.15.1
2020-03-13 00:07:48 -04:00
Ryan Mulligan
e2920d957a
Merge pull request #82045 from r-ryantm/auto-update/hopper
...
hopper: 4.5.19 -> 4.5.21
2020-03-09 06:23:49 -07:00
R. RyanTM
ef03ff7c1f
hopper: 4.5.19 -> 4.5.21
2020-03-08 11:45:01 +00:00
Mario Rodas
88efa8b1ae
flow: 0.119.1 -> 0.120.1
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.120.1
2020-03-08 04:20:00 -05:00
R. RyanTM
b848abe4c6
jdepend: 2.9.1 -> 2.10
2020-03-07 20:52:17 +00:00
R. RyanTM
e17a1a098c
codeql: 2.0.2 -> 2.0.4
2020-03-05 15:10:00 -08:00
Mario Rodas
e5fd322143
Merge pull request #81712 from r-ryantm/auto-update/randoop
...
randoop: 4.2.1 -> 4.2.2
2020-03-05 07:29:56 -05:00
Jörg Thalheim
fb6f2d1488
radare2: 4.2.1 -> 4.3.0 ( #81730 )
2020-03-04 17:27:47 +00:00
Vladimír Čunát
eb5f3cac4f
Merge #81631 : lcov: Fix patch checksums
2020-03-04 14:22:08 +01:00
R. RyanTM
e3461b75e7
randoop: 4.2.1 -> 4.2.2
2020-03-04 10:59:53 +00:00
Mario Rodas
1fcc960f1d
Merge pull request #81682 from r-ryantm/auto-update/flow
...
flow: 0.119.0 -> 0.119.1
2020-03-03 23:31:47 -05:00
R. RyanTM
2cb7cd6573
flow: 0.119.0 -> 0.119.1
2020-03-04 03:55:39 +00:00
R. RyanTM
98bf3a997e
checkstyle: 8.29 -> 8.30
2020-03-04 02:05:33 +00:00
Josef Kemetmüller
adfb8a039b
lcov: Fix patch checksums
...
The previously committed checksums seem to have been mistakenly taken
directly from fetchurl without fetchpatch normalization.
2020-03-03 16:58:39 +01:00
Eelco Dolstra
74c82056c9
lcov: Support gcc 9
...
https://github.com/linux-test-project/lcov/issues/58
https://github.com/Homebrew/homebrew-core/pull/50070
2020-02-28 12:31:41 +01:00
Mario Rodas
58dac371d5
tflint: 0.14.0 -> 0.15.0
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.15.0
2020-02-25 08:32:00 -05:00
Mario Rodas
0507717aae
flow: 0.118.0 -> 0.119.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.119.0
2020-02-24 09:57:14 +01:00
Jörg Thalheim
b878000c66
r2: 4.2.0 -> 4.2.1
2020-02-20 11:54:37 +00:00
Jörg Thalheim
e8343960a9
hopper: libffi compatibility symlink
2020-02-19 14:59:26 +00:00
Jörg Thalheim
2d87562b42
Merge pull request #75522 from Enteee/bugfix/hopper
...
hopper: fix libxml2 dynamic linking issue
2020-02-19 14:25:14 +00:00
Mario Rodas
013008ae7e
brakeman: 4.7.2 -> 4.8.0
...
Changelog: https://github.com/presidentbeef/brakeman/releases/tag/v4.8.0
2020-02-18 20:00:00 -05:00
Benjamin Hipple
e73928ba4d
panopticon: upgrade cargo fetcher and cargoSha256
...
Infra upgrade as part of #79975 ; no functional change expected.
2020-02-16 09:33:26 -08:00
Vladyslav M
07e1adff46
bingrep: 0.8.1 -> 0.8.2
2020-02-15 09:38:37 +02:00
Benjamin Hipple
eb11feaa0b
treewide: change fetchCargoTarball default to opt-out
...
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.
This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.
See #79975 for details.
2020-02-13 22:41:37 -08:00
Frederik Rietdijk
03755ed59a
Merge master into staging-next
2020-02-09 09:17:51 +01:00
Ryan Mulligan
0d5411fc6d
Merge pull request #79423 from r-ryantm/auto-update/codeql
...
codeql: 2.0.0 -> 2.0.2
2020-02-08 12:42:57 -08:00
Pascal Wittmann
0fce2522e1
Merge pull request #79470 from r-ryantm/auto-update/randoop
...
randoop: 3.1.5 -> 4.2.1
2020-02-08 20:06:03 +01:00
Mario Rodas
e453de05b8
Merge pull request #79413 from r-ryantm/auto-update/checkstyle
...
checkstyle: 8.28 -> 8.29
2020-02-08 10:52:06 -05:00
Frederik Rietdijk
30f0909e3a
Merge master into staging-next
2020-02-07 19:27:52 +01:00
R. RyanTM
fa646a2317
randoop: 3.1.5 -> 4.2.1
2020-02-07 18:05:07 +00:00
R. RyanTM
9ae939fb8a
codeql: 2.0.0 -> 2.0.2
2020-02-07 07:26:25 +00:00
R. RyanTM
6cb37c8027
checkstyle: 8.28 -> 8.29
2020-02-07 04:24:02 +00:00
Mario Rodas
a124c9444a
flow: 0.117.0 -> 0.118.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.118.0
2020-02-06 04:20:00 -05:00
Vladimír Čunát
48a997cd76
Merge #66528 : glibc: 2.27 -> 2.30 (into staging)
...
Includes update of stdenv bootstap tools (for three main platforms)
and many package fixes with new glibc.
2020-02-05 13:41:09 +01:00
Jörg Thalheim
4d676594ac
radare2-cutter: 1.9.0 -> 1.10.1
2020-02-04 11:31:06 +00:00
Jörg Thalheim
0bb7b8a72d
radare2: 4.0.0 -> 4.2.0
2020-02-04 11:31:04 +00:00
Maximilian Bosch
62af92b848
cppcheck: 1.88 -> 1.90
2020-02-01 12:48:46 +01:00
Mario Rodas
5f192ddcf6
tflint: 0.13.3 -> 0.14.0
...
Changelog: https://github.com/terraform-linters/tflint/releases/tag/v0.14.0
2020-01-31 04:20:00 -05:00
Maximilian Bosch
f4bd578366
eresi: fix build w/glibc-2.30
2020-01-28 15:45:30 +01:00
Maximilian Bosch
6b0cd9ad47
Merge branch 'staging' into glibc230
...
Conflicts:
pkgs/applications/misc/vit/default.nix
2020-01-28 14:54:51 +01:00
Mario Rodas
cabda88653
tfsec: 0.13.0 -> 0.19.0
2020-01-26 21:10:30 +01:00
Maximilian Bosch
a27af1a593
coz: 0.2.0 -> 0.2.1, fix build w/glibc-2.30
2020-01-25 20:15:13 +01:00
Mario Rodas
0e1259aa12
flow: 0.116.1 -> 0.117.0
...
Changelog: https://github.com/facebook/flow/releases/tag/v0.117.0
2020-01-24 18:18:18 -05:00
Marek Mahut
e96265ebcd
Merge pull request #78384 from yrashk/frama-c-20.0
...
frama-c: 19.1 -> 20.0
2020-01-24 23:38:23 +01:00