cvc3
Automatic theorem prover for SMT problems

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/cvc3

general

source
cvc3 (source, math)
version
2.4.1-5.1
distro
oldstable
maint
Morgan Deters
arch
any all
std-ver
3.9.5

versions ... ...pool

o-o-stable
save 2.4.1-5
oldstable
save 2.4.1-5.1

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.5.1 instead of 3.9.5).

problems

  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.5.1 and your package only follows 3.9.5...
  • This package is neither part of unstable nor experimental. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it into unstable.
  • There were override disparities found in suite unstable:
    • libcvc3-5: Override says libs - optional, .deb says libs - extra
    • libcvc3-5-java: Override says java - optional, .deb says java - extra
    • cvc3: Override says math - optional, .deb says math - extra
    • libcvc3-dev: Override says libdevel - optional, .deb says libdevel - extra
    • libcvc3-5-jni: Override says java - optional, .deb says java - extra
    • cvc3-el: Override says math - optional, .deb says math - extra

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0