gappalib-coq-1.7.1-4.fc43 in Fedora 43

↵ 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
2025-08-22	Jerry James <loganjerry at gmail dot com> - 1.7.1-4	- Bump and rebuild
2025-08-10	Jerry James <loganjerry at gmail dot com> - 1.7.1-3	- Bump and rebuild
2025-07-23	Fedora Release Engineering <releng at fedoraproject dot org> - 1.7.1-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-12	Jerry James <loganjerry at gmail dot com> - 1.7.1-1	- Version 1.7.1
2025-02-26	Jerry James <loganjerry at gmail dot com> - 1.7.0-1	- Version 1.7.0
2025-02-13	Jerry James <loganjerry at gmail dot com> - 1.6.0-4	- Rebuild for flocq 4.2.1
2025-01-22	Jerry James <loganjerry at gmail dot com> - 1.6.0-3	- Rebuild for coq 8.20.1
2025-01-16	Fedora Release Engineering <releng at fedoraproject dot org> - 1.6.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-16	Jerry James <loganjerry at gmail dot com> - 1.6.0-1	- Version 1.6.0
2025-01-10	Jerry James <loganjerry at gmail dot com> - 1.5.5-6	- OCaml 5.3.0 rebuild for Fedora 42

Dependencies

coq = 8.20.1
coq-core = 5b6162665b6770444ff15619f33a071e
flocq
gappa
glibc
ocaml = aa550bdab521d60e769a9ad43a677e65
ocaml-camlimages = 22d3a326d01eb58fdc66125ae40c7749
ocaml-camlimages-devel = 22d3a326d01eb58fdc66125ae40c7749
ocaml-dyn = c9862cfd4faa268471cdea6849a4ad1b
ocaml-dyn-devel = c9862cfd4faa268471cdea6849a4ad1b
ocaml-extlib = f670a7521a56c084c15bc81aa03ce307
ocaml-extlib-devel = f670a7521a56c084c15bc81aa03ce307
ocaml-ocp-indent = 22d3a326d01eb58fdc66125ae40c7749
ocaml-ocp-indent-devel = 22d3a326d01eb58fdc66125ae40c7749
ocaml-pp = cb19ac72d9188bf01d0db95fb01a4506
ocaml-pp-devel = cb19ac72d9188bf01d0db95fb01a4506
ocaml-runtime = aa550bdab521d60e769a9ad43a677e65
ocaml-zarith = f7619514b131a39933cc9ce06f741304
ocaml-zarith-devel = f7619514b131a39933cc9ce06f741304

Provides

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

Files

usr/
- lib/
  - .build-id/
    - 8d/
      - 83d2e54fcd0f988c19aac2963b838f47cbc682
- 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_lin.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
    - coq-gappa/
      - META
      - gappatac.cmo
      - gappatac.cmxs
- share/
  - doc/
    - gappalib-coq/
      - AUTHORS
      - NEWS.md
      - README.md
  - licenses/
    - gappalib-coq/
      - COPYING

Sources on Pagure