lem-debugsource-2025.03.13-5.fc43 RPM for x86_64

From Fedora 43 updates for x86_64 / debug / Packages / l

This package provides debug sources for package lem.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

• lem-debugsource
• lem-debugsource(x86-64)

Requires

• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPL-2.0-only

Changelog

* Fri Oct 24 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-5
  - Fix file permissions and OCaml str library warnings
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2025.03.13-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Mon Jul 14 2025 Jerry James <loganjerry@gmail.com> - 2025.03.13-3
  - Generate debuginfo
  - Remove unused ocaml-rpm-macros BR
* Tue Jun 10 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-2
  - Exclude i686 arch as it does not have OCaml
* Tue Jun 10 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-1
  - Version 2025.03.13

Files

/usr/src/debug/lem-2025.03.13-5.fc43.x86_64
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/bit.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/either.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_assert_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_basic_classes.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_either.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_function.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_list.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_list_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_machine_word.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_map.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_map_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_maybe.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_maybe_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_num_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_relation.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_set.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_set_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_show.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_show_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_sorting.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_string_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/lem_word.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/nat_big_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/nat_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/num_impl_num
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/num_impl_num/big_int_impl.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/num_impl_num/rational_impl.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/pmap.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/pset.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/vector.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_num/xstring.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/bit.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/either.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_assert_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_basic_classes.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_either.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_function.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_list.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_list_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_machine_word.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_map.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_map_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_maybe.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_maybe_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_num_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_relation.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_set.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_set_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_show.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_show_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_sorting.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_string_extra.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/lem_word.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/nat_big_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/nat_num.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/num_impl_zarith
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/num_impl_zarith/rational_impl.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/pmap.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/pset.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/vector.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/ocaml-lib/_build_zarith/xstring.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ast.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ast_util.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/backend.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/backend_common.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/convert_relations.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/coq_backend.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/coq_backend_utils.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/debug.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/def_trans.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/external_constants.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/finite_map.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ident.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/initial_env.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/lexer.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/lexer.mll
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/macro_expander.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/main.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/module_dependencies.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/name.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/nvar.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/output.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/parser.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/parser.mly
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/path.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/pattern_syntax.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/patterns.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/pcombinators.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/pp.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/precedence.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/process_file.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/rename_top_level.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/reporting.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/reporting_basic.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/seplist.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/syntactic_tests.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/target.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/target_binding.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/target_syntax.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/target_trans.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/trans.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/typecheck.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/typecheck_ctxt.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/typed_ast.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/typed_ast_syntax.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/types.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/tyvar.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ulib
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ulib/batReturn.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ulib/batText.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ulib/batUChar.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/ulib/batUTF8.ml
/usr/src/debug/lem-2025.03.13-5.fc43.x86_64/src/_build/util.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Nov 9 00:00:16 2025