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:41 2023 |
Group: Development/Debug | Build host: buildvm-x86-23.iad2.fedoraproject.org |
Size: 15028122 | 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/63bff83508c887dfed11b040ec79cf6de7a6f1 /usr/lib/debug/.build-id/05/63bff83508c887dfed11b040ec79cf6de7a6f1.debug /usr/lib/debug/.build-id/0d /usr/lib/debug/.build-id/0d/352ab109c7959c3dda7831be153eafbccccd93 /usr/lib/debug/.build-id/0d/352ab109c7959c3dda7831be153eafbccccd93.debug /usr/lib/debug/.build-id/14 /usr/lib/debug/.build-id/14/702b3541ee422c5e1cc456608ae1053b0c1981 /usr/lib/debug/.build-id/14/702b3541ee422c5e1cc456608ae1053b0c1981.debug /usr/lib/debug/.build-id/14/c3f07ecdf0e42a2b736d99ed91e54125f95bd5 /usr/lib/debug/.build-id/14/c3f07ecdf0e42a2b736d99ed91e54125f95bd5.debug /usr/lib/debug/.build-id/39 /usr/lib/debug/.build-id/39/bf2bfb3b8ca6d0f8fd4a4b9832804bc756e66b /usr/lib/debug/.build-id/39/bf2bfb3b8ca6d0f8fd4a4b9832804bc756e66b.debug /usr/lib/debug/.build-id/45 /usr/lib/debug/.build-id/45/7967147dc50d023dc66702394b3242e5d9396b /usr/lib/debug/.build-id/45/7967147dc50d023dc66702394b3242e5d9396b.debug /usr/lib/debug/.build-id/49 /usr/lib/debug/.build-id/49/c6f65e3534307e38b2ff2eba2193abc83a314d /usr/lib/debug/.build-id/49/c6f65e3534307e38b2ff2eba2193abc83a314d.debug /usr/lib/debug/.build-id/4a /usr/lib/debug/.build-id/4a/a4ab081adcc8b64c8cb483b67e777e4911738f /usr/lib/debug/.build-id/4a/a4ab081adcc8b64c8cb483b67e777e4911738f.debug /usr/lib/debug/.build-id/4e /usr/lib/debug/.build-id/4e/9c80bd6276a7d7a96282cc86eaec2ee782aafe /usr/lib/debug/.build-id/4e/9c80bd6276a7d7a96282cc86eaec2ee782aafe.debug /usr/lib/debug/.build-id/58 /usr/lib/debug/.build-id/58/226d7b10649cc6b74ba8f4cd1c86a60f3a5e1b /usr/lib/debug/.build-id/58/226d7b10649cc6b74ba8f4cd1c86a60f3a5e1b.debug /usr/lib/debug/.build-id/58/4525ba5b49f0be408b2ddd78f4ec681f55a25a /usr/lib/debug/.build-id/58/4525ba5b49f0be408b2ddd78f4ec681f55a25a.debug /usr/lib/debug/.build-id/64 /usr/lib/debug/.build-id/64/99f9f439170cf5935c72682738e4ea8dd0d0eb /usr/lib/debug/.build-id/64/99f9f439170cf5935c72682738e4ea8dd0d0eb.debug /usr/lib/debug/.build-id/6d /usr/lib/debug/.build-id/6d/f8ed76598a661ad7881ddfd0726095d23f1377 /usr/lib/debug/.build-id/6d/f8ed76598a661ad7881ddfd0726095d23f1377.debug /usr/lib/debug/.build-id/9b /usr/lib/debug/.build-id/9b/43e937c7fcfd162468af1b10143cb4d9c47c0d /usr/lib/debug/.build-id/9b/43e937c7fcfd162468af1b10143cb4d9c47c0d.debug /usr/lib/debug/.build-id/9d /usr/lib/debug/.build-id/9d/59cef74c2330f182713741eaff45d31c522e44 /usr/lib/debug/.build-id/9d/59cef74c2330f182713741eaff45d31c522e44.debug /usr/lib/debug/.build-id/a5 /usr/lib/debug/.build-id/a5/a4a197f1fd45d2ccf701807ee481effc4cf0c4 /usr/lib/debug/.build-id/a5/a4a197f1fd45d2ccf701807ee481effc4cf0c4.debug /usr/lib/debug/.build-id/ab /usr/lib/debug/.build-id/ab/d2754d44f509848a2d18259d87a32149e39543 /usr/lib/debug/.build-id/ab/d2754d44f509848a2d18259d87a32149e39543.debug /usr/lib/debug/.build-id/b2 /usr/lib/debug/.build-id/b2/75fd7540202ac76a7db9bb5bef10d52002faca /usr/lib/debug/.build-id/b2/75fd7540202ac76a7db9bb5bef10d52002faca.debug /usr/lib/debug/.build-id/b3 /usr/lib/debug/.build-id/b3/090b1b6f517e16e600f6bdce8caa814f1e51c0 /usr/lib/debug/.build-id/b3/090b1b6f517e16e600f6bdce8caa814f1e51c0.debug /usr/lib/debug/.build-id/c0 /usr/lib/debug/.build-id/c0/69dc8e9efabe39334f94efdef9ba82204ce578 /usr/lib/debug/.build-id/c0/69dc8e9efabe39334f94efdef9ba82204ce578.debug /usr/lib/debug/.build-id/ce /usr/lib/debug/.build-id/ce/1281f18588e55a0d99e978d52d3b9bed651e0b /usr/lib/debug/.build-id/ce/1281f18588e55a0d99e978d52d3b9bed651e0b.debug /usr/lib/debug/.build-id/cf /usr/lib/debug/.build-id/cf/ec555fe397fe924b54b01acee8216e0b56102d /usr/lib/debug/.build-id/cf/ec555fe397fe924b54b01acee8216e0b56102d.debug /usr/lib/debug/.build-id/d1 /usr/lib/debug/.build-id/d1/ddb9435b58ad3a273a32533e7e628bd0d5fb51 /usr/lib/debug/.build-id/d1/ddb9435b58ad3a273a32533e7e628bd0d5fb51.debug /usr/lib/debug/.build-id/e2 /usr/lib/debug/.build-id/e2/c0d981cc3b69e463ebeb9fe494e62dad9ae876 /usr/lib/debug/.build-id/e2/c0d981cc3b69e463ebeb9fe494e62dad9ae876.debug /usr/lib/debug/.build-id/ea /usr/lib/debug/.build-id/ea/457368bbcb719c409bc3974f57a08e04612eea /usr/lib/debug/.build-id/ea/457368bbcb719c409bc3974f57a08e04612eea.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/why3-1.5.1-8.fc38.x86_64 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/isabelle_client-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/bin/why3-1.5.1-8.fc38.x86_64.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.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3doc.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3execute.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3extract.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3ide.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3pp.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3prove.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3realize.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3replay.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3session.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3shell.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3show.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3wc.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3webserver.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins /usr/lib/debug/usr/lib64/why3/plugins/cfg.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/dimacs.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/genequlin.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/hypothesis_selection.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/microc.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/python.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/tptp.cmxs-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/why3cpulimit-1.5.1-8.fc38.x86_64.debug /usr/lib/debug/usr/lib64/why3/why3server-1.5.1-8.fc38.x86_64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed May 22 01:42:51 2024