gappalib-coq-1.5.2-4.fc37 in Fedora 37
↵ Return to the main page of gappalib-coq
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2022-09-16 | Jerry James <loganjerry at gmail dot com> - 1.5.2-4 | - Rebuild for coq 8.16.0 |
| 2022-08-18 | Jerry James <loganjerry at gmail dot com> - 1.5.2-3 | - Rebuild to fix coq dependency - Change license to LGPL-3.0-or-later |
| 2022-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.2-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
| 2022-07-20 | Jerry James <loganjerry at gmail dot com> - 1.5.2-1 | - Version 1.5.2 |
| 2022-07-19 | Jerry James <loganjerry at gmail dot com> - 1.5.1-3 | - Remove i686 support - Use new OCaml macros |
| 2022-06-19 | Richard W.M. Jones <rjones at redhat dot com> - 1.5.1-3 | - OCaml 4.14.0 rebuild |
| 2022-03-25 | Jerry James <loganjerry at gmail dot com> - 1.5.1-2 | - Rebuild for coq 8.15.1 |
| 2022-02-28 | Jerry James <loganjerry at gmail dot com> - 1.5.1-1 | - Version 1.5.1 |
| 2022-02-04 | Richard W.M. Jones <rjones at redhat dot com> - 1.5.0-4 | - OCaml 4.13.1 rebuild to remove package notes |
| 2022-01-20 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.0-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild |
Dependencies
- coq = 8.16.0
- coq-core = 00edc3e526b6239e9ad4c9319eaaabd5
- flocq
- frama-c = afc10af2a433f78a0df71272ef5bb0eb
- gappa
- glibc
- ocaml = 8f8f634558798ee408df3c50a5539b15
- ocaml-camlimages = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-camlimages-devel = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-cil = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-cil-devel = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-dyn = fa3daa324553247018623840358472b5
- ocaml-dyn-devel = fa3daa324553247018623840358472b5
- ocaml-extlib = 42f2e82accd666c47e4f9963a75f6ea7
- ocaml-extlib-devel = 42f2e82accd666c47e4f9963a75f6ea7
- ocaml-ocp-indent = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-ocp-indent-devel = 46a1f0249bfbf29202e10de25200d4ea
- ocaml-pp = b42c7d685f7cf8e56cb9e5cb72b082aa
- ocaml-pp-devel = b42c7d685f7cf8e56cb9e5cb72b082aa
- ocaml-runtime = 8f8f634558798ee408df3c50a5539b15
- ocaml-zarith = f98827dcd70d54140f3afa5af18218b1
- ocaml-zarith-devel = f98827dcd70d54140f3afa5af18218b1
Provides
- gappalib-coq
- gappalib-coq(x86-64)
- ocaml(Gappatac)
- ocaml(NGappa_Gappa_common)
- ocaml(NGappa_Gappa_decimal)
- ocaml(NGappa_Gappa_definitions)
- ocaml(NGappa_Gappa_dyadic)
- ocaml(NGappa_Gappa_fixed)
- ocaml(NGappa_Gappa_float)
- ocaml(NGappa_Gappa_library)
- ocaml(NGappa_Gappa_obfuscate)
- ocaml(NGappa_Gappa_pred_abs)
- ocaml(NGappa_Gappa_pred_bnd)
- ocaml(NGappa_Gappa_pred_fixflt)
- ocaml(NGappa_Gappa_pred_nzr)
- ocaml(NGappa_Gappa_pred_rel)
- ocaml(NGappa_Gappa_real)
- ocaml(NGappa_Gappa_rewriting)
- ocaml(NGappa_Gappa_round)
- ocaml(NGappa_Gappa_round_aux)
- ocaml(NGappa_Gappa_round_def)
- ocaml(NGappa_Gappa_tactic)
- ocaml(NGappa_Gappa_tactic_loader)
- ocaml(NGappa_Gappa_tree)
- ocaml(NGappa_Gappa_user)
- ocamlx(NGappa_Gappa_common)
- ocamlx(NGappa_Gappa_decimal)
- ocamlx(NGappa_Gappa_definitions)
- ocamlx(NGappa_Gappa_dyadic)
- ocamlx(NGappa_Gappa_fixed)
- ocamlx(NGappa_Gappa_float)
- ocamlx(NGappa_Gappa_library)
- ocamlx(NGappa_Gappa_obfuscate)
- ocamlx(NGappa_Gappa_pred_abs)
- ocamlx(NGappa_Gappa_pred_bnd)
- ocamlx(NGappa_Gappa_pred_fixflt)
- ocamlx(NGappa_Gappa_pred_nzr)
- ocamlx(NGappa_Gappa_pred_rel)
- ocamlx(NGappa_Gappa_real)
- ocamlx(NGappa_Gappa_rewriting)
- ocamlx(NGappa_Gappa_round)
- ocamlx(NGappa_Gappa_round_aux)
- ocamlx(NGappa_Gappa_round_def)
- ocamlx(NGappa_Gappa_tactic)
- ocamlx(NGappa_Gappa_tactic_loader)
- ocamlx(NGappa_Gappa_tree)
- ocamlx(NGappa_Gappa_user)
Files
- usr/
- lib/
- .build-id/
- 09/
- f7d3ae15793a864012261a655e664aae4fa494
- 10/
- 0e5718d96fb433c9101096cb1af7d09c066188
- 1f/
- 971b1206a1c260c517685e2dffaa588c119087
- 23/
- 72dcc9aec0ce64e2dc88d4af604c0527c3527d
- 2d/
- 3be32154295785744a95d604877034a42ddc3c
- 33/
- a5e2fb326f28498e8a7f26233b1ab4cbaa7ef2
- 3e/
- efac9729df62d04b25fcae37f2f835ea9cdb60
- 3f/
- 90e2b37291c8c08e4ff450f19c3242fb2a5962
- 44/
- d9d56f186640f7bc5d3da10485612c677c2cd6
- 45/
- 4dea83b49b83667e648ebac27abf2f76fcd7ee
- 4c/
- 75efc51d68ed27268263478e627d4682076d68
- 4e/
- 0098e4f77020b5b52d406eb2188c32af8e65b3
- 60/
- 983f512217fa2c8e0ec455ff34fe858f32fc72
- 6b/
- 45a608d2ee0fcf0da4f10eb92fc3b4e2398cab
- 6e/
- 4d3f3e4446bad173ff6c2a75db142bc14bee98
- 8e/
- c9bfef9e66f64aa242b4458cce47945627fdc0
- 9e/
- 73fbfdc980ee2ea76d2cf6cc6e3f2cb3e58d0e
- c8/
- 8fb88b8dc94d289e7e874564ed9556606791e0
- dd/
- ee1a281aef58a9a0dcc3eb14982ab7478c6535
- ea/
- 7edf268d35b0d0e4ddaa45ce5102aa834090ef
- f5/
- 2b226dc1e39302019c19662ca86d61f79e3786
- f9/
- a27c90c01b7a1b91bd3da80e799c2845779e66
- ff/
- 2d6fc811a0c5f8d2a8db2c59897a93e99060ab
- 09/
- .build-id/
- lib64/
- ocaml/
- coq/
- user-contrib/
- Gappa/
- .coq-native/
- NGappa_Gappa_common.cmi
- NGappa_Gappa_common.cmx
- NGappa_Gappa_common.cmxs
- NGappa_Gappa_common.o
- NGappa_Gappa_decimal.cmi
- NGappa_Gappa_decimal.cmx
- NGappa_Gappa_decimal.cmxs
- NGappa_Gappa_decimal.o
- NGappa_Gappa_definitions.cmi
- NGappa_Gappa_definitions.cmx
- NGappa_Gappa_definitions.cmxs
- NGappa_Gappa_definitions.o
- NGappa_Gappa_dyadic.cmi
- NGappa_Gappa_dyadic.cmx
- NGappa_Gappa_dyadic.cmxs
- NGappa_Gappa_dyadic.o
- NGappa_Gappa_fixed.cmi
- NGappa_Gappa_fixed.cmx
- NGappa_Gappa_fixed.cmxs
- NGappa_Gappa_fixed.o
- NGappa_Gappa_float.cmi
- NGappa_Gappa_float.cmx
- NGappa_Gappa_float.cmxs
- NGappa_Gappa_float.o
- NGappa_Gappa_library.cmi
- NGappa_Gappa_library.cmx
- NGappa_Gappa_library.cmxs
- NGappa_Gappa_library.o
- NGappa_Gappa_obfuscate.cmi
- NGappa_Gappa_obfuscate.cmx
- NGappa_Gappa_obfuscate.cmxs
- NGappa_Gappa_obfuscate.o
- NGappa_Gappa_pred_abs.cmi
- NGappa_Gappa_pred_abs.cmx
- NGappa_Gappa_pred_abs.cmxs
- NGappa_Gappa_pred_abs.o
- NGappa_Gappa_pred_bnd.cmi
- NGappa_Gappa_pred_bnd.cmx
- NGappa_Gappa_pred_bnd.cmxs
- NGappa_Gappa_pred_bnd.o
- NGappa_Gappa_pred_fixflt.cmi
- NGappa_Gappa_pred_fixflt.cmx
- NGappa_Gappa_pred_fixflt.cmxs
- NGappa_Gappa_pred_fixflt.o
- NGappa_Gappa_pred_nzr.cmi
- NGappa_Gappa_pred_nzr.cmx
- NGappa_Gappa_pred_nzr.cmxs
- NGappa_Gappa_pred_nzr.o
- NGappa_Gappa_pred_rel.cmi
- NGappa_Gappa_pred_rel.cmx
- NGappa_Gappa_pred_rel.cmxs
- NGappa_Gappa_pred_rel.o
- NGappa_Gappa_real.cmi
- NGappa_Gappa_real.cmx
- NGappa_Gappa_real.cmxs
- NGappa_Gappa_real.o
- NGappa_Gappa_rewriting.cmi
- NGappa_Gappa_rewriting.cmx
- NGappa_Gappa_rewriting.cmxs
- NGappa_Gappa_rewriting.o
- NGappa_Gappa_round.cmi
- NGappa_Gappa_round.cmx
- NGappa_Gappa_round.cmxs
- NGappa_Gappa_round.o
- NGappa_Gappa_round_aux.cmi
- NGappa_Gappa_round_aux.cmx
- NGappa_Gappa_round_aux.cmxs
- NGappa_Gappa_round_aux.o
- NGappa_Gappa_round_def.cmi
- NGappa_Gappa_round_def.cmx
- NGappa_Gappa_round_def.cmxs
- NGappa_Gappa_round_def.o
- NGappa_Gappa_tactic.cmi
- NGappa_Gappa_tactic.cmx
- NGappa_Gappa_tactic.cmxs
- NGappa_Gappa_tactic.o
- NGappa_Gappa_tactic_loader.cmi
- NGappa_Gappa_tactic_loader.cmx
- NGappa_Gappa_tactic_loader.cmxs
- NGappa_Gappa_tactic_loader.o
- NGappa_Gappa_tree.cmi
- NGappa_Gappa_tree.cmx
- NGappa_Gappa_tree.cmxs
- NGappa_Gappa_tree.o
- NGappa_Gappa_user.cmi
- NGappa_Gappa_user.cmx
- NGappa_Gappa_user.cmxs
- NGappa_Gappa_user.o
- Gappa_common.vo
- Gappa_decimal.vo
- Gappa_definitions.vo
- Gappa_dyadic.vo
- Gappa_fixed.vo
- Gappa_float.vo
- Gappa_library.vo
- Gappa_obfuscate.vo
- Gappa_pred_abs.vo
- Gappa_pred_bnd.vo
- Gappa_pred_fixflt.vo
- Gappa_pred_nzr.vo
- Gappa_pred_rel.vo
- Gappa_real.vo
- Gappa_rewriting.vo
- Gappa_round.vo
- Gappa_round_aux.vo
- Gappa_round_def.vo
- Gappa_tactic.vo
- Gappa_tactic_loader.vo
- Gappa_tree.vo
- Gappa_user.vo
- .coq-native/
- Gappa/
- user-contrib/
- coq-gappa/
- META
- gappatac.cmo
- gappatac.cmxs
- coq/
- ocaml/
- share/
- doc/
- gappalib-coq/
- AUTHORS
- NEWS.md
- README.md
- gappalib-coq/
- licenses/
- gappalib-coq/
- COPYING
- gappalib-coq/
- doc/
- lib/
Sources on Pagure