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 x86_64

From Fedora 38 updates for x86_64 / 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:56 2023
Group: Development/Debug Build host: buildvm-x86-09.iad2.fedoraproject.org
Size: 878412 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/02
/usr/lib/debug/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298
/usr/lib/debug/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf
/usr/lib/debug/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384
/usr/lib/debug/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384.debug
/usr/lib/debug/.build-id/22
/usr/lib/debug/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2
/usr/lib/debug/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3
/usr/lib/debug/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704
/usr/lib/debug/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1
/usr/lib/debug/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c
/usr/lib/debug/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c.debug
/usr/lib/debug/.build-id/5a
/usr/lib/debug/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31
/usr/lib/debug/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31.debug
/usr/lib/debug/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7
/usr/lib/debug/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd
/usr/lib/debug/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd.debug
/usr/lib/debug/.build-id/8c
/usr/lib/debug/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec
/usr/lib/debug/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8
/usr/lib/debug/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/030ea622102caa71988520023f696745c1a3af
/usr/lib/debug/.build-id/9c/030ea622102caa71988520023f696745c1a3af.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219
/usr/lib/debug/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc
/usr/lib/debug/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/43afdb7f4f7bdb4134b2696da9ab6394ef1c75
/usr/lib/debug/.build-id/c1/43afdb7f4f7bdb4134b2696da9ab6394ef1c75.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/5145ba840394fc3cb1b4ab7fcf4b97151bcecd
/usr/lib/debug/.build-id/d3/5145ba840394fc3cb1b4ab7fcf4b97151bcecd.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/20dd7d774af802b0472606f35752da29b5250f
/usr/lib/debug/.build-id/d4/20dd7d774af802b0472606f35752da29b5250f.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/b0243e3d9322bdcb8f0a66be44c5aadf13d9d5
/usr/lib/debug/.build-id/e0/b0243e3d9322bdcb8f0a66be44c5aadf13d9d5.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/29a31327298aad7fc86ea55e4570efc4fe00af
/usr/lib/debug/.build-id/e7/29a31327298aad7fc86ea55e4570efc4fe00af.debug
/usr/lib/debug/.build-id/e9
/usr/lib/debug/.build-id/e9/54d71ecccda5f4ca373ea918534120ef8379a1
/usr/lib/debug/.build-id/e9/54d71ecccda5f4ca373ea918534120ef8379a1.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/65b492739b4d594a0717e4c75f38581199f72b
/usr/lib/debug/.build-id/ff/65b492739b4d594a0717e4c75f38581199f72b.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.x86_64.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.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs-1.5.3-2.fc38.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs-1.5.3-2.fc38.x86_64.debug

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 8 01:35:30 2024