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.7.1 | Vendor: Fedora Project |
Release: 1.fc39 | Build date: Sat Feb 3 04:45:15 2024 |
Group: Development/Debug | Build host: buildvm-x86-16.iad2.fedoraproject.org |
Size: 22800171 | Source RPM: why3-1.7.1-1.fc39.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
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.1-1 - Version 1.7.1 * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.7.0-1 - Version 1.7.0 - Drop upstreamed coq patch * Sat Sep 09 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-6 - Rebuild for ocaml-ocamlgraph 2.1.0 * Sat Jul 29 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-5 - Require cvc5 instead of cvc4 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-4 - Rebuild for ocaml-zarith 1.13 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Validate metadata with appstream-util * Thu Jul 13 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-2 - Rebuild for mpfr 4.2.0 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 1.6.0-1 - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support * 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
/usr/lib/debug /usr/lib/debug/.build-id /usr/lib/debug/.build-id/07 /usr/lib/debug/.build-id/07/30d32a587ffed5db5642fd2e52bbd30774667a /usr/lib/debug/.build-id/07/30d32a587ffed5db5642fd2e52bbd30774667a.debug /usr/lib/debug/.build-id/0e /usr/lib/debug/.build-id/0e/9205920e19ac7e183dd349b776498389f3e269 /usr/lib/debug/.build-id/0e/9205920e19ac7e183dd349b776498389f3e269.debug /usr/lib/debug/.build-id/14 /usr/lib/debug/.build-id/14/cb158e53986c9269491e7233e24ae2c7c9e008 /usr/lib/debug/.build-id/14/cb158e53986c9269491e7233e24ae2c7c9e008.debug /usr/lib/debug/.build-id/24 /usr/lib/debug/.build-id/24/bb9ba7ccabfdf6449d48a307483d2cc7cde219 /usr/lib/debug/.build-id/24/bb9ba7ccabfdf6449d48a307483d2cc7cde219.debug /usr/lib/debug/.build-id/3a /usr/lib/debug/.build-id/3a/f6ab07d12dadaa205c8b0483a9427908f70121 /usr/lib/debug/.build-id/3a/f6ab07d12dadaa205c8b0483a9427908f70121.debug /usr/lib/debug/.build-id/44 /usr/lib/debug/.build-id/44/33a482e1eadc603fbf114b8ad940e41d7eed58 /usr/lib/debug/.build-id/44/33a482e1eadc603fbf114b8ad940e41d7eed58.debug /usr/lib/debug/.build-id/45 /usr/lib/debug/.build-id/45/4899780e102cbb19a460d480a82e41419b7d18 /usr/lib/debug/.build-id/45/4899780e102cbb19a460d480a82e41419b7d18.debug /usr/lib/debug/.build-id/50 /usr/lib/debug/.build-id/50/21369c865c0261b4c3f0367a0b9bfca040f4f1 /usr/lib/debug/.build-id/50/21369c865c0261b4c3f0367a0b9bfca040f4f1.debug /usr/lib/debug/.build-id/55 /usr/lib/debug/.build-id/55/7799e28fd395c9f663ddfb8024d956337e133d /usr/lib/debug/.build-id/55/7799e28fd395c9f663ddfb8024d956337e133d.debug /usr/lib/debug/.build-id/76 /usr/lib/debug/.build-id/76/3c7ae55c115741eb5f3eba958a5b282c70ebc0 /usr/lib/debug/.build-id/76/3c7ae55c115741eb5f3eba958a5b282c70ebc0.debug /usr/lib/debug/.build-id/7f /usr/lib/debug/.build-id/7f/85240b21f93666d11e2b446c53c6383512f8ac /usr/lib/debug/.build-id/7f/85240b21f93666d11e2b446c53c6383512f8ac.debug /usr/lib/debug/.build-id/84 /usr/lib/debug/.build-id/84/8b3f248da1c90866bc12044d08b08bff3f8964 /usr/lib/debug/.build-id/84/8b3f248da1c90866bc12044d08b08bff3f8964.debug /usr/lib/debug/.build-id/8c /usr/lib/debug/.build-id/8c/cd64369527a9339924c56444d9737e024e8d0b /usr/lib/debug/.build-id/8c/cd64369527a9339924c56444d9737e024e8d0b.debug /usr/lib/debug/.build-id/91 /usr/lib/debug/.build-id/91/331335f40a90a9e3b138cebad29e1d0b6f2894 /usr/lib/debug/.build-id/91/331335f40a90a9e3b138cebad29e1d0b6f2894.debug /usr/lib/debug/.build-id/91/438264c07c2922fe6e6658962255ca2609bce9 /usr/lib/debug/.build-id/91/438264c07c2922fe6e6658962255ca2609bce9.debug /usr/lib/debug/.build-id/98 /usr/lib/debug/.build-id/98/982e5ee6dc68b01a66a30695d82c4789ee024c /usr/lib/debug/.build-id/98/982e5ee6dc68b01a66a30695d82c4789ee024c.debug /usr/lib/debug/.build-id/99 /usr/lib/debug/.build-id/99/52581a02c2e032ff92de94f840f4587c7e0cd4 /usr/lib/debug/.build-id/99/52581a02c2e032ff92de94f840f4587c7e0cd4.debug /usr/lib/debug/.build-id/9c /usr/lib/debug/.build-id/9c/4e1a1729eef8ffdfaa7f218c937d470a54f38e /usr/lib/debug/.build-id/9c/4e1a1729eef8ffdfaa7f218c937d470a54f38e.debug /usr/lib/debug/.build-id/9f /usr/lib/debug/.build-id/9f/a0670c4aa6b60332bdfadc892b1756a13d9eb7 /usr/lib/debug/.build-id/9f/a0670c4aa6b60332bdfadc892b1756a13d9eb7.debug /usr/lib/debug/.build-id/a9 /usr/lib/debug/.build-id/a9/ddfde546baa7c3f2cc00600118082f2f3d8c5f /usr/lib/debug/.build-id/a9/ddfde546baa7c3f2cc00600118082f2f3d8c5f.debug /usr/lib/debug/.build-id/aa /usr/lib/debug/.build-id/aa/f813d0e9549453177cd55b88581a47f593e65d /usr/lib/debug/.build-id/aa/f813d0e9549453177cd55b88581a47f593e65d.debug /usr/lib/debug/.build-id/b3 /usr/lib/debug/.build-id/b3/0effd9ca5aee325479236d23cf82898a4a4057 /usr/lib/debug/.build-id/b3/0effd9ca5aee325479236d23cf82898a4a4057.debug /usr/lib/debug/.build-id/b3/d0d6242af9813fe4776e5c593b6b38c560641b /usr/lib/debug/.build-id/b3/d0d6242af9813fe4776e5c593b6b38c560641b.debug /usr/lib/debug/.build-id/d8 /usr/lib/debug/.build-id/d8/ffb13c193e3ad18fc1cb3393d80fb05330f6f9 /usr/lib/debug/.build-id/d8/ffb13c193e3ad18fc1cb3393d80fb05330f6f9.debug /usr/lib/debug/.build-id/dc /usr/lib/debug/.build-id/dc/e09646e80629d58c5971c10359203eaf036e90 /usr/lib/debug/.build-id/dc/e09646e80629d58c5971c10359203eaf036e90.debug /usr/lib/debug/.build-id/e1 /usr/lib/debug/.build-id/e1/178f45948d06eebdb57b249bb61202342c4b80 /usr/lib/debug/.build-id/e1/178f45948d06eebdb57b249bb61202342c4b80.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/why3-1.7.1-1.fc39.x86_64 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/isabelle_client-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/bin/why3-1.7.1-1.fc39.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/why3bench.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3config.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3doc.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3execute.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3extract.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3ide.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3pp.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3prove.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3realize.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3replay.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3session.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3shell.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3show.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3wc.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/commands/why3webserver.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins /usr/lib/debug/usr/lib64/why3/plugins/cfg.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/dimacs.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/genequlin.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/hypothesis_selection.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/microc.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/python.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/plugins/tptp.cmxs-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/why3cpulimit-1.7.1-1.fc39.x86_64.debug /usr/lib/debug/usr/lib64/why3/why3server-1.7.1-1.fc39.x86_64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Apr 27 03:11:16 2024