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-5.fc42 RPM for x86_64

From Fedora Rawhide for x86_64 / f

Name: flocq-source Distribution: Fedora Project
Version: 4.2.0 Vendor: Fedora Project
Release: 5.fc42 Build date: Wed Jan 22 23:24:58 2025
Group: Unspecified Build host: buildvm-x86-28.iad2.fedoraproject.org
Size: 2135903 Source RPM: flocq-4.2.0-5.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

* 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
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 4.1.3-1
  - Version 4.1.3
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-8
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-7
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-6
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-5
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.1.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.1-3
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-2
  - OCaml 5.0.0 rebuild
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 4.1.1-1
  - Version 4.1.1
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-5
  - Bump release and rebuild
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 4.1.0-4
  - Rebuild OCaml packages for F38

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 26 23:45:09 2025