Package: pvs-sbcl

Upstream info
Summary: Interactive theorem prover from SRI
Description:
URL: https://pvs.csl.sri.com/
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/pvs-sbcl
Koschei: https://koschei.fedoraproject.org/package/pvs-sbcl
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
f39 base 7.1-9.fc38
f38 base 7.1-9.fc38
f37 base 7.1-8.fc37
f36 updates 7.1-8.fc36
  base 7.1-7.fc36
f35 base 7.1-5.fc35
f34 base 7.1-3.fc34
f33 updates 7.1-1.fc33
  base 7.0-3.20200818.4cb56e7.fc33
f32 updates 7.0-2.20200527.12652a0.fc32
  base 7.0-1.20200218.a1f7148.fc32
f31 base 6.0-64.fc31
f30 updates 6.0-62.fc30
  base 6.0-61.fc30
f29 base 6.0-59.fc29
f28 updates 6.0-59.fc28
  base 6.0-58.fc28
f27 updates 6.0-54.fc27
  base 6.0-49.fc27
f26 base 6.0-48.fc26
f25 base 6.0-39.fc25
f24 base 6.0-38.fc24
f23 base 6.0-29.fc23
f22 base 6.0-25.fc22
f21 base 6.0-21.fc21
f20 base 6.0-9.fc20
f19 updates 6.0-4.fc19
  base 6.0-3.fc19
f18 updates 5.0-16.fc18
  base 5.0-15.fc18
f17 updates 5.0-10.fc17
  base 5.0-9.fc17
f16 updates 5.0-3.fc16
  base 5.0-2.fc16
f15 base 5.0-1.fc15
f14 base 4.2-6.20100126svn.fc14
F-13 updates 4.2-4.20100126svn.fc13
  base 4.2-3.20100126svn.fc13
F-12 updates 4.2-4.20100126svn.fc12
F-11 updates 4.2-3.20100126svn.fc11