Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gappalib-coq-debuginfo-1.5.3-2.fc38 RPM for aarch64

From Fedora 38 updates for aarch64 / debug / Packages / g

Name: gappalib-coq-debuginfo Distribution: Fedora Project
Version: 1.5.3 Vendor: Fedora Project
Release: 2.fc38 Build date: Wed Oct 18 18:15:10 2023
Group: Development/Debug Build host: buildvm-a64-13.iad2.fedoraproject.org
Size: 890131 Source RPM: gappalib-coq-1.5.3-2.fc38.src.rpm
Packager: Fedora Project
Url: https://gitlab.inria.fr/gappa/coq
Summary: Debug information for package gappalib-coq
 
This package provides debug information for package gappalib-coq.
Debug information is useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-3.0-or-later

Changelog

* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-2
  - Rebuild for coq 8.17.1
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-1
  - Version 1.5.3
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.2-7
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-5
  - Rebuild for coq 8.16.1
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-4
  - Rebuild for coq 8.16.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-3
  - Rebuild to fix coq dependency
  - Change license to LGPL-3.0-or-later
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-1
  - Version 1.5.2
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3
  - Remove i686 support
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-3
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2
  - Rebuild for coq 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1
  - Version 1.5.1
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.0-4
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-2
  - Rebuild for coq 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-1
  - Version 1.5.0

Files

/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/4315ea294d2b70e0633997b0c802c3d506328d
/usr/lib/debug/.build-id/07/4315ea294d2b70e0633997b0c802c3d506328d.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/d0bdabbd765f3c4e8c0748144e69c5a89d35e9
/usr/lib/debug/.build-id/0d/d0bdabbd765f3c4e8c0748144e69c5a89d35e9.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/ead77c3998a6ea354487de5dbaa55a854720e8
/usr/lib/debug/.build-id/10/ead77c3998a6ea354487de5dbaa55a854720e8.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/92162bc0e6e92d5755dbd0019c162d1796a729
/usr/lib/debug/.build-id/13/92162bc0e6e92d5755dbd0019c162d1796a729.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/e8f46138ceeb727c744bd71f2a3c35554c1494
/usr/lib/debug/.build-id/15/e8f46138ceeb727c744bd71f2a3c35554c1494.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/0b114680d585516549a2a50c905036e974b61e
/usr/lib/debug/.build-id/21/0b114680d585516549a2a50c905036e974b61e.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/818dce69d1721b3ee039f4692cc44a124d791f
/usr/lib/debug/.build-id/32/818dce69d1721b3ee039f4692cc44a124d791f.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/ea59524ba281e271d85fee462148a5f12f5463
/usr/lib/debug/.build-id/36/ea59524ba281e271d85fee462148a5f12f5463.debug
/usr/lib/debug/.build-id/47
/usr/lib/debug/.build-id/47/edd83b5e69bb9854e3e69086e1ec703470b802
/usr/lib/debug/.build-id/47/edd83b5e69bb9854e3e69086e1ec703470b802.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/67fe2fbde6571c0cb273803579d962a66a0f96
/usr/lib/debug/.build-id/48/67fe2fbde6571c0cb273803579d962a66a0f96.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/f73d4aae398261031d65217b25d818ef1776e4
/usr/lib/debug/.build-id/4d/f73d4aae398261031d65217b25d818ef1776e4.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/dac89b54dd23ba13525279a2fed7075c6a6ea1
/usr/lib/debug/.build-id/4f/dac89b54dd23ba13525279a2fed7075c6a6ea1.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/4df8723c56a1b83667bad020c5dafe766154f3
/usr/lib/debug/.build-id/69/4df8723c56a1b83667bad020c5dafe766154f3.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/388032ff50272da4f3e4cda1a5fb3f68924b0f
/usr/lib/debug/.build-id/70/388032ff50272da4f3e4cda1a5fb3f68924b0f.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/335861ff49fac3e60fe0a75ac0e6aa1f0e2c20
/usr/lib/debug/.build-id/81/335861ff49fac3e60fe0a75ac0e6aa1f0e2c20.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/2c8a699a039f48338e033b4a10e78a139bd3db
/usr/lib/debug/.build-id/82/2c8a699a039f48338e033b4a10e78a139bd3db.debug
/usr/lib/debug/.build-id/94
/usr/lib/debug/.build-id/94/b4ab03367080d5eade9395639bd45655c5446e
/usr/lib/debug/.build-id/94/b4ab03367080d5eade9395639bd45655c5446e.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/b47983eb357113d103efff32ad26f4b340a9b5
/usr/lib/debug/.build-id/95/b47983eb357113d103efff32ad26f4b340a9b5.debug
/usr/lib/debug/.build-id/97
/usr/lib/debug/.build-id/97/40b3dd787658d617ea67c13e5b3fac8560851f
/usr/lib/debug/.build-id/97/40b3dd787658d617ea67c13e5b3fac8560851f.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/3a9cec541f4c9e72306f9087fc7c6b95a7235d
/usr/lib/debug/.build-id/c1/3a9cec541f4c9e72306f9087fc7c6b95a7235d.debug
/usr/lib/debug/.build-id/c2
/usr/lib/debug/.build-id/c2/c80171ff27de1a0632c8c3fc2209612d7bb68a
/usr/lib/debug/.build-id/c2/c80171ff27de1a0632c8c3fc2209612d7bb68a.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/29bbbffd35beeab02e27b8597346c8ecba47db
/usr/lib/debug/.build-id/ed/29bbbffd35beeab02e27b8597346c8ecba47db.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/e3d09ebbd825483d829432f4d46670a741308b
/usr/lib/debug/.build-id/f9/e3d09ebbd825483d829432f4d46670a741308b.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/coq
/usr/lib/debug/usr/lib64/ocaml/coq-gappa
/usr/lib/debug/usr/lib64/ocaml/coq-gappa/gappatac.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs-1.5.3-2.fc38.aarch64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs-1.5.3-2.fc38.aarch64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu May 9 02:30:56 2024