alt-ergo-2.3.3-17.fc40 in Fedora Rawhide

↵ Return to the main page of alt-ergo
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2024-02-02	Jerry James <loganjerry at gmail dot com> - 2.3.3-17	- Rebuild for changed ocamlx(Dynlink) hash
2024-01-22	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-16	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-15	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02	Jerry James <loganjerry at gmail dot com> - 2.3.3-14	- Rebuild for ocaml-num and ocaml-menhir 20231231
2023-12-18	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-13	- OCaml 5.1.1 + s390x code gen fix for Fedora 40
2023-12-12	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-12	- OCaml 5.1.1 rebuild for Fedora 40
2023-10-05	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-11	- OCaml 5.1 rebuild for Fedora 40
2023-07-27	Jerry James <loganjerry at gmail dot com> - 2.3.3-10	- Rebuild for ocaml-zarith 1.13
2023-07-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-9	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Jerry James <loganjerry at gmail dot com> - 2.3.3-8	- Validate appdata with appstream-util

Dependencies

glibc
gmp
ocaml = 2125f26b831153c92a44f06bfde570ae
ocaml-alt-ergo-lib = 0e871f6172efcb5b6d8f9413cbf1bc1b
ocaml-alt-ergo-lib-devel = 0e871f6172efcb5b6d8f9413cbf1bc1b
ocaml-alt-ergo-parsers = 45c58085a36e930a3ae53aebbb36c29c
ocaml-alt-ergo-parsers-devel = 45c58085a36e930a3ae53aebbb36c29c
ocaml-menhirlib = b76671f09c15142ebeaf64c01adb1ce8
ocaml-menhirlib-devel = b76671f09c15142ebeaf64c01adb1ce8
ocaml-num = 7414145e70a150c6b9a709d7f811e8cf
ocaml-num-devel = 7414145e70a150c6b9a709d7f811e8cf
ocaml-runtime = 2125f26b831153c92a44f06bfde570ae
zlib-ng-compat

Provides

alt-ergo
alt-ergo(x86-64)
ocaml(ABWhy3Plugin)
ocaml(ABWhy3Plugin__Why3_lexer)
ocaml(ABWhy3Plugin__Why3_loc)
ocaml(ABWhy3Plugin__Why3_parser)
ocaml(ABWhy3Plugin__Why3_ptree)
ocaml(FmSimplexPlugin)
ocaml(FmSimplexPlugin__FmSimplexIneqs)
ocaml(FmSimplexPlugin__Simplex)
ocaml(FmSimplexPlugin__Simplex_cache)

Files

usr/
- bin/
  - alt-ergo
- lib/
  - .build-id/
    - 76/
      - b093a5abe10afcf2cebdfcf1199a396eaabd5e
- lib64/
  - ocaml/
    - alt-ergo/
      - META
      - dune-package
      - opam
      - plugins/
        
        AB-Why3-plugin.cma
        
        AB-Why3-plugin.cmxs
        
        fm-simplex-plugin.cma
        
        fm-simplex-plugin.cmxs
      - preludes/
        
        b-set-theory-prelude-2018-09-28.ae
        
        fpa-theory-2017-01-04-16h00.why
    - alt-ergo-free/
      - META
      - dune-package
      - opam
- share/
  - doc/
    - alt-ergo/
      - Alt-Ergo--Atelier-B--RSSR-2016.pdf
      - Alt-Ergo-2.2--SMT-Workshop-2018.pdf
      - CHANGES
      - README.md
      - examples/
        
        AB-Why3-plugin/
        
        p4_34.why
        
        invalid/
        
        arith1.why
        
        arith2.why
        
        arrays.why
        
        bitv.why
        
        lib_usage.ml
        
        valid/
        
        ac_arith.why
        
        arith1.why
        
        arith2.why
        
        arith3.why
        
        arith4.why
        
        arrays.why
        
        bitv.why
        
        congruence.why
        
        enum_arrays.why
        
        quantifiers.why
  - man/
    - man1/
      - alt-ergo.1.gz

Sources on Pagure