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.2 | Vendor: Fedora Project |
Release: 7.fc38 | Build date: Tue Jan 24 19:02:15 2023 |
Group: Unspecified | Build host: buildvm-ppc64le-04.iad2.fedoraproject.org |
Size: 18649937 | Source RPM: gappalib-coq-1.5.2-7.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
* 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 * Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-11 - OCaml 4.13.1 build * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-10 - Try to build on s390x with OCaml 4.13 * Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-9 - Rebuild for rebuilt coq * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-7 - Rebuild for flocq 3.4.2 * Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-6 - Rebuild for coq 8.13.2 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-5 - Rebuild for coq 8.13.1 - Build with ocaml-zarith instead of ocaml-num * Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4 - OCaml 4.12.0 build * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3 - Rebuild for coq 8.13.0 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/04 /usr/lib/.build-id/04/4af4deb8051f66009ac3d72cea6c67db1df853 /usr/lib/.build-id/14 /usr/lib/.build-id/14/169c352838c0c617fdc376022ecbbce2c0edfe /usr/lib/.build-id/1c /usr/lib/.build-id/1c/ec65027329c57f827a0f62940cfe134fabbec1 /usr/lib/.build-id/22 /usr/lib/.build-id/22/23178e8d02e6a19f4530777493720286dc2563 /usr/lib/.build-id/23 /usr/lib/.build-id/23/891f2804feb9c5c606540488bf930b4e767e14 /usr/lib/.build-id/24 /usr/lib/.build-id/24/4f892fa3fb39ee34b1857466a355bc2a7da9fe /usr/lib/.build-id/29 /usr/lib/.build-id/29/d7ea6d7edd5fcb19425932de37781b15ac3763 /usr/lib/.build-id/45 /usr/lib/.build-id/45/fbef32f6c13d31bb00979b79ca48442ceaccdf /usr/lib/.build-id/51 /usr/lib/.build-id/51/6b201426f94cd84d78c54a33814731b7eef6e9 /usr/lib/.build-id/55 /usr/lib/.build-id/55/d9aabcf305b11453c1a41cb37117a16d597e7d /usr/lib/.build-id/5b /usr/lib/.build-id/5b/d10266dd18780eb0f9ec49754a6217cf5f107c /usr/lib/.build-id/65 /usr/lib/.build-id/65/e14273f632c8fcdf7fda01183deb052687df7a /usr/lib/.build-id/68 /usr/lib/.build-id/68/ce5dc48c45b726710f39484a70f53d81607c67 /usr/lib/.build-id/69 /usr/lib/.build-id/69/ac41eeb192287c4c95026549182d9862c58593 /usr/lib/.build-id/75 /usr/lib/.build-id/75/1032432f7d60a22d213d144ce968fae5514427 /usr/lib/.build-id/7e /usr/lib/.build-id/7e/f4641e8681501b4f755e74dc8e4b6ba62e808f /usr/lib/.build-id/99 /usr/lib/.build-id/99/1acb85176bd6b19bb169c3ffd85c5fcaacb5da /usr/lib/.build-id/b7 /usr/lib/.build-id/b7/1812cccc215ba2ca2407621719527105985801 /usr/lib/.build-id/bc /usr/lib/.build-id/bc/45d2ed1704492ee7c8f15d0845b58e94aa7e74 /usr/lib/.build-id/c0 /usr/lib/.build-id/c0/4649c0e305d334f209f5b5630a362add428e2e /usr/lib/.build-id/e6 /usr/lib/.build-id/e6/dc306c9461c97f24beee74992bf2b01c0189d5 /usr/lib/.build-id/e7 /usr/lib/.build-id/e7/9afdd46a0b5eb032cd9704b3c6ec218b534e63 /usr/lib/.build-id/f3 /usr/lib/.build-id/f3/2d4c4afe9f686b82b1f9deee3c53404f4b176b /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, Thu May 9 22:29:55 2024