Package: qepcad-B

Upstream info
Summary: Quantifier elimination tool
Description:
URL: https://www.usna.edu/Users/cs/wcbrown/qepcad/B/QEPCAD.html
Owner: jjames
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/qepcad-B
Koschei: https://koschei.fedoraproject.org/package/qepcad-B
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 1.74-8.fc40
f40 base 1.74-8.fc40
f39 base 1.74-6.fc39
f38 base 1.74-5.fc38
f37 base 1.74-4.fc37
f36 base 1.74-3.fc36
f35 base 1.74-2.fc35
f34 testing 1.74-1.fc34
  base 1.74-1.fc34
f33 base 1.72-7.fc33
f32 base 1.72-6.fc32
f31 base 1.72-4.fc31
f30 base 1.72-3.fc30
f29 testing 1.72-1.fc29
  base 1.72-1.fc29
f28 base 1.69-17.fc28
f27 base 1.69-16.fc27
f26 base 1.69-14.fc26
f25 base 1.69-12.fc24
f24 base 1.69-12.fc24
f23 base 1.69-11.fc23
f22 updates 1.69-11.fc22
  base 1.69-8.fc22
f21 base 1.69-7.fc21
f20 updates 1.69-3.fc20