flocq-source-3.4.0-4.fc34 in Fedora 34

↵ Return to the main page of flocq-source
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> - 3.4.0-4	- Rebuild for coq 8.13.1 and ocaml-zarith 1.12
2021-02-20	Jerry James <loganjerry at gmail dot com> - 3.4.0-3	- Rebuild for coq 8.13.0 - Use native compilation when available
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 3.4.0-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2021-01-01	Jerry James <loganjerry at gmail dot com> - 3.4.0-1	- Version 3.4.0
2020-12-23	Jerry James <loganjerry at gmail dot com> - 3.3.1-9	- Rebuild for coq 8.12.2
2020-12-02	Jerry James <loganjerry at gmail dot com> - 3.3.1-8	- Rebuild for coq 8.12.1
2020-09-25	Jerry James <loganjerry at gmail dot com> - 3.3.1-7	- Flocq is installed in an archful directory, so cannot be noarch - ExcludeArch s390x due to bz 1874879
2020-09-02	Richard W.M. Jones <rjones at redhat dot com> - 3.3.1-6	- OCaml 4.11.1 rebuild
2020-09-01	Jerry James <loganjerry at gmail dot com> - 3.3.1-5	- Rebuild for coq 8.12.0 - Revert to a noarch package
2020-08-22	Richard W.M. Jones <rjones at redhat dot com> - 3.3.1-5	- OCaml 4.11.0 rebuild

Dependencies

flocq = 3.4.0-4.fc34

Provides

flocq-source
flocq-source(x86-64)

Files

usr/
- lib64/
  - ocaml/
    - coq/
      - user-contrib/
        
        Flocq/
        
        Calc/
        
        Bracket.v
        
        Div.v
        
        Operations.v
        
        Round.v
        
        Sqrt.v
        
        Core/
        
        Core.v
        
        Defs.v
        
        Digits.v
        
        FIX.v
        
        FLT.v
        
        FLX.v
        
        FTZ.v
        
        Float_prop.v
        
        Generic_fmt.v
        
        Raux.v
        
        Round_NE.v
        
        Round_pred.v
        
        Ulp.v
        
        Zaux.v
        
        IEEE754/
        
        Binary.v
        
        BinarySingleNaN.v
        
        Bits.v
        
        PrimFloat.v
        
        SpecFloatCompat.v
        
        SpecFloatCopy.v
        
        Pff/
        
        Pff.v
        
        Pff2Flocq.v
        
        Pff2FlocqAux.v
        
        Prop/
        
        Div_sqrt_error.v
        
        Double_rounding.v
        
        Mult_error.v
        
        Plus_error.v
        
        Relative.v
        
        Round_odd.v
        
        Sterbenz.v
        
        Version.v

Sources on Pagure