Your message dated Sun, 04 Mar 2012 09:32:18 +0000
with message-id <[email protected]>
and subject line Bug#576335: fixed in cvc3 2.4.1-2
has caused the Debian Bug report #576335,
regarding enable libcvc3-2-jni on kfreebsd-amd64
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
576335: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576335
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cvc3
Version: 2.2-11
Severity: serious
Justification: FTBFS
Hi,
your package FTBFS in various ways, on various archs:
armel:
| Running API test, regress level = 0
|
| test(): {
| Lambda application: (LAMBDA (x: INT): x)(1)
| Simplified: 1
|
| }
| test1(): {
| Query: TRUE
| Valid
|
| Query: FALSE
| Invalid
|
| Query: (p OR NOT p)
| Valid
|
| Query: ((x = y) => (f(x) = f(y)))
| make[2]: *** [regress] Error 1
| make[1]: *** [regress0] Error 2
kfreebsd-amd64:
| Java API test
| *********************************************************
| /usr/bin/make -C java test 2>&1 \
| | tee -a regressions.log; [ ${PIPESTATUS[0]} -eq 0 ]
| make[3]: Entering directory
`/build/buildd-cvc3_2.2-11-kfreebsd-amd64-5_aMGU/cvc3-2.2/java'
| /usr/lib/jvm/default-java/bin/java -d64
-Djava.library.path=../java/lib/x86_64-kfreebsd-gnu -ea -jar
../java/lib/cvc3test.jar
| make[3]: *** [test] Bus error (core dumped)
kfreebsd-i386:
| Query: ((x = y) => (f(x) = f(y)))
| terminate called after throwing an instance of 'std::bad_alloc'
| what(): std::bad_alloc
| make[2]: *** [regress] Error 1
s390:
| Running API test, regress level = 0
|
| test(): {
| Lambda application: (LAMBDA (x: INT): x)(1)
| Simplified: 1
|
| }
| test1(): {
| Query: TRUE
| Valid
|
| Query: FALSE
| Invalid
|
| Query: (p OR NOT p)
| Valid
|
| Query: ((x = y) => (f(x) = f(y)))
| make[2]: *** [regress] Error 1
| make[1]: *** [regress0] Error 2
| make: *** [debian/stamp-makefile-check] Error 2
Full build logs:
https://buildd.debian.org/status/package.php?p=cvc3
Mraw,
KiBi.
--- End Message ---
--- Begin Message ---
Source: cvc3
Source-Version: 2.4.1-2
We believe that the bug you reported is fixed in the latest version of
cvc3, which is due to be installed in the Debian FTP archive:
cvc3-el_2.4.1-2_all.deb
to main/c/cvc3/cvc3-el_2.4.1-2_all.deb
cvc3_2.4.1-2.debian.tar.gz
to main/c/cvc3/cvc3_2.4.1-2.debian.tar.gz
cvc3_2.4.1-2.dsc
to main/c/cvc3/cvc3_2.4.1-2.dsc
cvc3_2.4.1-2_i386.deb
to main/c/cvc3/cvc3_2.4.1-2_i386.deb
cvc3_2.4.1.orig.tar.gz
to main/c/cvc3/cvc3_2.4.1.orig.tar.gz
libcvc3-5-dev_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5-dev_2.4.1-2_i386.deb
libcvc3-5-java_2.4.1-2_all.deb
to main/c/cvc3/libcvc3-5-java_2.4.1-2_all.deb
libcvc3-5-jni_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5-jni_2.4.1-2_i386.deb
libcvc3-5_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5_2.4.1-2_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Christopher L. Conway <[email protected]> (supplier of updated cvc3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 03 Mar 2012 18:00:13 -0500
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-5-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source all i386
Version: 2.4.1-2
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <[email protected]>
Changed-By: Christopher L. Conway <[email protected]>
Description:
cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-dev - Automatic theorem prover library for SMT problems (development
fi
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
Closes: 576335 660244
Changes:
cvc3 (2.4.1-2) unstable; urgency=low
.
* Upgrading to standards version 3.9.3
* Fixing lintian errors
* Fixing upstream tarball
.
cvc3 (2.4.1-1) unstable; urgency=low
.
* New upstream release (Closes: #660244)
* Updating to standards version 3.9.2
* Switching to dpkg-source 3.0 (quilt) format
* Changing default-jdk-builddep build dependency to default-jdk
* Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)
Checksums-Sha1:
8b39125b903df3f4c55f3ef956d97bc1e7fe0208 1477 cvc3_2.4.1-2.dsc
bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
6900a244ae4bbb86d34d55dea88f653265ae3376 16324 cvc3_2.4.1-2.debian.tar.gz
3199afec2e7b7aba4a0995927a6f15fa064e310b 71202 libcvc3-5-java_2.4.1-2_all.deb
67ff68a683d724ffb9f64f346c549e51dcca4132 14276 cvc3-el_2.4.1-2_all.deb
0029160f15aedc1cde3f098ae13cf1b58d41f7ed 24164 cvc3_2.4.1-2_i386.deb
4a4f32bc1290e861ee4a7dbca29eef432b270d6f 2505290 libcvc3-5_2.4.1-2_i386.deb
5e4addf7d5466c5ee45bb9cde2e72a43defc7817 194354 libcvc3-5-dev_2.4.1-2_i386.deb
f07300881fa1dd7e2c4b6cc342ec42ff1d70c2b0 81592 libcvc3-5-jni_2.4.1-2_i386.deb
Checksums-Sha256:
b22c392e68cd4d415413173607a6817880626f9e26da83b09008d627d3ebe2ba 1477
cvc3_2.4.1-2.dsc
d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794
cvc3_2.4.1.orig.tar.gz
49a4d7467b30d854c8de6fb4223668098446e41dfd7283091a981e53f0ab1b8e 16324
cvc3_2.4.1-2.debian.tar.gz
06babde510860acdd661cfb10cbb156f3ff400b75dc47c65ce9f1a828646af82 71202
libcvc3-5-java_2.4.1-2_all.deb
d77a343dfcb1b4b9e429e6cc7f843f77bee828761decaa93292ea9f33a55b73e 14276
cvc3-el_2.4.1-2_all.deb
68df62a96911cce3bcf074d2bb20f4a36f9ed91e12b9f8aadf6159df61a0c1c2 24164
cvc3_2.4.1-2_i386.deb
8b9cbf8278557f9d0ce3566b045c3f3c7fb12a8189bcbc329ea348cea4e8767f 2505290
libcvc3-5_2.4.1-2_i386.deb
5bf56d5b1e842d8fb440d084ef3b7e9102ef0d68dfe6a7f5001226da37f41a7f 194354
libcvc3-5-dev_2.4.1-2_i386.deb
ad9f76a23d76fc6b560cbc570bfbb1b9d3882404ccce2b131ab486857c3f45f8 81592
libcvc3-5-jni_2.4.1-2_i386.deb
Files:
e50fbb449b04b93b8369a55c3504edff 1477 math extra cvc3_2.4.1-2.dsc
29168e0511761f39f4d09277e009d6ab 1175794 math extra cvc3_2.4.1.orig.tar.gz
45d868f50f4ea5597c165aff0b40ddab 16324 math extra cvc3_2.4.1-2.debian.tar.gz
1c900d1f4e05a6bb700121f5ec3889ca 71202 java extra
libcvc3-5-java_2.4.1-2_all.deb
97641a1808a02bbe611a9590451f1d84 14276 math extra cvc3-el_2.4.1-2_all.deb
8ef48d82fb007779740f76b8304c450c 24164 math extra cvc3_2.4.1-2_i386.deb
29e7930558bfc15b916e76563a74fb19 2505290 libs extra libcvc3-5_2.4.1-2_i386.deb
dd88ee3b83c059c5b9134607720f41bf 194354 libdevel extra
libcvc3-5-dev_2.4.1-2_i386.deb
5ed18f650a11fd8a11260422065f4acc 81592 java extra
libcvc3-5-jni_2.4.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9SvyoACgkQvx6dH3bVKsSrLwCfUpuuCMQSDI/K4U72gNcjUeHz
HvEAoNTh1MXLpCuykbeDX0H1RRnPGjCM
=Uqla
-----END PGP SIGNATURE-----
--- End Message ---
