From: "Girar awaiter (vt)" <girar-builder@altlinux.org>
To: Vitaly Chikunov <vt@altlinux.org>
Cc: sisyphus-incominger@lists.altlinux.org,
girar-builder-sisyphus@altlinux.org
Subject: [#369889] [test-only] FAILED (try 5) ppx_deriving.git=6.0.3-alt1 ppx_deriving_yojson.git=3.9.1-alt1 ...
Date: Sun, 19 Jan 2025 01:48:19 +0000
Message-ID: <girar.task.369889.5.1@gyle.mskdc.altlinux.org> (raw)
In-Reply-To: <girar.task.369889.1.1@gyle.mskdc.altlinux.org>
https://git.altlinux.org/tasks/369889/logs/events.5.1.log
https://packages.altlinux.org/tasks/369889
subtask name aarch64 i586 ppc64le x86_64
#500 why3 3:26 - - 2:11
2025-Jan-19 01:41:00 :: test-only task #369889 for sisyphus resumed by vt:
#100 build 6.0.3-alt1 from /people/vt/packages/ppx_deriving.git fetched at 2025-Jan-18 04:28:20
#200 build 3.9.1-alt1 from /people/vt/packages/ppx_deriving_yojson.git fetched at 2025-Jan-18 05:00:29
#300 removed
#400 removed
#500 build 1.8.0-alt1 from /people/vt/packages/why3.git fetched at 2025-Jan-19 01:40:58
2025-Jan-19 01:41:01 :: created build repo
2025-Jan-19 01:41:03 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:41:03 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:41:03 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:41:03 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build start
2025-Jan-19 01:41:20 :: [i586] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:41:20 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:41:25 :: [x86_64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:41:25 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:41:33 :: [i586] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:41:33 :: [i586] #500 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:41:37 :: [aarch64] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:41:37 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:41:39 :: [x86_64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:41:39 :: [x86_64] #500 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:41:45 :: [ppc64le] #100 ppx_deriving.git 6.0.3-alt1: build OK (cached)
2025-Jan-19 01:41:45 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build start
2025-Jan-19 01:41:48 :: [i586] #500 why3.git 1.8.0-alt1: build SKIPPED
2025-Jan-19 01:42:01 :: [aarch64] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:42:01 :: [aarch64] #500 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:42:10 :: [ppc64le] #200 ppx_deriving_yojson.git 3.9.1-alt1: build OK (cached)
2025-Jan-19 01:42:10 :: [ppc64le] #500 why3.git 1.8.0-alt1: build start
2025-Jan-19 01:42:38 :: [ppc64le] #500 why3.git 1.8.0-alt1: build SKIPPED
2025-Jan-19 01:43:50 :: [x86_64] #500 why3.git 1.8.0-alt1: build OK
2025-Jan-19 01:45:27 :: [aarch64] #500 why3.git 1.8.0-alt1: build OK
2025-Jan-19 01:45:43 :: #100: ppx_deriving.git 6.0.3-alt1: build check OK
2025-Jan-19 01:45:56 :: #200: ppx_deriving_yojson.git 3.9.1-alt1: build check OK
2025-Jan-19 01:46:14 :: #500: why3.git 1.8.0-alt1: build check OK
2025-Jan-19 01:46:16 :: build check OK
2025-Jan-19 01:46:30 :: noarch check OK
2025-Jan-19 01:46:33 :: plan: src +3 -0 =20010, aarch64 +13 -0 =34751, i586 +5 -0 =33761, ppc64le +5 -0 =33313, x86_64 +13 -0 =35571
2025-Jan-19 01:47:18 :: patched apt indices
2025-Jan-19 01:47:30 :: created next repo
2025-Jan-19 01:47:40 :: duplicate provides check OK
x86_64: NEW unmet dependencies detected:
ocaml-why3#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmi(Driver_ast) = 5.2.0-FBB8C9E7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Abstract_quantifiers) = 5.2.0-8878CDD4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Abstraction) = 5.2.0-1CB13E38
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Alt_ergo) = 5.2.0-CAB14CD6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Apply) = 5.2.0-8F37CBFE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Args_wrapper) = 5.2.0-4016CA4C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Autodetection) = 5.2.0-04662CDF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(BigInt) = 5.2.0-5B1E0066
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Big_real) = 5.2.0-06DBFD2E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(C) = 5.2.0-D3C42540
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Cakeml) = 5.2.0-73809786
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Call_provers) = 5.2.0-2EC5F0BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Case) = 5.2.0-96AEA2EC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Check_ce) = 5.2.0-80954AC8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Close_epsilon) = 5.2.0-9A949126
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Cmdline) = 5.2.0-AA9354CD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Cntexmp_printer) = 5.2.0-400059C3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Coercion) = 5.2.0-72143F60
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Compile) = 5.2.0-FF91FC53
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Compress) = 5.2.0-4B9BDC3D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Compute) = 5.2.0-A87E0AD3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Config) = 5.2.0-73BF67BD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Congruence) = 5.2.0-7F3EFFC1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Constant) = 5.2.0-ABD30D99
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Controller_itp) = 5.2.0-4F7D9257
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Coq) = 5.2.0-26300E94
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Cut) = 5.2.0-77EF48EE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Cvc3) = 5.2.0-03BDD712
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Debug) = 5.2.0-39682420
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Decl) = 5.2.0-52285DE0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Destruct) = 5.2.0-E7E72DD7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Detect_polymorphism) = 5.2.0-00C6417C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Dexpr) = 5.2.0-A09853E4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Diffmap) = 5.2.0-73595552
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Discriminate) = 5.2.0-210F556D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Driver) = 5.2.0-84E888EB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Driver_ast) = 5.2.0-FBB8C9E7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Driver_lexer) = 5.2.0-F748889E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Driver_parser) = 5.2.0-4D25C08C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Dterm) = 5.2.0-85F28A85
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_algebraic) = 5.2.0-ACB02E36
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_definition) = 5.2.0-99EE44D1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_epsilon) = 5.2.0-0D237E0C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_if) = 5.2.0-359CDBD7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_inductive) = 5.2.0-C10FB95B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_let) = 5.2.0-F3D2E6B1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_literal) = 5.2.0-529CBF06
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_symbol) = 5.2.0-280DA5BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_unknown_lsymbols) = 5.2.0-A8F61402
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eliminate_unknown_types) = 5.2.0-21D2F16C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding) = 5.2.0-9CA0A9AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_guards) = 5.2.0-2A809D5F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_guards_full) = 5.2.0-7B08588D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_select) = 5.2.0-0607ACCB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_sort) = 5.2.0-8183FC94
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_tags) = 5.2.0-D0D6FDFD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_tags_full) = 5.2.0-BA6150A4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Encoding_twin) = 5.2.0-EE003348
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Env) = 5.2.0-9A1955E6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Eval_match) = 5.2.0-42555CF8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Exn_printer) = 5.2.0-1E9F0FFE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Expr) = 5.2.0-75505BCA
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Extensional) = 5.2.0-8D801FD5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Exthtbl) = 5.2.0-4E9EE4E5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Extmap) = 5.2.0-1503F0AF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Extset) = 5.2.0-4EB7DA2A
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Filter_trigger) = 5.2.0-12BF5CA9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Gappa) = 5.2.0-1FE4B76D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Generic_arg_trans_utils) = 5.2.0-3FE4370F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Getopt) = 5.2.0-73FA4635
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Glob) = 5.2.0-82BCB3CC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Hashcons) = 5.2.0-E42A17D9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Hcpt) = 5.2.0-DBD2D114
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ident) = 5.2.0-53E3952C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ind_itp) = 5.2.0-E2F13F79
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Induction) = 5.2.0-50423167
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Induction_pr) = 5.2.0-2AD88790
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Inlining) = 5.2.0-D96044C8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Instantiate_predicate) = 5.2.0-CBB603B0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Introduction) = 5.2.0-0DFC4AFF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Isabelle) = 5.2.0-0FDC850C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Itp_communication) = 5.2.0-D7994BB2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Itp_server) = 5.2.0-423CD453
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ity) = 5.2.0-8520AC0D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Java) = 5.2.0-50E8DBB8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Json_base) = 5.2.0-23D04887
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Json_lexer) = 5.2.0-A860810B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Json_parser) = 5.2.0-B0936C2F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Json_util) = 5.2.0-28E55525
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Keep_only_arithmetic) = 5.2.0-1D173CA7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Keywords) = 5.2.0-DEA51092
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Lexer) = 5.2.0-FF1BC533
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Lexlib) = 5.2.0-E0467E28
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Libencoding) = 5.2.0-07F45E9A
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Lift_epsilon) = 5.2.0-E2311315
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Lists) = 5.2.0-7899D573
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Loc) = 5.2.0-96C88E74
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mathematica) = 5.2.0-CFC35966
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ml_printer) = 5.2.0-C051FA8D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mlinterp) = 5.2.0-D44D5966
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mlmpfr_wrapper) = 5.2.0-4B59D3AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mltree) = 5.2.0-9CB79E1E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mlw_printer) = 5.2.0-DD393313
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Model_parser) = 5.2.0-9E4144FA
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Mysexplib) = 5.2.0-3E3D50C8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Number) = 5.2.0-03E74775
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ocaml) = 5.2.0-6BED75C9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Opt) = 5.2.0-7C57B592
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Parser) = 5.2.0-9CC513C6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Parser_messages) = 5.2.0-DB6FC0D9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Parser_tokens) = 5.2.0-617DD59B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pattern) = 5.2.0-3443BCB0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pdecl) = 5.2.0-0B8B33CD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pdriver) = 5.2.0-03AB0AE6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pinterp) = 5.2.0-0A1F2523
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pinterp_core) = 5.2.0-22A1CCCE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Plugin) = 5.2.0-CAE3532E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pmodule) = 5.2.0-F0014EE3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pp) = 5.2.0-E6994696
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pqueue) = 5.2.0-02EC0838
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Prepare_for_counterexmp) = 5.2.0-4DC78B99
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pretty) = 5.2.0-615CAD47
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Print_tree) = 5.2.0-E2D9CD15
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Printer) = 5.2.0-A520B101
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Prop_curry) = 5.2.0-E18ADDA9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Prove_client) = 5.2.0-13131F86
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ptree) = 5.2.0-73D12E19
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ptree_helpers) = 5.2.0-0DE5D9FB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Pvs) = 5.2.0-68FB1A26
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Rac) = 5.2.0-6B359C89
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Rc) = 5.2.0-992EEB7D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Reduction_engine) = 5.2.0-83229410
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Reflection) = 5.2.0-81DA9A8F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Remove_unused) = 5.2.0-CA848CC2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Report) = 5.2.0-C119F286
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Server_utils) = 5.2.0-E1886458
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Session_itp) = 5.2.0-AD6A2C23
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Sexp) = 5.2.0-B5AE3310
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Sexp_parser) = 5.2.0-10156629
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Simplify) = 5.2.0-22F1D28B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Simplify_array) = 5.2.0-0BABF635
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Simplify_formula) = 5.2.0-86E6A7BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Smoke_detector) = 5.2.0-176EF142
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Smtv1) = 5.2.0-AF7B6F15
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Smtv2) = 5.2.0-8A076ECC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Smtv2_model_defs) = 5.2.0-63A460DF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Smtv2_model_parser) = 5.2.0-8C4FEC92
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Split_goal) = 5.2.0-3D0EB611
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Strategy) = 5.2.0-BBF22565
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Strategy_parser) = 5.2.0-0DD9EDB3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Strings) = 5.2.0-30BD62E6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Subst) = 5.2.0-F900094C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Sysutil) = 5.2.0-39083FF2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Task) = 5.2.0-A440D1EB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Term) = 5.2.0-D50CB116
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Termcode) = 5.2.0-71A8F752
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Theory) = 5.2.0-2E30D8E5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Trans) = 5.2.0-FFE8085D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Ty) = 5.2.0-53A2C084
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Typeinv) = 5.2.0-07FC7308
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Typing) = 5.2.0-5168D35C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Unix_scheduler) = 5.2.0-77BBA6AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Util) = 5.2.0-8328B96E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Vc) = 5.2.0-78C98F89
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Vector) = 5.2.0-47589139
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Weakhtbl) = 5.2.0-4E3FBC7C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Why3printer) = 5.2.0-4AD9B1AF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Whyconf) = 5.2.0-05953AE1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Wstdlib) = 5.2.0-5A287B7D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Xml) = 5.2.0-AF8BC05B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737250993 ocaml-cmt(Yices) = 5.2.0-B3799154
aarch64: NEW unmet dependencies detected:
ocaml-why3#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmi(Driver_ast) = 5.2.0-FBB8C9E7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Abstract_quantifiers) = 5.2.0-8878CDD4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Abstraction) = 5.2.0-1CB13E38
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Alt_ergo) = 5.2.0-CAB14CD6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Apply) = 5.2.0-8F37CBFE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Args_wrapper) = 5.2.0-4016CA4C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Autodetection) = 5.2.0-04662CDF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(BigInt) = 5.2.0-5B1E0066
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Big_real) = 5.2.0-06DBFD2E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(C) = 5.2.0-D3C42540
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Cakeml) = 5.2.0-73809786
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Call_provers) = 5.2.0-2EC5F0BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Case) = 5.2.0-96AEA2EC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Check_ce) = 5.2.0-80954AC8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Close_epsilon) = 5.2.0-9A949126
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Cmdline) = 5.2.0-AA9354CD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Cntexmp_printer) = 5.2.0-400059C3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Coercion) = 5.2.0-72143F60
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Compile) = 5.2.0-FF91FC53
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Compress) = 5.2.0-4B9BDC3D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Compute) = 5.2.0-A87E0AD3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Config) = 5.2.0-73BF67BD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Congruence) = 5.2.0-7F3EFFC1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Constant) = 5.2.0-ABD30D99
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Controller_itp) = 5.2.0-4F7D9257
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Coq) = 5.2.0-26300E94
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Cut) = 5.2.0-77EF48EE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Cvc3) = 5.2.0-03BDD712
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Debug) = 5.2.0-39682420
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Decl) = 5.2.0-52285DE0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Destruct) = 5.2.0-E7E72DD7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Detect_polymorphism) = 5.2.0-00C6417C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Dexpr) = 5.2.0-A09853E4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Diffmap) = 5.2.0-73595552
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Discriminate) = 5.2.0-210F556D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Driver) = 5.2.0-84E888EB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Driver_ast) = 5.2.0-FBB8C9E7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Driver_lexer) = 5.2.0-F748889E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Driver_parser) = 5.2.0-4D25C08C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Dterm) = 5.2.0-85F28A85
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_algebraic) = 5.2.0-ACB02E36
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_definition) = 5.2.0-99EE44D1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_epsilon) = 5.2.0-0D237E0C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_if) = 5.2.0-359CDBD7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_inductive) = 5.2.0-C10FB95B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_let) = 5.2.0-F3D2E6B1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_literal) = 5.2.0-529CBF06
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_symbol) = 5.2.0-280DA5BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_unknown_lsymbols) = 5.2.0-A8F61402
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eliminate_unknown_types) = 5.2.0-21D2F16C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding) = 5.2.0-9CA0A9AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_guards) = 5.2.0-2A809D5F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_guards_full) = 5.2.0-7B08588D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_select) = 5.2.0-0607ACCB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_sort) = 5.2.0-8183FC94
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_tags) = 5.2.0-D0D6FDFD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_tags_full) = 5.2.0-BA6150A4
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Encoding_twin) = 5.2.0-EE003348
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Env) = 5.2.0-9A1955E6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Eval_match) = 5.2.0-42555CF8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Exn_printer) = 5.2.0-1E9F0FFE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Expr) = 5.2.0-75505BCA
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Extensional) = 5.2.0-8D801FD5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Exthtbl) = 5.2.0-4E9EE4E5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Extmap) = 5.2.0-1503F0AF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Extset) = 5.2.0-4EB7DA2A
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Filter_trigger) = 5.2.0-12BF5CA9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Gappa) = 5.2.0-1FE4B76D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Generic_arg_trans_utils) = 5.2.0-3FE4370F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Getopt) = 5.2.0-73FA4635
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Glob) = 5.2.0-82BCB3CC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Hashcons) = 5.2.0-E42A17D9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Hcpt) = 5.2.0-DBD2D114
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ident) = 5.2.0-53E3952C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ind_itp) = 5.2.0-E2F13F79
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Induction) = 5.2.0-50423167
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Induction_pr) = 5.2.0-2AD88790
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Inlining) = 5.2.0-D96044C8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Instantiate_predicate) = 5.2.0-CBB603B0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Introduction) = 5.2.0-0DFC4AFF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Isabelle) = 5.2.0-0FDC850C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Itp_communication) = 5.2.0-D7994BB2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Itp_server) = 5.2.0-423CD453
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ity) = 5.2.0-8520AC0D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Java) = 5.2.0-50E8DBB8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Json_base) = 5.2.0-23D04887
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Json_lexer) = 5.2.0-A860810B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Json_parser) = 5.2.0-B0936C2F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Json_util) = 5.2.0-28E55525
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Keep_only_arithmetic) = 5.2.0-1D173CA7
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Keywords) = 5.2.0-DEA51092
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Lexer) = 5.2.0-FF1BC533
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Lexlib) = 5.2.0-E0467E28
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Libencoding) = 5.2.0-07F45E9A
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Lift_epsilon) = 5.2.0-E2311315
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Lists) = 5.2.0-7899D573
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Loc) = 5.2.0-96C88E74
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mathematica) = 5.2.0-CFC35966
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ml_printer) = 5.2.0-C051FA8D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mlinterp) = 5.2.0-D44D5966
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mlmpfr_wrapper) = 5.2.0-4B59D3AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mltree) = 5.2.0-9CB79E1E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mlw_printer) = 5.2.0-DD393313
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Model_parser) = 5.2.0-9E4144FA
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Mysexplib) = 5.2.0-3E3D50C8
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Number) = 5.2.0-03E74775
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ocaml) = 5.2.0-6BED75C9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Opt) = 5.2.0-7C57B592
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Parser) = 5.2.0-9CC513C6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Parser_messages) = 5.2.0-DB6FC0D9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Parser_tokens) = 5.2.0-617DD59B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pattern) = 5.2.0-3443BCB0
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pdecl) = 5.2.0-0B8B33CD
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pdriver) = 5.2.0-03AB0AE6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pinterp) = 5.2.0-0A1F2523
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pinterp_core) = 5.2.0-22A1CCCE
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Plugin) = 5.2.0-CAE3532E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pmodule) = 5.2.0-F0014EE3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pp) = 5.2.0-E6994696
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pqueue) = 5.2.0-02EC0838
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Prepare_for_counterexmp) = 5.2.0-4DC78B99
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pretty) = 5.2.0-615CAD47
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Print_tree) = 5.2.0-E2D9CD15
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Printer) = 5.2.0-A520B101
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Prop_curry) = 5.2.0-E18ADDA9
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Prove_client) = 5.2.0-13131F86
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ptree) = 5.2.0-73D12E19
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ptree_helpers) = 5.2.0-0DE5D9FB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Pvs) = 5.2.0-68FB1A26
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Rac) = 5.2.0-6B359C89
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Rc) = 5.2.0-992EEB7D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Reduction_engine) = 5.2.0-83229410
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Reflection) = 5.2.0-81DA9A8F
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Remove_unused) = 5.2.0-CA848CC2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Report) = 5.2.0-C119F286
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Server_utils) = 5.2.0-E1886458
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Session_itp) = 5.2.0-AD6A2C23
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Sexp) = 5.2.0-B5AE3310
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Sexp_parser) = 5.2.0-10156629
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Simplify) = 5.2.0-22F1D28B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Simplify_array) = 5.2.0-0BABF635
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Simplify_formula) = 5.2.0-86E6A7BB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Smoke_detector) = 5.2.0-176EF142
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Smtv1) = 5.2.0-AF7B6F15
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Smtv2) = 5.2.0-8A076ECC
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Smtv2_model_defs) = 5.2.0-63A460DF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Smtv2_model_parser) = 5.2.0-8C4FEC92
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Split_goal) = 5.2.0-3D0EB611
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Strategy) = 5.2.0-BBF22565
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Strategy_parser) = 5.2.0-0DD9EDB3
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Strings) = 5.2.0-30BD62E6
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Subst) = 5.2.0-F900094C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Sysutil) = 5.2.0-39083FF2
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Task) = 5.2.0-A440D1EB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Term) = 5.2.0-D50CB116
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Termcode) = 5.2.0-71A8F752
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Theory) = 5.2.0-2E30D8E5
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Trans) = 5.2.0-FFE8085D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Ty) = 5.2.0-53A2C084
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Typeinv) = 5.2.0-07FC7308
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Typing) = 5.2.0-5168D35C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Unix_scheduler) = 5.2.0-77BBA6AB
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Util) = 5.2.0-8328B96E
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Vc) = 5.2.0-78C98F89
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Vector) = 5.2.0-47589139
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Weakhtbl) = 5.2.0-4E3FBC7C
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Why3printer) = 5.2.0-4AD9B1AF
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Whyconf) = 5.2.0-05953AE1
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Wstdlib) = 5.2.0-5A287B7D
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Xml) = 5.2.0-AF8BC05B
ocaml-why3-devel#1.8.0-alt1:sisyphus+369889.500.5.1@1737251064 ocaml-cmt(Yices) = 5.2.0-B3799154
ACLs of affected packages (1):
why3
2025-Jan-19 01:48:19 :: unmets: x86_64 +171 -0 =171, aarch64 +171 -0 =174
2025-Jan-19 01:48:19 :: dependencies check FAILED
2025-Jan-19 01:48:19 :: task #369889 for sisyphus FAILED
next prev parent reply other threads:[~2025-01-19 1:48 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-18 4:35 [#369889] TESTED ppx_deriving.git=6.0.3-alt1 Girar awaiter (vt)
2025-01-18 5:09 ` [#369889] TESTED (try 2) ppx_deriving.git=6.0.3-alt1 ppx_deriving_yojson.git=3.9.1-alt1 Girar awaiter (vt)
2025-01-19 1:19 ` [#369889] [test-only] FAILED (try 3) " Girar awaiter (vt)
2025-01-19 1:37 ` [#369889] [test-only] FAILED (try 4) " Girar awaiter (vt)
2025-01-19 1:48 ` Girar awaiter (vt) [this message]
2025-01-19 3:05 ` [#369889] [test-only] FAILED (try 6) " Girar awaiter (vt)
2025-01-19 4:10 ` [#369889] [test-only] FAILED (try 7) " Girar awaiter (vt)
2025-01-19 4:42 ` [#369889] [test-only] FAILED (try 8) " Girar awaiter (vt)
2025-01-19 7:00 ` [#369889] TESTED (try 9) " Girar awaiter (vt)
2025-01-20 9:38 ` [#369889] [test-only] FAILED (try 13) " Girar awaiter (vt)
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=girar.task.369889.5.1@gyle.mskdc.altlinux.org \
--to=girar-builder@altlinux.org \
--cc=devel@lists.altlinux.org \
--cc=girar-builder-sisyphus@altlinux.org \
--cc=sisyphus-incominger@lists.altlinux.org \
--cc=vt@altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git