Bug#1034268: cvc5: Please package the python modules
Source: cvc5 Severity: normal X-Debbugs-Cc: celel...@gmail.com Hello, There are two Python API to CVC5. The base API that closely match the C++ one, and the pythonic API. The base API is part of the main repository and should be built automatically with the rest of the code. I guess it could be packaged as a separate python3-cvc5 package with very little effort. The pythonic API is another repository and uses the base API. https://github.com/cvc5/cvc5_pythonic_api I don't think packaging the base API would be too much additional work, since it's from the same source code that produces the packages cvc5, libcvc5-dev, libcvc5-1 and libcvc5parser1. Having the pythonic API would be even better, but not necessary. Best regards, Celelibi -- System Information: Debian Release: 12.0 APT prefers testing APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 'testing-security'), (500, 'testing-debug'), (500, 'stable-debug'), (500, 'unstable'), (500, 'stable'), (1, 'experimental-debug') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.1.0-6-amd64 (SMP w/8 CPU threads; PREEMPT) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_FIRMWARE_WORKAROUND, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled -- no debconf information -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#1007981: cvc4: Consider upgrading to cvc5
Source: cvc4 Version: 1.8-2 Severity: normal Tags: upstream Dear Maintainers, It looks like the upstream CVC4 repository[1] is archived. Suggesting it will no longer be maintained. Is is, however succeeded by cvc5[2] which improves CVC4 in a number of ways. Best regards, Celelibi [1] https://github.com/CVC4/CVC4-archived [2] https://github.com/cvc5/cvc5 -- System Information: Debian Release: bookworm/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 5.9.0-5-amd64 (SMP w/2 CPU threads) Kernel taint flags: TAINT_BAD_PAGE, TAINT_DIE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#978654: python3-cypari2: Depends on cysignals
Package: python3-cypari2 Version: 2.1.2-1+b1 Severity: important Dear Maintainer, The module cypari2 seems to be impossible to import without the module cysignals. Here's the traceback: >>> import cypari2 Traceback (most recent call last): File "", line 1, in File "/usr/lib/python3/dist-packages/cypari2/__init__.py", line 1, in from .pari_instance import Pari File "cypari2/pari_instance.pyx", line 1, in init cypari2.pari_instance File "cypari2/gen.pyx", line 1, in init cypari2.gen File "cypari2/stack.pyx", line 1, in init cypari2.stack ModuleNotFoundError: No module named 'cysignals' Installing python3-cysignals-bare or python3-cysignals-pari fixes it. Therefore, I would suggest adding a dependency to 'python3-cysignal-bare | python3-cysignals-pari'. Best regards, Celelibi -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 5.8.0-3-amd64 (SMP w/8 CPU threads) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_FIRMWARE_WORKAROUND, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages python3-cypari2 depends on: ii libc6 2.31-6 ii libpari-gmp-tls7 2.13.0-2 ii python3 3.9.0-4 python3-cypari2 recommends no packages. python3-cypari2 suggests no packages. -- no debconf information -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#961062: libmkl-rt: libmkl_rt.so should dlopen libiomp5.so with flag RTLD_GLOBAL
Package: libmkl-rt
Version: 2020.1.217-2
Severity: normal
Dear Maintainer,
The library libmkl_rt.so seems to load libiomp5.so dynamically with a
call to dlopen that probably looks more-or-less like this:
dlopen("/usr/lib/x86_64-linux-gnu/libiomp5.so", RTLD_LAZY|RTLD_GLOBAL);
The use of the flag RTLD_GLOBAL place this library in the global scope
for the run-time symbol resolution.
This libiomp5 is provided by llvm and appear to try to be ABI-compatible
with the libgomp provided by gcc by defining the same symbols.
This may cause an issue when another library was linked against a
different version of libgomp. Some symbols might end up being
dynamically linked to libiomp5 and others to libgomp.
This happens in practice right now since for some OpenMP directives,
gcc-9 now generate calls to GOMP_loop_nonmonotonic_dynamic_next that
were calls to GOMP_loop_dynamic_next with gcc-8. Therefore, a library
compiled with gcc-9 and linked against libgomp would, at run time, have
its older symbols bound to libiomp5 while the newer would be bound to
the newer version of libgomp.
I guess the right thing to do fix this would be to not pollute the
global scope and always load libiomp5.so without the flag RTLD_GLOBAL.
Best regards,
Celelibi
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 5.6.0-1-amd64 (SMP w/8 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_FIRMWARE_WORKAROUND,
TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8),
LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages libmkl-rt depends on:
ii debconf [debconf-2.0] 1.5.74
ii libatlas3-base [liblapack.so.3]3.10.3-9
ii libblas3 [libblas.so.3]3.9.0-2
ii libc6 2.30-4
ii libgcc-5-dev 5.5.0-12
ii libgcc-6-dev 6.5.0-1
ii libgcc-7-dev 7.5.0-5
ii libgcc-8-dev 8.4.0-3
ii liblapack3 [liblapack.so.3]3.9.0-2
ii libmkl-locale 2020.1.217-2
ii libmkl-meta-computational 2020.1.217-2
ii libmkl-meta-interface 2020.1.217-2
ii libmkl-meta-threading 2020.1.217-2
ii libomp-7-dev 1:7.0.1-12
ii libopenblas0-pthread [liblapack.so.3] 0.3.9+ds-1
libmkl-rt recommends no packages.
libmkl-rt suggests no packages.
-- debconf information:
* libmkl-rt/use-as-default-blas-lapack: true
* libmkl-rt/exact-so-3-selections: libblas.so.3, liblapack.so.3,
libblas64.so.3, liblapack64.so.3,
libmkl-rt/title:
--
debian-science-maintainers mailing list
debian-science-maintainers@alioth-lists.debian.net
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#958335: python3-caffe-cuda: No longer installable, please upgrade
Package: python3-caffe-cuda Version: 1.0.0+git20180821.99bd997-2+b1 Severity: grave Justification: renders package unusable Dear Maintainer, python3-caffe-cuda is uninstallable because of its dependencies. Both direct and indirect. It depends on python3 << 3.8. While Python 3.8 is now the default version. There seem to be similar issues with the other dependencies. Best regards, Celelibi -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 5.5.0-1-amd64 (SMP w/8 CPU cores) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_FIRMWARE_WORKAROUND, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages python3-caffe-cuda depends on: ii cython3 0.29.14-1 ii libboost-python1.67.0 1.67.0-17 ii libboost-system1.67.0 1.67.0-17 ii libc6 2.30-4 pn libcaffe-cuda1 ii libgcc-s1 [libgcc1] 10-20200411-1 ii libgcc1 1:10-20200411-1 ii libgoogle-glog0v5 0.4.0-1 pn libprotobuf17 pn libpython3.7 ii libstdc++6 10-20200411-1 ii python3 3.8.2-3 ii python3-dateutil2.7.3-3 ii python3-gflags 1.5.1-7 ii python3-h5py2.10.0-2+b1 ii python3-ipython 7.13.0-1 pn python3-leveldb ii python3-matplotlib 3.1.2-2 ii python3-networkx2.4-3 ii python3-nose1.3.7-5 ii python3-numpy [python3-numpy-abi9] 1:1.17.4-5 ii python3-pandas 0.25.3+dfsg-9 ii python3-pil 6.2.1-2+b1 ii python3-protobuf3.11.4-4 ii python3-scipy 1.3.3-3+b1 ii python3-six 1.14.0-2 ii python3-skimage 0.16.2-2 ii python3-yaml5.3.1-1+b1 python3-caffe-cuda recommends no packages. python3-caffe-cuda suggests no packages. -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
Bug#954895: cryptominisat: Uninstallable because of outdated dependencies
Source: cryptominisat Version: 5.6.4+dfsg.1-1+b3 Severity: grave Justification: renders package unusable Dear Maintainer, Although the library and development files can be installed just fine, the command line tool cannot. The package cryptominisat depends on libboost-program-options1.62.0 which doesn't exist anymore. Would it be possible to provide a package compiled against a newer version? Best regards, Celelibi -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 5.4.0-4-amd64 (SMP w/8 CPU cores) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
