You are here:

Package: why3

Upstream info
Summary: Software verification platform
Description:
URL: https://why3.lri.fr/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/why3
Koschei: https://koschei.fedoraproject.org/package/why3
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 1.7.2-1.fc41
f40 updates 1.7.2-1.fc40
  base 1.7.1-2.fc40
f39 updates 1.7.2-1.fc39
  base 1.6.0-6.fc39
f38 updates 1.5.1-8.fc38
  base 1.5.1-6.fc38
f37 updates 1.5.1-3.fc37
  base 1.5.1-1.fc37
f36 updates 1.4.1-3.fc36
  base 1.4.1-2.fc36
f35 updates 1.4.0-4.fc35
  base 1.4.0-3.fc35
f34 updates 1.4.0-1.fc34
  base 1.3.3-7.fc34
f33 updates 1.3.3-4.fc33
  base 1.3.3-1.fc33
f32 updates 1.3.1-6.fc32
  base 1.3.1-1.fc32
f31 updates 1.2.1-3.fc31
  base 1.2.0-5.fc31
f30 base 1.1.1-2.fc30
f29 base 0.88.3-1.fc28
f28 base 0.88.3-1.fc28
f27 base 0.88.0-1.fc27
f26 base 0.87.3-3.fc26
f25 updates 0.87.3-1.fc25
  base 0.87.2-2.fc25
f24 updates 0.87.2-1.fc24
  base 0.87.0-3.fc24
f23 updates 0.86.2-2.fc23
  base 0.86.1-2.fc23
f22 updates 0.86.1-1.fc22
  base 0.85-9.fc22
f21 base 0.85-4.fc21
f20 updates 0.83-6.fc20
  base 0.81-4.fc20
f19 updates 0.81-3.fc19
  base 0.81-2.fc19
f18 updates 0.73-4.fc18
  base 0.73-2.fc18
f17 base 0.71-2.fc17
f16 updates 0.71-2.fc16