gappalib-coq-1.4.6-4.fc34 in Fedora 34
↵ 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 |
|---|---|---|
| 2021-03-03 | Jerry James <loganjerry at gmail dot com> - 1.4.6-4 | - Rebuild for coq 8.13.1 - Build with ocaml-zarith instead of ocaml-num |
| 2021-02-20 | Jerry James <loganjerry at gmail dot com> - 1.4.6-3 | - Rebuild for coq 8.13.0 |
| 2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.4.6-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2021-01-04 | Jerry James <loganjerry at gmail dot com> - 1.4.6-1 | - Version 1.4.6 |
| 2021-01-02 | Jerry James <loganjerry at gmail dot com> - 1.4.4-9 | - Rebuild for flocq 3.4.0 |
| 2020-12-23 | Jerry James <loganjerry at gmail dot com> - 1.4.4-8 | - Rebuild for coq 8.12.2 |
| 2020-12-02 | Jerry James <loganjerry at gmail dot com> - 1.4.4-7 | - Rebuild for coq 8.12.1 |
| 2020-09-25 | Jerry James <loganjerry at gmail dot com> - 1.4.4-6 | - Rebuild due to flocq rebuild - The source subpackage cannot be noarch due to its install location |
| 2020-09-02 | Richard W.M. Jones <rjones at redhat dot com> - 1.4.4-5 | - OCaml 4.11.1 rebuild |
| 2020-09-01 | Jerry James <loganjerry at gmail dot com> - 1.4.4-4 | - Rebuild for coq 8.12.0 - Set BuildArch to noarch for the source subpackage |
Dependencies
- coq = 8.13.1
- flocq
- frama-c = 12143180543651326b448f313f5d6be9
- gappa
- glibc
- ocaml = 3a3ca1838627f7762f49679ce0278ad1
- ocaml-camlimages = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-camlimages-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-cil = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-cil-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-extlib = 0c3f559196e0bf6def393093c939c361
- ocaml-extlib-devel = 0c3f559196e0bf6def393093c939c361
- ocaml-labltk = 7d2f1744f9491e662aa9c413956b9852
- ocaml-labltk-devel = 7d2f1744f9491e662aa9c413956b9852
- ocaml-ocp-indent = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-ocp-indent-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-runtime = 3a3ca1838627f7762f49679ce0278ad1
- ocaml-tplib = e6d191b089c68976347fa6524bb28048
- ocaml-zarith = a8edc903bc08896b90cbc7e2b8cc6262
- ocaml-zarith-devel = a8edc903bc08896b90cbc7e2b8cc6262
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_tree)
- ocaml(NGappa_Gappa_user)
- ocamlx(Gappatac)
- 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_tree)
- ocamlx(NGappa_Gappa_user)
Files
- usr/
- lib/
- .build-id/
- 0c/
- c47775748b77d5ea3887146549e1ab703f2c45
- 2f/
- cf9b9c39518592cb3ec725ab155988725a4243
- 42/
- e8eba6ec5463a4d8bce553125aea84591c7afa
- 45/
- e483c8a4da497bf72638bd346addbbb6d1fb0d
- 48/
- 8e8f0fcac3364cda52658362004be963b67a5a
- 58/
- 8aa28e191228fcde82cf354224168115ccb569
- 5c/
- f43b912673e44b21d66c22f92a1fa7d9d8176e
- 66/
- 4e238817ac39555f64d6622ba305df88251490
- 6d/
- eae5050cfd98d75ea914a97d0047790f7e4b0c
- 77/
- 1e29891b6b25cbb1afebbf3a611d5ccbcada84
- 79/
- 59cbff37576c10dd0799066fbd918070543dd4
- 94/
- ecf73899a1070e450c560ed95201e688367861
- 96/
- e0f231602a59473180267602ef87ec497506b6
- 97/
- 9375b884a0972ceac33f53e0b030de4d6245ef
- ab6094d1eadcaa352ced72623474807f1fe9ff
- 9c/
- fdb5ddb44b2658666acccf6c6ff8c3b6ad8843
- a8/
- c3c68dcec248738cc68adee1bd4ffb3a5f05c2
- eb2e54148b36f2fb3c0a63489ede9b97f433af
- aa/
- 98632084121b20d11923b527f56406e290301d
- b7/
- 2ed13f171a1bac9b476a275b7beced9214159b
- c0/
- da19adc9889130ccabca5fd512de1e9302b2f3
- ca/
- a7f67cf60e4acb7907bd04bdcf985a65377f5b
- 0c/
- .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_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_tree.vo
- Gappa_user.vo
- gappatac.cmo
- gappatac.cmxs
- .coq-native/
- Gappa/
- user-contrib/
- coq/
- ocaml/
- share/
- doc/
- gappalib-coq/
- AUTHORS
- NEWS.md
- README.md
- gappalib-coq/
- licenses/
- gappalib-coq/
- COPYING
- gappalib-coq/
- doc/
- lib/
Sources on Pagure