Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gappalib-coq | Distribution: Fedora Project |
Version: 1.5.3 | Vendor: Fedora Project |
Release: 2.fc38 | Build date: Wed Oct 18 18:15:56 2023 |
Group: Unspecified | Build host: buildvm-x86-09.iad2.fedoraproject.org |
Size: 12786063 | Source RPM: gappalib-coq-1.5.3-2.fc38.src.rpm |
Packager: Fedora Project | |
Url: https://gitlab.inria.fr/gappa/coq | |
Summary: Coq support library for gappa |
This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
LGPL-3.0-or-later
* 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
/usr/lib/.build-id /usr/lib/.build-id/02 /usr/lib/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298 /usr/lib/.build-id/1e /usr/lib/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf /usr/lib/.build-id/1f /usr/lib/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384 /usr/lib/.build-id/22 /usr/lib/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2 /usr/lib/.build-id/2c /usr/lib/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3 /usr/lib/.build-id/49 /usr/lib/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704 /usr/lib/.build-id/4e /usr/lib/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1 /usr/lib/.build-id/58 /usr/lib/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c /usr/lib/.build-id/5a /usr/lib/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31 /usr/lib/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7 /usr/lib/.build-id/6c /usr/lib/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd /usr/lib/.build-id/8c /usr/lib/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec /usr/lib/.build-id/95 /usr/lib/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8 /usr/lib/.build-id/9c /usr/lib/.build-id/9c/030ea622102caa71988520023f696745c1a3af /usr/lib/.build-id/a1 /usr/lib/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219 /usr/lib/.build-id/a2 /usr/lib/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc /usr/lib/.build-id/c1 /usr/lib/.build-id/c1/43afdb7f4f7bdb4134b2696da9ab6394ef1c75 /usr/lib/.build-id/d3 /usr/lib/.build-id/d3/5145ba840394fc3cb1b4ab7fcf4b97151bcecd /usr/lib/.build-id/d4 /usr/lib/.build-id/d4/20dd7d774af802b0472606f35752da29b5250f /usr/lib/.build-id/e0 /usr/lib/.build-id/e0/b0243e3d9322bdcb8f0a66be44c5aadf13d9d5 /usr/lib/.build-id/e7 /usr/lib/.build-id/e7/29a31327298aad7fc86ea55e4570efc4fe00af /usr/lib/.build-id/e9 /usr/lib/.build-id/e9/54d71ecccda5f4ca373ea918534120ef8379a1 /usr/lib/.build-id/ff /usr/lib/.build-id/ff/65b492739b4d594a0717e4c75f38581199f72b /usr/lib64/ocaml/coq-gappa /usr/lib64/ocaml/coq-gappa/META /usr/lib64/ocaml/coq-gappa/gappatac.cmo /usr/lib64/ocaml/coq-gappa/gappatac.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.o /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmi /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmx /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs /usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.o /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_common.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_decimal.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_definitions.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_fixed.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_float.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_library.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_obfuscate.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_abs.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_bnd.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_real.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_aux.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic_loader.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tree.vo /usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_user.vo /usr/share/doc/gappalib-coq /usr/share/doc/gappalib-coq/AUTHORS /usr/share/doc/gappalib-coq/NEWS.md /usr/share/doc/gappalib-coq/README.md /usr/share/licenses/gappalib-coq /usr/share/licenses/gappalib-coq/COPYING
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed May 22 01:42:51 2024