gappalib-coq-1.5.5-5.fc41 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
2024-07-18	Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.5-5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16	Jerry James <loganjerry at gmail dot com> - 1.5.5-4	- Rebuild for ocaml-zarith 1.14
2024-06-19	Richard W.M. Jones <rjones at redhat dot com> - 1.5.5-3	- OCaml 5.2.0 ppc64le fix
2024-05-30	Richard W.M. Jones <rjones at redhat dot com> - 1.5.5-2	- OCaml 5.2.0 for Fedora 41
2024-05-23	Jerry James <loganjerry at gmail dot com> - 1.5.5-1	- Version 1.5.5
2024-02-02	Jerry James <loganjerry at gmail dot com> - 1.5.4-4	- Rebuild for flocq 4.1.4
2024-01-24	Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.4-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.4-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02	Jerry James <loganjerry at gmail dot com> - 1.5.4-1	- Version 1.5.4
2023-12-18	Richard W.M. Jones <rjones at redhat dot com> - 1.5.3-8	- OCaml 5.1.1 + s390x code gen fix for Fedora 40

Dependencies

coq = 8.18.0
coq-core = 63465440e96d81f0213d69061c985ba4
flocq
gappa
glibc
ocaml = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml-camlimages = 8fc9d2a0e25fc1a8bef9b03c8901192b
ocaml-camlimages-devel = 8fc9d2a0e25fc1a8bef9b03c8901192b
ocaml-dyn = dff7f98a38c88f7eb5c1e2ff5ac7e823
ocaml-dyn-devel = dff7f98a38c88f7eb5c1e2ff5ac7e823
ocaml-extlib = 70190aae799d4f65079aaa05bd26a6ec
ocaml-extlib-devel = 70190aae799d4f65079aaa05bd26a6ec
ocaml-ocp-indent = 8fc9d2a0e25fc1a8bef9b03c8901192b
ocaml-ocp-indent-devel = 8fc9d2a0e25fc1a8bef9b03c8901192b
ocaml-pp = 2b296c72b89b91257cc16a104005de5b
ocaml-pp-devel = 2b296c72b89b91257cc16a104005de5b
ocaml-runtime = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml-zarith = 312ffaa81870b7daca9308902c34a77d
ocaml-zarith-devel = 312ffaa81870b7daca9308902c34a77d

Provides

gappalib-coq
gappalib-coq(x86-64)
ocaml(Gappatac)

Files

usr/
- lib/
  - .build-id/
    - bb/
      - e94d79b2430b5151a154e7b5d9c31919a2bf78
- lib64/
  - ocaml/
    - coq/
      - user-contrib/
        
        Gappa/
        
        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-gappa/
      - META
      - gappatac.cmo
      - gappatac.cmxs
- share/
  - doc/
    - gappalib-coq/
      - AUTHORS
      - NEWS.md
      - README.md
  - licenses/
    - gappalib-coq/
      - COPYING

Sources on Pagure