gappalib-coq-1.5.3-2.fc38 in Fedora 38
↵ 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 |
|---|---|---|
| 2023-10-18 | Jerry James <loganjerry at gmail dot com> - 1.5.3-2 | - Rebuild for coq 8.17.1 |
| 2023-04-01 | Jerry James <loganjerry at gmail dot com> - 1.5.3-1 | - Version 1.5.3 |
| 2023-01-24 | Richard W.M. Jones <rjones at redhat dot com> - 1.5.2-7 | - Rebuild OCaml packages for F38 |
| 2023-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.2-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
| 2022-11-26 | Jerry James <loganjerry at gmail dot com> - 1.5.2-5 | - Rebuild for coq 8.16.1 |
| 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 |
Dependencies
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/
- 02/
- ee1747750199833a19be0a05bd48cbefbaa298
- 1e/
- 6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf
- 1f/
- 9ca80c20c523c649d2c22e59b44896fc5c0384
- 22/
- 90afdaea1407b3f0eacb6fe1b43991bc40f2e2
- 2c/
- 26e108136a04f58a0f87a0ad7cb971d70bbfe3
- 49/
- cbf03e8dce42edd2c6d78bd2b579f42e5de704
- 4e/
- 62cab3cdea19b3fbea280f9a8ca6b870a4e5b1
- 58/
- b64a618cefc09cd7c2e6eb9f651810f74e8f1c
- 5a/
- 3a78b86902601a7e45d96f6d90edaa2b511a31
- a27920574461dc08c2563e8a02a788eb9a0fb7
- 6c/
- 1ce447b7c1dc4afb069da166130326458e03cd
- 8c/
- de602c8e912233dfd8890d0cd61a3fb1a60aec
- 95/
- e0182d14b5602fb857ff050c68b067f88917b8
- 9c/
- 030ea622102caa71988520023f696745c1a3af
- a1/
- 7dbfc34c63ac1b0b4b5874af7e8d2db6252219
- a2/
- 58193983761ca22fd7a9c013f2d7e5825763dc
- c1/
- 43afdb7f4f7bdb4134b2696da9ab6394ef1c75
- d3/
- 5145ba840394fc3cb1b4ab7fcf4b97151bcecd
- d4/
- 20dd7d774af802b0472606f35752da29b5250f
- e0/
- b0243e3d9322bdcb8f0a66be44c5aadf13d9d5
- e7/
- 29a31327298aad7fc86ea55e4570efc4fe00af
- e9/
- 54d71ecccda5f4ca373ea918534120ef8379a1
- ff/
- 65b492739b4d594a0717e4c75f38581199f72b
- 02/
- .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