gappalib-coq-1.5.0-2.fc36 in Fedora Rawhide
↵ 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-11-30 | Jerry James <loganjerry at gmail dot com> - 1.5.0-2 | - Rebuild for coq 8.14.1 |
| 2021-10-21 | Jerry James <loganjerry at gmail dot com> - 1.5.0-1 | - Version 1.5.0 |
| 2021-10-05 | Richard W.M. Jones <rjones at redhat dot com> - 1.4.6-11 | - OCaml 4.13.1 build |
| 2021-10-04 | Richard W.M. Jones <rjones at redhat dot com> - 1.4.6-10 | - Try to build on s390x with OCaml 4.13 |
| 2021-07-30 | Jerry James <loganjerry at gmail dot com> - 1.4.6-9 | - Rebuild for rebuilt coq |
| 2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.4.6-8 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-07-14 | Jerry James <loganjerry at gmail dot com> - 1.4.6-7 | - Rebuild for flocq 3.4.2 |
| 2021-06-08 | Jerry James <loganjerry at gmail dot com> - 1.4.6-6 | - Rebuild for coq 8.13.2 |
| 2021-03-03 | Jerry James <loganjerry at gmail dot com> - 1.4.6-5 | - Rebuild for coq 8.13.1 - Build with ocaml-zarith instead of ocaml-num |
| 2021-03-02 | Richard W.M. Jones <rjones at redhat dot com> - 1.4.6-4 | - OCaml 4.12.0 build |
Dependencies
- coq = 8.14.1
- coq-core = b8e201a8ead94cdd88c7a0e751f8beee
- flocq
- frama-c = 6ca3f6a415982f3506e8d7dea767a77e
- gappa
- glibc
- ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
- ocaml-camlimages = 61ca92100b452100bccb394183dd771b
- ocaml-camlimages-devel = 61ca92100b452100bccb394183dd771b
- ocaml-cil = 61ca92100b452100bccb394183dd771b
- ocaml-cil-devel = 61ca92100b452100bccb394183dd771b
- ocaml-ocp-indent = 61ca92100b452100bccb394183dd771b
- ocaml-ocp-indent-devel = 61ca92100b452100bccb394183dd771b
- ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
- ocaml-zarith = 28893fe4e203824f596139a85cea8961
- ocaml-zarith-devel = 28893fe4e203824f596139a85cea8961
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/
- 1b/
- b25e05e2b8ee10560720ea0707693e3ec58c7a
- 21/
- 36bc718bed2cd50e000c63222e92bdcb5c7d84
- 28/
- 9fb3ceb9f38c8762abdb9ccec77011e33551d1
- 2b/
- 904ca3db3e55559ce91af83677fa046fa65120
- 30/
- 0ea6f6f5eaba49488d23d9f72857df9303e10e
- 32/
- f82ed07041c2580426a1c571b1ce0e1a564c2a
- 43/
- 8b793719481290c678447dce97825ff29e7e21
- f72642d449603bd013261edc97c2ea08d8b0d8
- 5a/
- 4b732d753fb6ca6302e5921e5ca7c545758d50
- 5b/
- dde199cba2a06a12ee62c03d9e8c68458aaa38
- 64/
- 0fe836a1e439a0a816e2094c871320dc454935
- 68/
- 8dba4f96665a266d62ca95ac80ac95cae56af2
- 6c/
- 330b4de3e82e83fc26e1bb04618f0fab753593
- 70/
- 4a8e559ff90b41d9af777a015dbd4b45e2b36a
- 71/
- e4e8bb1597a17c412ea28d92ea2789895fd9ed
- 8d/
- 306b82fe8926a98ef5b9fa9add5e842cb64084
- 93/
- e0b4b8c522ff42941e35f6d2aa9de6786febd5
- c0/
- 7601cd06d6ebe35b40967f80c38694afaef1c7
- df/
- 09dd73c707f9052c7e231ebf15ae68c0de13a0
- e0/
- 24f1802838073bd3724dda16e775093eee47e8
- ea/
- bbb539eeee3bfb702924d33284ae8a461b8108
- fb/
- 1dc2d1df4cc5467e43e89cd525264ee438f87c
- 1b/
- .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