Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 864970 Details for
Bug 909444
sci-mathematics/coq-serapi-0.17.0 - Error: Unbound module Stdlib.List
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:coq-serapi-0.17.0:20230701-132633.log
sci-mathematics:coq-serapi-0.17.0:20230701-132633.log (text/plain), 45.80 KB, created by
Toralf Förster
on 2023-07-01 14:45:38 UTC
(
hide
)
Description:
sci-mathematics:coq-serapi-0.17.0:20230701-132633.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2023-07-01 14:45:38 UTC
Size:
45.80 KB
patch
obsolete
> * Package: sci-mathematics/coq-serapi-0.17.0:0/0.17.0 > * Repository: gentoo > * Maintainer: sci-mathematics@gentoo.org > * Upstream: https://github.com/ejgallego/coq-serapi/issues/ > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox > >>>> Unpacking source... >>>> Unpacking coq-serapi-0.17.0.tar.gz to /var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work/coq-serapi-8.17.0-0.17.0 ... > * Applying coq-serapi-sertop.el-path.patch ... > [ ok ] >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work/coq-serapi-8.17.0-0.17.0 ... >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work/coq-serapi-8.17.0-0.17.0 ... > * dune build @install --display=short --profile release -j 5 > ocamldep serapi/.serapi.objs/serapi__Serapi_protocol.impl.d > ocamlc sertop/.sertop_bin.eobjs/byte/findlib_initl.{cmi,cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop.{cmi,cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib.{cmi,cmo,cmt} > ocamldep serapi/.serapi.objs/serapi__Ser_stream.impl.d > ocamldep serapi/.serapi.objs/serapi__Serapi_assumptions.impl.d > ocamldep serapi/.serapi.objs/serapi__Serapi_doc.impl.d > ocamldep serapi/.serapi.objs/serapi__Serapi_goals.impl.d > ocamldep serapi/.serapi.objs/serapi__Serapi_paths.impl.d > ocamldep serapi/.serapi.objs/serapi__Serapi_pp.impl.d > ocamlopt sertop/.sertop.objs/native/sertop.{cmx,o} > ocamlopt sertop/.sertop_bin.eobjs/native/findlib_initl.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi.{cmx,o} > ocamlopt serlib/plugins/ltac/.serlib_ltac.objs/native/serlib_ltac.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib.{cmx,o} > ocamlc extcoq/.extcoq.objs/byte/extcoq.{cmi,cmti} > ocamldep serapi/.serapi.objs/serapi__Serapi_assumptions.intf.d > ocamldep serapi/.serapi.objs/serapi__Serapi_doc.intf.d > ocamldep serapi/.serapi.objs/serapi__Serapi_goals.intf.d > ocamldep serapi/.serapi.objs/serapi__Serapi_paths.intf.d > ocamldep serapi/.serapi.objs/serapi__Serapi_pp.intf.d > ocamlc serapi/.serapi.objs/byte/serapi__Ser_stream.{cmi,cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_assumptions.{cmi,cmti} > ocamlopt extcoq/.extcoq.objs/native/extcoq.{cmx,o} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_goals.{cmi,cmti} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_paths.{cmi,cmti} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_doc.{cmi,cmti} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_pp.{cmi,cmti} > ocamlopt serapi/.serapi.objs/native/serapi__Ser_stream.{cmx,o} > ocamldep serapi/.serapi.objs/serapi__Serapi_protocol.intf.d > ocamlopt extcoq/extcoq.{a,cmxa} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_assumptions.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_goals.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_paths.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_doc.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_pp.{cmx,o} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_protocol.{cmi,cmti} > ocamlc .ppx/57e0400f3b219ff4fc65d1fbd820e35d/dune__exe___ppx.{cmi,cmo} > ocamlc .ppx/341932708445810a638020e478ebc4f1/dune__exe___ppx.{cmi,cmo} > ocamlc extcoq/.extcoq.objs/byte/extcoq.{cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_assumptions.{cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_doc.{cmo,cmt} > ocamlopt extcoq/extcoq.cmxs > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_paths.{cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_goals.{cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_pp.{cmo,cmt} > ocamlc extcoq/extcoq.cma > ocamlopt .ppx/57e0400f3b219ff4fc65d1fbd820e35d/dune__exe___ppx.{cmx,o} > ocamlopt .ppx/341932708445810a638020e478ebc4f1/dune__exe___ppx.{cmx,o} > ocamlopt serapi/.serapi.objs/native/serapi__Serapi_protocol.{cmx,o} > ocamlopt serapi/serapi.{a,cmxa} > ocamlc serlib/plugins/cc/.serlib_cc.objs/byte/serlib_cc.{cmi,cmo,cmt} > ocamlc serapi/.serapi.objs/byte/serapi__Serapi_protocol.{cmo,cmt} > ocamlc serlib/plugins/micromega/.serlib_micromega.objs/byte/serlib_micromega.{cmi,cmo,cmt} > ocamlc serlib/plugins/tauto/.serlib_tauto.objs/byte/serlib_tauto.{cmi,cmo,cmt} > ocamlc serlib/plugins/zify/.serlib_zify.objs/byte/serlib_zify.{cmi,cmo,cmt} > ocamlc serlib/plugins/extraction/.serlib_extraction.objs/byte/serlib_extraction.{cmi,cmo,cmt} > ocamlc serlib/plugins/firstorder/.serlib_firstorder.objs/byte/serlib_firstorder.{cmi,cmo,cmt} > ocamlc serlib/plugins/funind/.serlib_funind.objs/byte/serlib_funind.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac2/.serlib_ltac2.objs/byte/serlib_ltac2.{cmi,cmo,cmt} > ocamlc serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/byte/serlib_number_string_notation_plugin.{cmi,cmo,cmt} > ocamlc serlib/plugins/ring/.serlib_ring.objs/byte/serlib_ring.{cmi,cmo,cmt} > ocamlc serlib/plugins/ssr/.serlib_ssr.objs/byte/serlib_ssr.{cmi,cmo,cmt} > ocamlc serlib/plugins/ssrmatching/.serlib_ssrmatching.objs/byte/serlib_ssrmatching.{cmi,cmo,cmt} > ocamlopt serlib/plugins/cc/.serlib_cc.objs/native/serlib_cc.{cmx,o} > ocamlc serlib/plugins/cc/serlib_cc.cma > ocamlopt serapi/serapi.cmxs > ocamlc serapi/serapi.cma > ocamlopt serlib/plugins/micromega/.serlib_micromega.objs/native/serlib_micromega.{cmx,o} > ocamlc serlib/plugins/micromega/serlib_micromega.cma > ocamlc serlib/plugins/tauto/serlib_tauto.cma > ocamlopt serlib/plugins/tauto/.serlib_tauto.objs/native/serlib_tauto.{cmx,o} > ocamlc serlib/plugins/zify/serlib_zify.cma > ocamlopt serlib/plugins/zify/.serlib_zify.objs/native/serlib_zify.{cmx,o} > ocamlopt serlib/plugins/extraction/.serlib_extraction.objs/native/serlib_extraction.{cmx,o} > ocamlopt serlib/plugins/firstorder/.serlib_firstorder.objs/native/serlib_firstorder.{cmx,o} > ocamlopt serlib/plugins/funind/.serlib_funind.objs/native/serlib_funind.{cmx,o} > ocamlopt serlib/plugins/ltac2/.serlib_ltac2.objs/native/serlib_ltac2.{cmx,o} > ocamlopt serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/native/serlib_number_string_notation_plugin.{cmx,o} > ocamlopt serlib/plugins/ring/.serlib_ring.objs/native/serlib_ring.{cmx,o} > ocamlopt serlib/plugins/ssr/.serlib_ssr.objs/native/serlib_ssr.{cmx,o} > ocamlopt serlib/plugins/ssrmatching/.serlib_ssrmatching.objs/native/serlib_ssrmatching.{cmx,o} > ocamlopt serlib/plugins/cc/serlib_cc.{a,cmxa} > ocamlopt serlib/plugins/tauto/serlib_tauto.{a,cmxa} > ocamlopt serlib/plugins/micromega/serlib_micromega.{a,cmxa} > ocamlc .ppx/1f4626a10100bf9c3a282e83fe079d93/dune__exe___ppx.{cmi,cmo} > ocamlopt serlib/plugins/zify/serlib_zify.{a,cmxa} > ocamlopt serlib/plugins/cc/serlib_cc.cmxs > ocamlopt serlib/plugins/tauto/serlib_tauto.cmxs > ocamlopt serlib/plugins/micromega/serlib_micromega.cmxs > ocamlopt .ppx/1f4626a10100bf9c3a282e83fe079d93/dune__exe___ppx.{cmx,o} > ocamlopt serlib/plugins/zify/serlib_zify.cmxs > ocamlopt .ppx/57e0400f3b219ff4fc65d1fbd820e35d/ppx.exe > ocamlopt .ppx/341932708445810a638020e478ebc4f1/ppx.exe > ocamldep sertop/.sertop_bin.eobjs/dune__exe__Sername.impl.d > ocamldep sertop/.sertop_bin.eobjs/dune__exe__Sertok.impl.d > ocamldep sertop/.sertop_bin.eobjs/dune__exe__Sercomp.impl.d > ocamldep sertop/.sertop_bin.eobjs/dune__exe__Sertop_bin.impl.d > ocamldep sertop/.sertop.objs/sertop__Sertop_util.impl.d > ocamldep sertop/.sertop.objs/sertop__Comp_common.impl.d > ocamldep sertop/.sertop.objs/sertop__Ser_version.impl.d > ocamldep sertop/.sertop.objs/sertop__Sercomp_stats.impl.d > ocamldep sertop/.sertop.objs/sertop__Sertop_arg.impl.d > ocamldep sertop/.sertop.objs/sertop__Sertop_init.impl.d > ocamldep sertop/.sertop.objs/sertop__Sertop_loader.impl.d > ocamldep sertop/.sertop.objs/sertop__Comp_common.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_sexp.impl.d > ocamldep sertop/.sertop.objs/sertop__Sertop_ser.impl.d > ocamldep sertop/.sertop.objs/sertop__Sercomp_stats.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_arg.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_init.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_loader.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_ser.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_sexp.intf.d > ocamldep sertop/.sertop.objs/sertop__Sertop_util.intf.d > ocamldep serlib/plugins/extraction/.serlib_extraction.objs/serlib_extraction__Ser_g_extraction.impl.d > ocamldep serlib/.serlib.objs/serlib__Serlib_init.impl.d > ocamldep serlib/.serlib.objs/serlib__SerType.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_attributes.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cAst.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cEphemeron.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cMap.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cPrimitives.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cSet.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cUnix.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_class_tactics.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_constr_matching.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_constr.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_context.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_constrexpr.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_conv_oracle.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_cooking.impl.d > ocamlopt .ppx/1f4626a10100bf9c3a282e83fe079d93/ppx.exe > ocamldep serlib/.serlib.objs/serlib__Ser_coqargs.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_dAst.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_declaremods.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_declarations.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_decls.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_deprecation.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_eConstr.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_entries.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_environ.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_equality.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_evar.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_evd.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_evar_kinds.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_extend.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_feedback.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_flags.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_float64.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_future.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_genintern.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_genarg.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_geninterp.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_genredexpr.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_glob_term.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_globnames.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_goal_select.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_goptions.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_gramlib.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_hints.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_impargs.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_int.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_lib.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_inv.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_libnames.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_loadpath.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_libobject.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_loc.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_locality.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_locus.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_ltac_pretype.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_mod_subst.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_namegen.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_nametab.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_nativevalues.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_names.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation_gram.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation_term.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_notationextern.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_numTok.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_pattern.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_opaqueproof.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_ppextend.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_pp.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_printer.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_pretype_errors.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_proof.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_proof_bullet.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_range.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_reduction.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_retroknowledge.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_rtree.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_sList.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_safe_typing.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_sorts.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_stateid.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_stdarg.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_stdlib.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_summary.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_stm.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_tacred.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_tactics.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_tactypes.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_tok.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_type_errors.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_typeclasses.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_uGraph.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_uState.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_uint63.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_univNames.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_universes.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_univ.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_util.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_vmbytecodes.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_vernacexpr.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_vernacextend.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_vmemitcodes.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_vmvalues.impl.d > ocamldep serlib/.serlib.objs/serlib__Serlib_base.impl.d > ocamldep serlib/.serlib.objs/serlib__Ser_xml_datatype.impl.d > ocamldep serlib/.serlib.objs/serlib__SerType.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_cAst.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_cMap.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_cSet.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_class_tactics.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_constr.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_constr_matching.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_constrexpr.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_context.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_cooking.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_conv_oracle.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_dAst.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_declarations.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_eConstr.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_declaremods.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_environ.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_evar.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_evar_kinds.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_evd.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_extend.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_feedback.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_flags.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_genarg.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_genintern.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_geninterp.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_genredexpr.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_glob_term.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_goptions.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_hints.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_impargs.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_int.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_inv.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_libnames.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_loc.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_locus.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_ltac_pretype.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_names.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_mod_subst.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation_gram.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_nametab.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_notation_term.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_notationextern.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_pattern.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_opaqueproof.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_pp.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_ppextend.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_pretype_errors.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_proof.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_reduction.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_retroknowledge.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_safe_typing.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_sorts.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_stateid.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_stdarg.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_stm.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_tactics.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_tok.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_type_errors.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_typeclasses.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_uGraph.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_univ.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_util.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_vernacexpr.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_vmemitcodes.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_vmvalues.intf.d > ocamldep serlib/.serlib.objs/serlib__Ser_xml_datatype.intf.d > ocamldep serlib/.serlib.objs/serlib__Serlib_base.intf.d > ocamldep serlib/.serlib.objs/serlib__Serlib_init.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_profile_ltac.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_rewrite.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacenv.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacarg.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacentries.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_profile_ltac.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacentries.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacarg.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_rewrite.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacenv.intf.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacexpr.impl.d > ocamldep serlib/plugins/ltac/.serlib_ltac.objs/serlib_ltac__Ser_tacexpr.intf.d > ocamldep serlib/plugins/ltac2/.serlib_ltac2.objs/serlib_ltac2__Ser_tac2quote.impl.d > ocamldep serlib/plugins/ltac2/.serlib_ltac2.objs/serlib_ltac2__Ser_g_ltac2.impl.d > ocamldep serlib/plugins/ltac2/.serlib_ltac2.objs/serlib_ltac2__Ser_tac2env.impl.d > ocamldep serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/serlib_number_string_notation_plugin__Ser_number.impl.d > ocamldep serlib/plugins/ssr/.serlib_ssr.objs/serlib_ssr__Wrap_ssrast.impl.d > ocamldep serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/serlib_number_string_notation_plugin__Ser_g_number_syntax.impl.d > ocamldep serlib/plugins/ltac2/.serlib_ltac2.objs/serlib_ltac2__Ser_tac2expr.impl.d > ocamlc sertop/.sertop_bin.eobjs/byte/dune__exe.{cmi,cmo,cmt} > ocamldep serlib/plugins/ssr/.serlib_ssr.objs/serlib_ssr__Ser_ssrequality.impl.d > ocamldep serlib/plugins/ssr/.serlib_ssr.objs/serlib_ssr__Ser_ssrast.impl.d > ocamldep serlib/plugins/ssrmatching/.serlib_ssrmatching.objs/serlib_ssrmatching__Ser_ssrmatching.impl.d > ocamldep serlib/plugins/ssr/.serlib_ssr.objs/serlib_ssr__Ser_ssrparser.impl.d > ocamldep serlib/plugins/firstorder/.serlib_firstorder.objs/serlib_firstorder__Ser_g_ground.impl.d > ocamldep serlib/plugins/ring/.serlib_ring.objs/serlib_ring__Ser_g_ring.impl.d > ocamldep serlib/plugins/funind/.serlib_funind.objs/serlib_funind__Ser_g_indfun.impl.d > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cUnix.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cPrimitives.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_future.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_deprecation.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_decls.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_equality.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_locality.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_gramlib.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stdlib.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_proof_bullet.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_uint63.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_universes.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_uState.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cAst.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__SerType.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_class_tactics.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constr_matching.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constr.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constrexpr.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_context.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cooking.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_conv_oracle.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_dAst.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_declarations.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_eConstr.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_environ.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_declaremods.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evd.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_extend.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_feedback.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_flags.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_geninterp.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genarg.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genredexpr.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_glob_term.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_goptions.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_hints.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_impargs.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_int.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_inv.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_libnames.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_loc.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_locus.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_ltac_pretype.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation_gram.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_mod_subst.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_nametab.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation_term.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notationextern.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pattern.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_opaqueproof.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_ppextend.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pp.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pretype_errors.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_proof.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_reduction.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_retroknowledge.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_safe_typing.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stdarg.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stateid.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stm.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tactics.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tok.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_type_errors.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_typeclasses.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_uGraph.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_util.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmemitcodes.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmvalues.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_xml_datatype.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Serlib_base.{cmi,cmti} > ocamlopt sertop/.sertop_bin.eobjs/native/dune__exe.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Serlib_init.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vernacexpr.{cmi,cmti} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_future.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cUnix.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_deprecation.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_locality.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_decls.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cPrimitives.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_equality.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_gramlib.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_stdlib.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_universes.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_uint63.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_proof_bullet.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_uState.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cEphemeron.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_float64.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_attributes.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_numTok.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cMap.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_rtree.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_sList.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cSet.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evar.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genintern.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evar_kinds.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_sorts.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_univ.{cmi,cmti} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_class_tactics.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_class_tactics.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_conv_oracle.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_dAst.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_eConstr.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_flags.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_flags.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_int.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_int.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_inv.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_inv.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_goptions.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cAst.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_notationextern.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_loc.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notationextern.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_loc.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_proof.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_ppextend.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_proof.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pp.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_pp.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_reduction.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_reduction.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evd.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stateid.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_typeclasses.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_typeclasses.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_util.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_extend.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_xml_datatype.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_xml_datatype.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Serlib_base.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Serlib_base.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__SerType.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_range.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_feedback.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_retroknowledge.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_summary.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Serlib_init.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genarg.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tok.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cMap.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cSet.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_names.{cmi,cmti} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evar.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_uGraph.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_sorts.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cAst.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__SerType.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_retroknowledge.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_summary.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_range.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constr_matching.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_coqargs.{cmi,cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_genarg.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_globnames.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_evar_kinds.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_goal_select.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_impargs.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_libnames.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_loadpath.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_mod_subst.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_names.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_ltac_pretype.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_namegen.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_locus.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_nametab.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_printer.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tacred.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_univNames.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tactics.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmbytecodes.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genintern.{cmo,cmt} (exit 2) >File "interp/genintern.mli", lines 17-23, characters 0-1: >Error: Unbound module Stdlib.List > ocamlc serlib/.serlib.objs/byte/serlib__Ser_univ.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vernacextend.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stdarg.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_context.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_stm.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation_gram.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_notation_term.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pattern.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_hints.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_cooking.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_nativevalues.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_entries.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_opaqueproof.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_type_errors.{cmo,cmt} (exit 2) >File "kernel/type_errors.mli", line 76, characters 2-80: >Error: Unbound module Stdlib.List > ocamlc serlib/.serlib.objs/byte/serlib__Ser_pretype_errors.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmvalues.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_geninterp.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_libobject.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constr.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_attributes.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cEphemeron.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_dAst.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cMap.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cSet.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_float64.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_conv_oracle.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_stateid.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_sList.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_rtree.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_numTok.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_util.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_tactypes.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_genredexpr.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_declarations.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_environ.{cmo,cmt} (exit 2) >File "kernel/environ.mli", lines 63-66, characters 0-1: >Error: Unbound module Stdlib.List > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vmemitcodes.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_glob_term.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_safe_typing.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_declaremods.{cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_lib.{cmi,cmo,cmt} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_constrexpr.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_evar.{cmx,o} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_profile_ltac.{cmi,cmti} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_feedback.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_tok.{cmx,o} > ocamlc serlib/plugins/extraction/.serlib_extraction.objs/byte/serlib_extraction__Ser_g_extraction.{cmi,cmo,cmt} > ocamlc serlib/plugins/firstorder/.serlib_firstorder.objs/byte/serlib_firstorder__Ser_g_ground.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_rewrite.{cmi,cmti} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacarg.{cmi,cmti} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacentries.{cmi,cmti} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacenv.{cmi,cmti} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacexpr.{cmi,cmti} > ocamlc serlib/plugins/ltac2/.serlib_ltac2.objs/byte/serlib_ltac2__Ser_tac2quote.{cmi,cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_names.{cmx,o} > ocamlc serlib/plugins/extraction/serlib_extraction.cma > ocamlc serlib/plugins/firstorder/serlib_firstorder.cma > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_profile_ltac.{cmo,cmt} > ocamlc serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/byte/serlib_number_string_notation_plugin__Ser_number.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_rewrite.{cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacentries.{cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacenv.{cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Comp_common.{cmi,cmti} > ocamlc serlib/plugins/funind/.serlib_funind.objs/byte/serlib_funind__Ser_g_indfun.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac2/.serlib_ltac2.objs/byte/serlib_ltac2__Ser_tac2expr.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacarg.{cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Ser_version.{cmi,cmo,cmt} > ocamlc serlib/plugins/ring/.serlib_ring.objs/byte/serlib_ring__Ser_g_ring.{cmi,cmo,cmt} > ocamlc serlib/plugins/ssrmatching/.serlib_ssrmatching.objs/byte/serlib_ssrmatching__Ser_ssrmatching.{cmi,cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sercomp_stats.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_init.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_loader.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_ser.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_util.{cmi,cmti} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_constr_matching.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_coqargs.{cmx,o} > ocamlc serlib/.serlib.objs/byte/serlib__Ser_vernacexpr.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_globnames.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_goal_select.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_loadpath.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_libnames.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_mod_subst.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_nametab.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_namegen.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_printer.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_locus.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_tacred.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_univNames.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_tactics.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_vmbytecodes.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_stm.{cmx,o} > ocamlc serlib/plugins/ltac/.serlib_ltac.objs/byte/serlib_ltac__Ser_tacexpr.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_notation_term.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_univ.{cmx,o} > ocamlc serlib/plugins/funind/serlib_funind.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_geninterp.{cmx,o} > ocamlc serlib/plugins/ring/serlib_ring.cma > ocamlc serlib/plugins/ssrmatching/serlib_ssrmatching.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_vernacextend.{cmx,o} > ocamlc serlib/plugins/syntax/.serlib_number_string_notation_plugin.objs/byte/serlib_number_string_notation_plugin__Ser_g_number_syntax.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac2/.serlib_ltac2.objs/byte/serlib_ltac2__Ser_g_ltac2.{cmi,cmo,cmt} > ocamlc serlib/plugins/ltac2/.serlib_ltac2.objs/byte/serlib_ltac2__Ser_tac2env.{cmi,cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sercomp_stats.{cmo,cmt} > ocamlc serlib/plugins/ssr/.serlib_ssr.objs/byte/serlib_ssr__Wrap_ssrast.{cmi,cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Comp_common.{cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_loader.{cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_arg.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_sexp.{cmi,cmti} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_init.{cmo,cmt} > ocamlc serlib/plugins/ltac/serlib_ltac.cma > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_util.{cmo,cmt} > ocamlc serlib/plugins/syntax/serlib_number_string_notation_plugin.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_goptions.{cmx,o} > ocamlc serlib/plugins/ltac2/serlib_ltac2.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_libobject.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_sorts.{cmx,o} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_arg.{cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_sexp.{cmo,cmt} > ocamlc sertop/.sertop_bin.eobjs/byte/dune__exe__Sername.{cmi,cmo,cmt} > ocamlc sertop/.sertop_bin.eobjs/byte/dune__exe__Sertok.{cmi,cmo,cmt} > ocamlc sertop/.sertop_bin.eobjs/byte/dune__exe__Sercomp.{cmi,cmo,cmt} > ocamlc sertop/.sertop_bin.eobjs/byte/dune__exe__Sertop_bin.{cmi,cmo,cmt} > ocamlc sertop/.sertop.objs/byte/sertop__Sertop_ser.{cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_declaremods.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_lib.{cmx,o} > ocamlc sertop/sertop.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_uGraph.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_context.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_vmvalues.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_vmemitcodes.{cmx,o} > ocamlc serlib/plugins/ssr/.serlib_ssr.objs/byte/serlib_ssr__Ser_ssrast.{cmi,cmo,cmt} > ocamlc serlib/plugins/ssr/.serlib_ssr.objs/byte/serlib_ssr__Ser_ssrequality.{cmi,cmo,cmt} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_constr.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_nativevalues.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_cooking.{cmx,o} > ocamlc serlib/plugins/ssr/.serlib_ssr.objs/byte/serlib_ssr__Ser_ssrparser.{cmi,cmo,cmt} > ocamlc serlib/plugins/ssr/serlib_ssr.cma > ocamlopt serlib/.serlib.objs/native/serlib__Ser_evar_kinds.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_opaqueproof.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_glob_term.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_declarations.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_environ.{cmx,o} (exit 2) >File "kernel/environ.mli", lines 63-66, characters 0-1: >Error: Unbound module Stdlib.List > ocamlopt serlib/.serlib.objs/native/serlib__Ser_entries.{cmx,o} > ocamlopt serlib/.serlib.objs/native/serlib__Ser_safe_typing.{cmx,o} > * ERROR: sci-mathematics/coq-serapi-0.17.0::gentoo failed (compile phase): > * Failed to run command: dune build @install --display=short --profile release -j 5 > * > * Call stack: > * ebuild.sh, line 136: Called src_compile > * environment, line 983: Called dune_src_compile > * environment, line 436: Called dune-compile > * environment, line 386: Called dune-release 'build' '--target' '@install' > * environment, line 427: Called edune 'build' '@install' '--display=short' '--profile' 'release' '-j' '5' > * environment, line 593: Called edo 'dune' 'build' '@install' '--display=short' '--profile' 'release' '-j' '5' > * environment, line 582: Called die > * The specific snippet of code: > * "$@" || die -n "Failed to run command: $@" > * > * If you need support, post the output of `emerge --info '=sci-mathematics/coq-serapi-0.17.0::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-serapi-0.17.0::gentoo'`. > * The complete build log is located at '/var/log/portage/sci-mathematics:coq-serapi-0.17.0:20230701-132633.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work/coq-serapi-8.17.0-0.17.0' > * S: '/var/tmp/portage/sci-mathematics/coq-serapi-0.17.0/work/coq-serapi-8.17.0-0.17.0' >
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=864970">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 909444
:
864965
|
864966
|
864967
|
864968
|
864969
| 864970 |
864971
