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

zenon-debugsource-0.8.5-29.fc41 RPM for aarch64

From Fedora 41 updates for aarch64 / debug / Packages / z

Name: zenon-debugsource Distribution: Fedora Project
Version: 0.8.5 Vendor: Fedora Project
Release: 29.fc41 Build date: Wed Jan 29 22:17:41 2025
Group: Development/Debug Build host: buildvm-a64-37.iad2.fedoraproject.org
Size: 900923 Source RPM: zenon-0.8.5-29.fc41.src.rpm
Packager: Fedora Project
Url: http://zenon-prover.org/
Summary: Debug sources for package zenon
 
This package provides debug sources for package zenon.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

BSD-3-Clause

Changelog

* Wed Jan 29 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-29
  - OCaml 5.2.1 rebuild for Fedora 41
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-28
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-27
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-26
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 0.8.5-25
  - Rebuild for rebuilt coq
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-24
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 0.8.5-23
  - Rebuild for coq 8.18.0
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-22
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-21
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-20
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-19
  - Rebuild for ocaml-zarith 1.13
* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-17
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-16
  - OCaml 5.0.0 rebuild
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-15
  - Rebuild for coq 8.17.0

Files

/usr/src/debug/zenon-0.8.5-29.fc41.aarch64
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/coqterm.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/enum.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/eqrel.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/error.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/expr.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/ext_equiv.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/ext_focal.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/ext_induct.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/ext_recfun.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/ext_tla.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/extension.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/globals.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/heap.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/index.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/isar_case.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lexcoq.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lexcoq.mll
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lextptp.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lextptp.mll
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lexzen.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lexzen.mll
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/llproof.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lltocoq.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/lltoisar.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/main.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/misc.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/mlproof.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/mltoll.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/namespace.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/node.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsecoq.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsecoq.mly
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsetptp.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsetptp.mly
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsezen.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/parsezen.mly
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/phrase.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/print.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/progress.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/prove.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/step.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/tptp.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/version.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/versionnum.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/watch.ml
/usr/src/debug/zenon-0.8.5-29.fc41.aarch64/zenon.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Feb 12 03:58:59 2025