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:43:49 2024 |
Group: Development/Debug | Build host: buildvm-a64-14.iad2.fedoraproject.org |
Size: 22585197 | 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/10 /usr/lib/debug/.build-id/10/56828c6e1b9b581c558e6b63d0c38e870c253d /usr/lib/debug/.build-id/10/56828c6e1b9b581c558e6b63d0c38e870c253d.debug /usr/lib/debug/.build-id/17 /usr/lib/debug/.build-id/17/6739496432d23d452f09a44f6a0f15fd00005e /usr/lib/debug/.build-id/17/6739496432d23d452f09a44f6a0f15fd00005e.debug /usr/lib/debug/.build-id/18 /usr/lib/debug/.build-id/18/016ff8f71d026cc37a4da6bbc4950cc936cb62 /usr/lib/debug/.build-id/18/016ff8f71d026cc37a4da6bbc4950cc936cb62.debug /usr/lib/debug/.build-id/2c /usr/lib/debug/.build-id/2c/8b3f642766c87f9a990abf30f3f86fcdc5aa3f /usr/lib/debug/.build-id/2c/8b3f642766c87f9a990abf30f3f86fcdc5aa3f.debug /usr/lib/debug/.build-id/66 /usr/lib/debug/.build-id/66/02ef3abd1d10645f34238742ada1f4e12239e7 /usr/lib/debug/.build-id/66/02ef3abd1d10645f34238742ada1f4e12239e7.debug /usr/lib/debug/.build-id/68 /usr/lib/debug/.build-id/68/510b75b39fad939ca6724725cc60b4d908d7c6 /usr/lib/debug/.build-id/68/510b75b39fad939ca6724725cc60b4d908d7c6.debug /usr/lib/debug/.build-id/6c /usr/lib/debug/.build-id/6c/43ffd3fd33af3d0dec620b232e8f8b05a02dfd /usr/lib/debug/.build-id/6c/43ffd3fd33af3d0dec620b232e8f8b05a02dfd.debug /usr/lib/debug/.build-id/73 /usr/lib/debug/.build-id/73/ec52a7407a53e045cccae02489b93bc9d3b128 /usr/lib/debug/.build-id/73/ec52a7407a53e045cccae02489b93bc9d3b128.debug /usr/lib/debug/.build-id/75 /usr/lib/debug/.build-id/75/a2770149b9351de4ebcdbda921f5ae6c9ce1a8 /usr/lib/debug/.build-id/75/a2770149b9351de4ebcdbda921f5ae6c9ce1a8.debug /usr/lib/debug/.build-id/78 /usr/lib/debug/.build-id/78/a3b9a0af5d16ecfd2be9e38403297df4ca992d /usr/lib/debug/.build-id/78/a3b9a0af5d16ecfd2be9e38403297df4ca992d.debug /usr/lib/debug/.build-id/7b /usr/lib/debug/.build-id/7b/784a54b66d7a0ef367e2fde7ae8d0ac9b0cd3e /usr/lib/debug/.build-id/7b/784a54b66d7a0ef367e2fde7ae8d0ac9b0cd3e.debug /usr/lib/debug/.build-id/7d /usr/lib/debug/.build-id/7d/fa6aeb94c4a37e3eaee1a2ad646f08572bce72 /usr/lib/debug/.build-id/7d/fa6aeb94c4a37e3eaee1a2ad646f08572bce72.debug /usr/lib/debug/.build-id/85 /usr/lib/debug/.build-id/85/4066a50d4bebfdfb129d420b243a14831095b4 /usr/lib/debug/.build-id/85/4066a50d4bebfdfb129d420b243a14831095b4.debug /usr/lib/debug/.build-id/8b /usr/lib/debug/.build-id/8b/bf029eb4ebb8ed27bf5290a7c0015f869c6c11 /usr/lib/debug/.build-id/8b/bf029eb4ebb8ed27bf5290a7c0015f869c6c11.debug /usr/lib/debug/.build-id/8f /usr/lib/debug/.build-id/8f/6f21055043cba3403f1503af837cb2c0a5eb57 /usr/lib/debug/.build-id/8f/6f21055043cba3403f1503af837cb2c0a5eb57.debug /usr/lib/debug/.build-id/91 /usr/lib/debug/.build-id/91/f2ac0df12555a19923e44878cb8d34fd315ce5 /usr/lib/debug/.build-id/91/f2ac0df12555a19923e44878cb8d34fd315ce5.debug /usr/lib/debug/.build-id/a2 /usr/lib/debug/.build-id/a2/08c530bfe21a62ad41404ecafcf8c14eb905bc /usr/lib/debug/.build-id/a2/08c530bfe21a62ad41404ecafcf8c14eb905bc.debug /usr/lib/debug/.build-id/a9 /usr/lib/debug/.build-id/a9/74ae4e4d1cb197f4223e4b047cf119e2886729 /usr/lib/debug/.build-id/a9/74ae4e4d1cb197f4223e4b047cf119e2886729.debug /usr/lib/debug/.build-id/af /usr/lib/debug/.build-id/af/93b4820ef1ae04b904abb8d8b5e72491dfab14 /usr/lib/debug/.build-id/af/93b4820ef1ae04b904abb8d8b5e72491dfab14.debug /usr/lib/debug/.build-id/af/94fbdd4a1b459f93944afacf2914006904adec /usr/lib/debug/.build-id/af/94fbdd4a1b459f93944afacf2914006904adec.debug /usr/lib/debug/.build-id/b2 /usr/lib/debug/.build-id/b2/005cf053486689da0bc8c4bd3a30e0ff5a90af /usr/lib/debug/.build-id/b2/005cf053486689da0bc8c4bd3a30e0ff5a90af.debug /usr/lib/debug/.build-id/b6 /usr/lib/debug/.build-id/b6/74645f8eb7ac8edb01bf8cce7f0a0762cc2bd8 /usr/lib/debug/.build-id/b6/74645f8eb7ac8edb01bf8cce7f0a0762cc2bd8.debug /usr/lib/debug/.build-id/bb /usr/lib/debug/.build-id/bb/d470ed8c1cac6cf98bfafc248420885dbcea51 /usr/lib/debug/.build-id/bb/d470ed8c1cac6cf98bfafc248420885dbcea51.debug /usr/lib/debug/.build-id/d0 /usr/lib/debug/.build-id/d0/22e9a5304dffe315bff9953928ce0ffba39b3e /usr/lib/debug/.build-id/d0/22e9a5304dffe315bff9953928ce0ffba39b3e.debug /usr/lib/debug/.build-id/d2 /usr/lib/debug/.build-id/d2/ca6be064137117a434a3e7aa4bb4e98113a3af /usr/lib/debug/.build-id/d2/ca6be064137117a434a3e7aa4bb4e98113a3af.debug /usr/lib/debug/.build-id/ea /usr/lib/debug/.build-id/ea/f8ec45918d31ddadedbff28d225ace67749f7d /usr/lib/debug/.build-id/ea/f8ec45918d31ddadedbff28d225ace67749f7d.debug /usr/lib/debug/.dwz /usr/lib/debug/.dwz/why3-1.7.1-1.fc39.aarch64 /usr/lib/debug/usr /usr/lib/debug/usr/bin /usr/lib/debug/usr/bin/isabelle_client-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/bin/why3-1.7.1-1.fc39.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/why3bench.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3config.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3doc.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3execute.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3extract.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3ide.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3pp.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3prove.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3realize.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3replay.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3session.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3shell.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3show.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3wc.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/commands/why3webserver.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins /usr/lib/debug/usr/lib64/why3/plugins/cfg.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/dimacs.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/genequlin.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/hypothesis_selection.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/microc.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/python.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/plugins/tptp.cmxs-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/why3cpulimit-1.7.1-1.fc39.aarch64.debug /usr/lib/debug/usr/lib64/why3/why3server-1.7.1-1.fc39.aarch64.debug
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Apr 27 03:25:00 2024