Package: flocq

Upstream info
Summary: Formalization of floating point numbers for Coq
Description:
URL: https://gitlab.inria.fr/flocq/flocq
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/flocq
Koschei: https://koschei.fedoraproject.org/package/flocq
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 4.1.4-1.fc40
f40 base 4.1.4-1.fc40
f39 updates 4.1.3-1.fc39
  base 4.1.1-5.fc39
f38 updates 4.1.1-2.fc38
  base 4.1.0-5.fc38
f37 updates 4.1.0-2.fc37
  base 4.1.0-1.fc37
f36 updates 3.4.3-3.fc36
  base 3.4.3-2.fc36
f35 updates 3.4.2-4.fc35
  base 3.4.2-3.fc35
f34 updates 3.4.2-1.fc34
  base 3.4.0-4.fc34
f33 updates 3.4.0-1.fc33
  base 3.3.1-7.fc33
f32 updates 3.3.1-1.fc32
  base 3.2.0-6.fc32
f31 updates 3.2.0-2.fc31
  base 3.2.0-1.fc31
f30 base 3.0.0-2.fc30
f29 base 2.6.0-9.fc29
f28 base 2.6.0-6.fc28
f27 base 2.6.0-1.fc27
f26 base 2.5.2-6.fc26
f25 updates 2.5.2-4.fc25
  base 2.5.2-1.fc25
f24 updates 2.5.1-3.fc24
  base 2.5.1-2.fc24
f23 updates 2.5.0-1.fc23
  base 2.4.0-10.fc23
f22 base 2.4.0-7.fc22
f21 base 2.4.0-3.fc21
f20 updates 2.3.0-2.fc20
  base 2.2.0-1.fc20
f19 base 2.1.0-5.fc19
f18 updates 2.1.0-3.fc18
  base 2.1.0-2.fc18
f17 base 2.0.0-3.fc17
f16 updates 2.0.0-1.fc16