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

flocq-source-4.2.1-8.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / f

Name: flocq-source Distribution: Fedora Project
Version: 4.2.1 Vendor: Fedora Project
Release: 8.fc44 Build date: Fri Jan 16 17:04:08 2026
Group: Unspecified Build host: buildvm-ppc64le-22.rdu3.fedoraproject.org
Size: 2121440 Source RPM: flocq-4.2.1-8.fc44.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 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 4.2.1-7
  - Reflow the description text
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 4.2.1-6
  - OCaml 5.4.0 rebuild
* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-5
  - Bump and rebuild
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-4
  - Bump and rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-2
  - Rebuild to fix OCaml dependencies
* Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 4.2.1-1
  - Version 4.2.1
* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 4.2.0-5
  - Rebuild for coq 8.20.1
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.0-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 4.2.0-3
  - OCaml 5.3.0 rebuild for Fedora 42
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.2.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 4.2.0-1
  - Version 4.2.0
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 4.1.4-3
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 4.1.4-2
  - OCaml 5.2.0 for Fedora 41
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 4.1.4-1
  - Version 4.1.4
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.3-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_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/PrimFloat.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_8_12.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 25 01:39:42 2026