Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

flocq-source-4.2.0-3.fc42 RPM for aarch64

From Fedora Rawhide for aarch64 / f

Name: flocq-source Distribution: Fedora Project
Version: 4.2.0 Vendor: Fedora Project
Release: 3.fc42 Build date: Fri Jan 10 17:10:24 2025
Group: Unspecified Build host: buildhw-a64-06.iad2.fedoraproject.org
Size: 2135903 Source RPM: flocq-4.2.0-3.fc42.src.rpm
Packager: Fedora Project
Url: https://flocq.gitlabpages.inria.fr/
Summary: Source Coq files
 
This package contains the source Coq files for flocq.  These files are
not needed to use flocq.  They are made available for informational
purposes.

Provides

Requires

License

LGPL-3.0-or-later

Changelog

* Fri Jan 10 2025 Jerry James <[email protected]> - 4.2.0-3
  - OCaml 5.3.0 rebuild for Fedora 42
* Wed Jul 17 2024 Fedora Release Engineering <[email protected]> - 4.2.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <[email protected]> - 4.2.0-1
  - Version 4.2.0
* Wed Jun 19 2024 Richard W.M. Jones <[email protected]> - 4.1.4-3
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <[email protected]> - 4.1.4-2
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <[email protected]> - 4.1.4-1
  - Version 4.1.4
* Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 4.1.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <[email protected]> - 4.1.3-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <[email protected]> - 4.1.3-1
  - Version 4.1.3
* Mon Dec 18 2023 Richard W.M. Jones <[email protected]> - 4.1.1-8
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <[email protected]> - 4.1.1-7
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <[email protected]> - 4.1.1-6
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <[email protected]> - 4.1.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 4.1.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <[email protected]> - 4.1.1-3
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <[email protected]> - 4.1.1-2
  - OCaml 5.0.0 rebuild
* Sat Apr 01 2023 Jerry James <[email protected]> - 4.1.1-1
  - Version 4.1.1
* Tue Jan 24 2023 Richard W.M. Jones <[email protected]> - 4.1.0-5
  - Bump release and rebuild
* Tue Jan 24 2023 Richard W.M. Jones <[email protected]> - 4.1.0-4
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 4.1.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Jan 19 00:29:32 2025