Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: why3-debuginfo | Distribution: Fedora Project |
Version: 1.5.1 | Vendor: Fedora Project |
Release: 8.fc38 | Build date: Wed Oct 18 18:15:05 2023 |
Group: Development/Debug | Build host: buildvm-a64-28.iad2.fedoraproject.org |
Size: 14901043 | Source RPM: why3-1.5.1-8.fc38.src.rpm |
Packager: Fedora Project | |
Url: https://why3.lri.fr/ | |
Summary: Debug information for package why3 |
This package provides debug information for package why3. Debug information is useful when developing applications that use this package or when debugging this package.
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-8 - Rebuild for coq 8.17.1 * Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-7 - Rebuild for coq 8.17.0 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-6 - Rebuild OCaml packages for F38 * Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Fri Jan 06 2023 Jerry James <loganjerry@gmail.com> - 1.5.1-4 - BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022 * Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3 - Rebuild for coq 8.16.1 * Tue Nov 01 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2 - Rebuild for ocaml-ppxlib 0.28.0 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1 - Version 1.5.1 * Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-3 - Rebuild to fix coq dependency - Convert License tag to SPDX * Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Remove i686 support * Thu Jul 07 2022 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Version 1.5.0 - Add ocaml-mlmpfr support - Drop unmaintained man pages - Use new OCaml macros * Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.4.1-3 - OCaml 4.14.0 rebuild * Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-2 - Rebuild for coq 8.15.1 * Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - Version 1.4.1 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.4.0-11 - OCaml 4.13.1 rebuild to remove package notes * Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James <loganjerry@gmail.com> - 1.4.0-9 - Rebuild for menhir 20211230 * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-8 - Rebuild for alt-ergo 2.3.0 and ocaml-zip 1.11 * Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-7 - Rebuild for coq 8.14.1, sexplib0 0.15.0 and menhir 20211128 * Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-6 - Rebuild for coq 8.14.0 and menhir 20211012 - Add -coq8.14 patch - Drop XEmacs support
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/05 /usr/lib/debug/.build-id/05/e97e5256c95b23e81a2e4b4edea72f837dd3c6 /usr/lib/debug/.build-id/05/e97e5256c95b23e81a2e4b4edea72f837dd3c6.debug /usr/lib/debug/.build-id/06 /usr/lib/debug/.build-id/06/0dfea7cc50c9b38c7fb6a1076bb1b29a1174f5 /usr/lib/debug/.build-id/06/0dfea7cc50c9b38c7fb6a1076bb1b29a1174f5.debug /usr/lib/debug/.build-id/16 /usr/lib/debug/.build-id/16/1d3cfa3b15917488105c0bf77a3a1eabfbb2eb /usr/lib/debug/.build-id/16/1d3cfa3b15917488105c0bf77a3a1eabfbb2eb.debug /usr/lib/debug/.build-id/3f /usr/lib/debug/.build-id/3f/45179e7284d827e036668535a63e8e829019a4 /usr/lib/debug/.build-id/3f/45179e7284d827e036668535a63e8e829019a4.debug /usr/lib/debug/.build-id/43 /usr/lib/debug/.build-id/43/7f6b4575e3c2de7874e92aa245fea11f740264 /usr/lib/debug/.build-id/43/7f6b4575e3c2de7874e92aa245fea11f740264.debug /usr/lib/debug/.build-id/5a /usr/lib/debug/.build-id/5a/60fb8a7b840d9c0ae0554141e7795c196ccaf8 /usr/lib/debug/.build-id/5a/60fb8a7b840d9c0ae0554141e7795c196ccaf8.debug /usr/lib/debug/.build-id/68 /usr/lib/debug/.build-id/68/f4c0364bfc11c1d579ffdc001af3b2059ac678 /usr/lib/debug/.build-id/68/f4c0364bfc11c1d579ffdc001af3b2059ac678.debug /usr/lib/debug/.build-id/69 /usr/lib/debug/.build-id/69/8dc17737826fb8c129bb1e89a929866e722904 /usr/lib/debug/.build-id/69/8dc17737826fb8c129bb1e89a929866e722904.debug /usr/lib/debug/.build-id/70 /usr/lib/debug/.build-id/70/e64c7321c2ca59c9d150a66d29532e69c33693 /usr/lib/debug/.build-id/70/e64c7321c2ca59c9d150a66d29532e69c33693.debug /usr/lib/debug/.build-id/74 /usr/lib/debug/.build-id/74/0891379378a10e1de7984a3c756460429e657f /usr/lib/debug/.build-id/74/0891379378a10e1de7984a3c756460429e657f.debug /usr/lib/debug/.build-id/74/19b5cb1e268cf1d9cc7ce7d940ab908888bb65 /usr/lib/debug/.build-id/74/19b5cb1e268cf1d9cc7ce7d940ab908888bb65.debug /usr/lib/debug/.build-id/77 /usr/lib/debug/.build-id/77/280273ddd746c91201ff2760d71d0e88d16011 /usr/lib/debug/.build-id/77/280273ddd746c91201ff2760d71d0e88d16011.debug /usr/lib/debug/.build-id/83 /usr/lib/debug/.build-id/83/f404a567861f42e0de70fd199b66953bbccfe6 /usr/lib/debug/.build-id/83/f404a567861f42e0de70fd199b66953bbccfe6.debug /usr/lib/debug/.build-id/89 /usr/lib/debug/.build-id/89/323c7026bc0bbc644066f869318eb26c702a66 /usr/lib/debug/.build-id/89/323c7026bc0bbc644066f869318eb26c702a66.debug /usr/lib/debug/.build-id/8f /usr/lib/debug/.build-id/8f/02c6190716b37acdf080b0d34efe755c116205 /usr/lib/debug/.build-id/8f/02c6190716b37acdf080b0d34efe755c116205.debug /usr/lib/debug/.build-id/90 /usr/lib/debug/.build-id/90/6831324bc8b56a8cb1b027c1c23aaa9008009c /usr/lib/debug/.build-id/90/6831324bc8b56a8cb1b027c1c23aaa9008009c.debug /usr/lib/debug/.build-id/96 /usr/lib/debug/.build-id/96/0ae9842d11fb0d5244dc75a9ae31a933d9e387 /usr/lib/debug/.build-id/96/0ae9842d11fb0d5244dc75a9ae31a933d9e387.debug /usr/lib/debug/.build-id/96/2dca969642c220891dd432fcdbcf9d14d48ab2 /usr/lib/debug/.build-id/96/2dca969642c220891dd432fcdbcf9d14d48ab2.debug /usr/lib/debug/.build-id/a6 /usr/lib/debug/.build-id/a6/1b7416b9586b385ac14bd22a77e205c31acacf /usr/lib/debug/.build-id/a6/1b7416b9586b385ac14bd22a77e205c31acacf.debug /usr/lib/debug/.build-id/af /usr/lib/debug/.build-id/af/1d6f60f1602e5543b607949a7c2278d4c68005 /usr/lib/debug/.build-id/af/1d6f60f1602e5543b607949a7c2278d4c68005.debug /usr/lib/debug/.build-id/c2 /usr/lib/debug/.build-id/c2/061f77522f6eb79c026feadd82d46850cca1c0 /usr/lib/debug/.build-id/c2/061f77522f6eb79c026feadd82d46850cca1c0.debug /usr/lib/debug/.build-id/c6 /usr/lib/debug/.build-id/c6/a6b2fd3754a759ffe70727551a06303ed46677 /usr/lib/debug/.build-id/c6/a6b2fd3754a759ffe70727551a06303ed46677.debug /usr/lib/debug/.build-id/dd /usr/lib/debug/.build-id/dd/2abad8e816f6ff589e912df99fbd074b2e6a6c /usr/lib/debug/.build-id/dd/2abad8e816f6ff589e912df99fbd074b2e6a6c.debug /usr/lib/debug/.build-id/e1 /usr/lib/debug/.build-id/e1/016b356c262ba43f129f9936a68e42d2e82c44 /usr/lib/debug/.build-id/e1/016b356c262ba43f129f9936a68e42d2e82c44.debug /usr/lib/debug/.build-id/fa /usr/lib/debug/.build-id/fa/66ebd7a5263b0936bb9d9fc44dadb07e9b76df /usr/lib/debug/.build-id/fa/66ebd7a5263b0936bb9d9fc44dadb07e9b76df.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/why3-1.5.1-8.fc38.aarch64 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/isabelle_client-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/bin/why3-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64 /usr/lib/debug/usr/lib64/why3 /usr/lib/debug/usr/lib64/why3/commands /usr/lib/debug/usr/lib64/why3/commands/why3config.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3doc.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3execute.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3extract.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3ide.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3pp.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3prove.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3realize.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3replay.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3session.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3shell.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3show.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3wc.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3webserver.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins /usr/lib/debug/usr/lib64/why3/plugins/cfg.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/dimacs.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/genequlin.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/hypothesis_selection.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/microc.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/python.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/tptp.cmxs-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/why3cpulimit-1.5.1-8.fc38.aarch64.debug /usr/lib/debug/usr/lib64/why3/why3server-1.5.1-8.fc38.aarch64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri May 3 00:49:05 2024