sci-mathematics

Bug Reports

• sci-mathematics/gambit-0.97.0.6.ebuild (New Package)

  47670 - Assigned to Default Assignee for New Packages
• sci-mathematics/oommf ITL/NIST MicroMagnetic Framework

  114087 - Assigned to Default Assignee for New Packages
• sci-mathematics/alberta - new ebuild

  131822 - Assigned to Default Assignee for New Packages
• sci-mathematics/pest: new package for parameter estimation

  147022 - Assigned to Default Assignee for New Packages
• sci-mathematics/sage (new ebuild)

  201321 - Assigned to Default Assignee for New Packages
• sci-mathematics/cplex-bin-11.2.1 (new ebuild)

  273457 - Assigned to Default Assignee for New Packages
• sci-mathematics/calc fails to build with parallel make

  299224 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/nusvm-2.3.1 +minisat doesn't compile

  347836 - Assigned to Robin Johnson
• sci-mathematics/giza++ - statistical language translation model toolkit

  501654 - Assigned to Default Assignee for New Packages
• sci-mathematics/ssreflect-1.5 - The Ssreflect extension for the Coq Proof Assistant

  505472 - Assigned to Default Assignee for New Packages
• sci-mathematics/mathcomp-1.5 - The Mathematical Components Library for Ssreflect

  505496 - Assigned to Default Assignee for New Packages
• sci-mathematics/soplex-2.0.0 - a Linear Programming (LP) solver based on the revised simplex algorithm

  524636 - Assigned to Default Assignee for New Packages
• sci-mathematics/scip-3.1.0 - a solver for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP)

  524732 - Assigned to Default Assignee for New Packages
• sci-mathematics/unuran-1.8.1 : !!! Unable to set SELinux security labels

  579410 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/mathmod-4.1-r1 : gl_viewer/glviewer.cpp:235:19: error: ‘GL_LINE_SMOOTH’ was not declared in this scope

  589308 - Assigned to Andrey Grozin
• sci-mathematics/msieve-1.51 : /.../ld: cannot find -lgomp

  591234 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/yafu-1.34.3 : factor/.../sieve_macros_32k.h:68:2: error: asm operand has impossible constraints

  638764 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/minisat-2.2.0-r4 is not honoring rules in template.mk to exclude Main.o* when creating libminisat.a

  667976 - Assigned to Gentoo Science Related Packages
• sci-mathematics/netgen - Automatic 3d tetrahedal mesh generator

  688120 - Assigned to Default Assignee for New Packages
• sci-mathematics/minisat-2.2.0-r4: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition

  698566 - Assigned to Gentoo Science Related Packages
• sci-mathematics/calc-2.13.0.1 : fposval.h: error: FPOS_POS_LEN undeclared (first use in this function)

  717694 - Assigned to Gentoo musl team
• sci-mathematics/form-4.3.1 installs pre-stripped files

  725544 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/form-4.3.1 does not respect LDFLAGS

  725560 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/petsc-3.16.0 calls ar directly

  725626 - Assigned to Matthias Maier
• sci-mathematics/gsl-shell calls cc directly

  725628 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/prover9-2009.11a-r1 does not respect LDFLAGS

  728030 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/fricas-1.3.11-r3 does not respect CFLAGS/LDFLAGS

  728048 - Assigned to Andrey Grozin
• sci-mathematics/wxmaxima-23.08.0 fails tests

  736695 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yacas-1.9.1 fails to compile: Could NOT find GTest

  741586 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/sfcgal - New Package request

  750242 - Assigned to Default Assignee for New Packages
• sci-mathematics/rstudio: restore package

  766294 - Assigned to Default Assignee for New Packages
• sci-mathematics/cgal-5.2 - /.../camera.h: error: QOpenGLFunctions_2_1 does not name a type

  771588 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yafu-1.34.3-r1 calls cc directly

  774099 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/fann-2.2.0-r1 fails tests

  775590 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/dsfmt-2.2.4 fails tests

  780933 - Assigned to Gentoo Science Related Packages
• sci-mathematics/calc-2.13.0.1 calls gcc(?) directly

  786639 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/maxima-5.45.0[sbcl]: Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

  792480 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/geogebra-bin: support openjdk-bin

  794922 - Assigned to Java team
• sci-mathematics/maxima-5.45.0 QA Notice: Pre-stripped files found

  795816 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gsl-shell-2.3.0_beta1-r1 - file collision with dev-haskell/yaml-0.11.5.0

  806346 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/4ti2-1.6.7-r1 does not respect CFLAGS

  810323 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/verit-2021.06.2 - src/.../veriT-qsort.c: fatal error: sys/cdefs.h: No such file or directory

  830052 - Assigned to Gentoo musl team
• sci-mathematics/num-utils-0.5-r2 - sandbox issue

  830053 - Assigned to Gentoo musl team
• sci-mathematics/z3-4.8.14 - CMake Error at .../FindPackageHandleStandardArgs.cmake:230 (message):

  830582 - Assigned to Michał Górny
• sci-mathematics/dataplot-20131220 fails to compile: ld.lld: error: cant create dynamic relocation R_X86_64_32 against local symbol in readonly segment; recompile object files with -fPIC or pass -Wl,-z,notext to allow text relocations in the output

  831865 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl-2021d fails to compile: ld.lld: error: libgretl-1.0.so: undefined reference to dsyrk_ [--no-allow-shlib-undefined]

  831866 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl-2021d fails to compile: matrix_extra.c:2716:21: error: M_SQRT2 undeclared (first use in this function)

  832813 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/cgal-5.2.2-r1 - /.../qglviewer_impl.h: error: GL_VERTEX_PROGRAM_POINT_SIZE was not declared in this scope

  833004 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gsl-shell-2.3.2 calls ar directly

  834485 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-8.15.0-r2 - Fatal error: exception Stack overflow

  835583 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yacas-1.9.1-r1 - One or more CMake variables were not used by the project:

  835626 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-serapi-0.15.0-r1 - :(.text+<snip>): undefined reference to camlCmdliner_entry

  839102 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gsl-shell-2.3.2 - vm_x86.dasc:437: error: bad integer number -8:

  840113 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/z3-4.8.16 - CMake Error at .../FindJava.cmake:171 (message):

  842615 - Assigned to Michał Górny
• sci-mathematics/petsc-3.17.1 installs more files with FEATURES=test

  847634 - Assigned to Matthias Maier
• sci-mathematics/slepc-3.17.1 installs more files with FEATURES=test

  847637 - Assigned to Matthias Maier
• sci-mathematics/petsc-3.17.1 provide petsc4py

  847922 - Assigned to Matthias Maier
• sci-mathematics/pspp-1.6.2-r2 fails to compile: texi2dvi: texinfo.tex appears to be broken

  850391 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/fann-2.2.0-r1 installs pkg-config files that do not respect libdir

  863050 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/mathomatic-16.0.5-r1 - /.../install: cannot stat .pdf: No such file or directory

  863584 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/genius-1.0.27 - gtkpsfont.c: fatal error: gtk/gtk.h: No such file or directory

  863659 - Assigned to Gentoo Science Related Packages
• sci-mathematics/twelf-1.7.1-r2:0/1.7.1 - /.../mlton:line <snip>: .../mlton-compile: No such file or directory

  868006 - Assigned to Gentoo musl team
• sci-mathematics/dataplot-20131220:0 - gl_src.c: error: type of title defaults to int [-Werror=implicit-int]

  870490 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/prover9-2009.11a - select.c: error: parameter max_constrained was not declared, defaults

  871261 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/nestedsums-1.5.2-r1 calls commands that do not exist: latex

  873592 - Assigned to Andrey Grozin
• sci-mathematics/pspp-1.6.2 fails tests (MUSL)

  873613 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/maxima-5.46.0 - sandbox issue

  878311 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yafu-1.34.3-r1 - /.../ld: cannot find -lgomp: No such file or directory

  878521 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/alectryon-1.4.0-r2 [doc] fails to compile - AssertionError

  879169 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - ./alloc.h: error: unknown type name E_FUNC

  881137 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/prover9-2009.11a - /.../cp: cannot stat mace4: No such file or directory

  881475 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl has incorrect LICENSE

  881597 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/jags: configure breakage with Clang 16 (uses outdated dev-lang/R R.m4 macro)

  882443 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - make[1]: No rule to make target ../have_memmv.h, needed by c_help.o. Stop.

  882671 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - make[1]: No rule to make target ../endian_calc.h, needed by c_register.o. Stop.

  882673 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - make[1]: No rule to make target ../longbits.h, needed by c_help.o. Stop.

  882687 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/frobby-0.9.0-r3 - mkdir: cannot create directory bin/: File exists

  883213 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl-2021d - /.../sh:line <snip>: .deps/pdtr.d: No such file or directory

  883283 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/frobby-0.9.0-r3 - make: No rule to make target .../frobby. Stop.

  883397 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - /.../ld: cannot find -lcustcalc: No such file or directory

  883737 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/picosat-965 fails to compile: picomcs.c:(.text.startup+0x4ad): undefined reference to picosat_init

  884531 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/picosat-965 fails to compile (MUSL-SYSTEM): picosat.c:8150:10: fatal error: unistd.h: No such file or directory

  884867 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gmm-5.4.2 overwrites user's optimization (-O*)

  886443 - Assigned to Amy Liffey
• sci-mathematics/prover9-2009.11a-r1 fails to compile (CLANG-STRICTER-SYSTEM): select.c:236:44: error: parameter max_constrained was not declared, defaults to int; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int]

  886597 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/libpoly-0.1.11 fails to compile (CLANG-STRICTER-SYSTEM): factorization.c:1269:7: error: variable enabled_count set but not used [-Werror,-Wunused-but-set-variable]

  887129 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/prover9-2009.11a - /.../ld: cannot find index_lits.o: No such file or directory

  887409 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/petsc-3.18.2 fails tests: Possible error running C++ ex19 with 1 MPI process

  888731 - Assigned to Matthias Maier
• sci-mathematics/slepc-3.18.1 fails tests

  888733 - Assigned to Matthias Maier
• sci-mathematics/petsc-3.18.2 - econf failed

  890074 - Assigned to Matthias Maier
• sci-mathematics/ent-1.4 version bump

  891243 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-serapi-0.16.2-r1 fails to compile

  892235 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gsl-shell-2.3.4: version bump

  893426 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/bertini-1.6 - emake failed

  894230 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/stp-2.3.3-r2 help2man: can't get `--help' info from /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp

  895770 - Assigned to Gentoo musl team
• sci-mathematics/4ti2-1.6.7-r1 fails tests (HARDENED-SYSTEM): Assertion __n < this->size() failed

  897780 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/geomview-1.9.5-r1 has implicit function declarations in configure logs

  898266 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl-2021d fails to compile (MUSL-CLANG-SYSTEM): csvdata.c:2167:12: error: call to undeclared function strptime; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]

  898302 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/petsc-3.18.2 fails to compile (MUSL-CLANG-SYSTEM): gmake[3]: No rule to make target w

  898416 - Assigned to Matthias Maier
• sci-mathematics/petsc-3.18.2 - gmake[3]: No rule to make target w. Stop.

  898476 - Assigned to Matthias Maier
• sci-mathematics/z3-4.12.1 - -- Configuring incomplete, errors occurred!

  904398 - Assigned to Michał Górny
• sci-mathematics/why3-1.6.0 - Error: Cannot load ppx_sexp_conv: this object file uses unsafe features

  906225 - Assigned to François-Xavier Carton
• sci-mathematics/libpoly-0.1.11 - mv: cannot move .../lib to a subdirectory of itself, /var/tmp/portage/sci-mathematics/libpoly-0.1

  907036 - Assigned to Gentoo musl team
• >=sci-mathematics/petsc-3.16.0[mpi]: sandbox violation during configure to /dev/dri/renderD128

  907222 - Assigned to Matthias Maier
• sci-mathematics/4ti2-1.6.7-r1 fails to compile (MUSL-SYSTEM): 4ti2_config.h:12:23: error: int32_t does not name a type

  908485 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-8.17.1 - Error: No rule found for plugins/ltac2/ltac2_plugin.cmxs

  909329 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-serapi-0.17.0 - Error: Unbound module Stdlib.List

  909444 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/kind2-1.9.0 - ERROR: sci-mathematics/kind2-1.9.0::gentoo failed (compile phase):

  909732 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/picosat-965 - collect2: error: ld returned 1 exit status: ./libpicosat.so: file not recognized: file format not recognized

  910686 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/prover9-2009.11a - /.../cp: cannot stat prover9: No such file or directory

  911554 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/octave-8.2.0 fails to compile (GLIBC-2.38-SYSTEM): oct-sparse.h:75:12: fatal error: cs.h: No such file or directory

  912066 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/cudd-3.0.0 - ! LaTeX Error: File pdftexcmds.sty not found.

  912765 - Assigned to Gentoo Science Related Packages
• sci-mathematics/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa

  913550 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/flocq-4.1.1 - Error: The variable Z_div_mod_eq was not found in the current environment.

  914278 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/libpoly-0.1.11 - /.../integer.h: fatal error: gmpxx.h: No such file or directory

  914390 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/mathematica with USE="-doc" should not request to download full bundle

  915345 - Assigned to Andreas K. Hüttel
• sci-mathematics/form-4.3.1 - /.../sh:line <snip>: ./version.sh: No such file or directory

  916136 - Assigned to Andrey Grozin
• sci-mathematics/4ti2-1.6.7-r1 - [slibtool] /.../ld: cannot find -l4ti2common: No such file or directory

  916679 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/octave-8.1.0 emerge failed

  916892 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-serapi-0.18.1 - Failed to run command: dune build @install --display=short --profile release -j 4

  917066 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 - alloc.h: error: unknown type name CONST

  917686 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/frobby-0.9.0-r4 - [clang] src/.../hashtable.h: error: use of undeclared identifier

  919354 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/nauty-2.8.6-r1 - [clang] ld.lld: error: undefined symbol: _gmpz_init

  919453 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/jags-4.3.1 - [clang] DistTab.cc: error: use of undeclared identifier bind2nd

  919721 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/nestedsums-1.5.2-r1 - [clang] basic_letter.cc: error: call to pow is ambiguous

  919728 - Assigned to Andrey Grozin
• sci-mathematics/normaliz-3.10.1 - libnormaliz/general.cpp: error: aggregate libnormaliz::timeval libnormaliz::TIME_global_begin has incomplete type an

  920192 - Assigned to Gentoo musl team
• sci-mathematics/msieve-1.53-r1 - common/savefile.c: error: assignment to struct gzFile_s from incompatible pointer type gzFile {aka struct gzFile_s }

  920312 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/yafu-1.34.3-r1 - top/.../soe_util.c: error: assignment to _mpz_struct ( )[1] from incompatible pointer type _mpz_struct [-Wincompatibl

  920324 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/gsl-shell-2.3.5 fails to compile (GCC-14-SYSTEM): lua-filesystem.c:52:23: error: implicit declaration of function strerror

  921353 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-4.11.0 does not respect CFLAGS (GCC-14-SYSTEM)

  921365 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/msieve-1.53-r1 - [clang] clang-17: error: linker command failed with exit code 1 (use -v to see invocation)

  921511 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/form-5.0.0_beta1 - evaluate.c: error: struct T_const has no member named auxr_

  921717 - Assigned to Andrey Grozin
• sci-mathematics/mathematica-14.0.0.0 version bump

  921966 - Assigned to Andreas K. Hüttel
• sci-mathematics/octave-8.3.0-r2 has implicit function declarations in configure logs

  923069 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/jags-4.3.1-r1 has implicit function declarations in configure logs

  923377 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-4.11.0 one or more CMake variables were not used by the project

  923378 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/octave-8.3.0-r1 fails to link with LLD because of /usr/lib in the link command line

  924362 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/geogebra-bin-6.0.804.0 installs files with unresolved SONAME dependencies

  924971 - Assigned to Java team
• sci-mathematics/gsl-shell-2.3.5 fails to compile: ld: libFOX-1.7.so: undefined reference to cupsGetDests

  924974 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/cudd-3.0.0 fails tests: FAIL: test_cudd.test 2 cudd extra

  926371 - Assigned to Gentoo Science Related Packages
• sci-mathematics/twelf-1.7.1-r2 fails to compile: ! I cant find file texinfo

  926435 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/yices2-2.6.4-r1 fails tests

  926436 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gretl-2021d fails to compile: ld: nistcheck.o: undefined reference to symbol log@@GLIBC_2.29

  926458 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yacas-1.9.1-r1[gui] depends on dev-qt/qtwebengine:5

  926677 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/verit-2021.06.2 calls commands that do not exist: CFLAGS+=

  927329 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/calc-2.13.0.1 installs files into unexpected paths

  927678 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/libpoly-0.1.11 fails to compile: polypyPolynomial3.c:260:5: error: initialization of Py_hash_t ()(PyObject ) {aka int ()(struct _object )} from incompatible pointer type long int ()(PyObject ) {aka long int ()(struct _object )} [-Wincompa

  928094 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/opensmt-2.5.2 fails to compile: Polynomial.h:183:15: error: no declaration matches long unsigned int PolynomialT<VarType>::size() const

  928095 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.8 fails to compile: Portability.hpp:23:20: error: static assertion failed: Vampire assumes that the size of a pointer is 8 bytes for efficiency reasons This may be relaxed in future, but for the moment expect problems if running

  928097 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/yafu-1.34.3-r1 fails to compile: med_sieve_32k.c:114:9: error: _INIT_SSE2_SMALL_PRIME_SIEVE undeclared (first use in this function)

  928098 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
• sci-mathematics/coq-8.20.0 installs files that contain a TEXTREL

  928101 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/verifpal-0.27.0 fails tests: panic: runtime error: invalid memory address or nil pointer dereference

  928437 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gfan-0.6.2-r4 - /.../mathcalls.h: error: redeclaration of _if with a

  928999 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/nauty-2.8.8 - ./.../nauty.h: error: invalid token at start of a preprocessor

  930508 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/coq-8.19.1 - make inconsistent assumptions over implementation Unix

  931889 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/petsc-3.20.5-r1 does not build with mpi

  932452 - Assigned to Matthias Maier
• sci-mathematics/fricas-1.3.11-r3 [doc] fails to compile: hang

  935263 - Assigned to Andrey Grozin
• sci-mathematics/coq-8.19.2 - [perl-5.40] [icu-75.1] [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=coq-core,coq-

  936228 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/octave-9.2.0 fails to compile: octave.jar does not exist

  936551 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-3.51.1 fails to compile: parray.h:592:20: error: class lean::parray<T, ThreadSafe> has no member named m_ptr

  936618 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/z3-4.13.0 - [ncurses-6.5] [icu-75.1] [glibc-2.40] [gcc-15] /.../static_matrix.h: error: class lp::static_matrix<T, X> has no member named get

  936634 - Assigned to Michał Górny
• sci-mathematics/cudd-3.0.0 - [icu-75.1] [glibc-2.40] /.../string_view:256: constexpr const std::basic_string_view<_CharT, _Traits>::value_type& std::basic_string_view<_CharT,

  936649 - Assigned to Gentoo Science Related Packages
• sci-mathematics/singular-4.3.2_p16-r1 - [icu-75.1] [gcc-15] gfanlib_matrix.h: error: const class gfan::Matrix<typ> has no member named vectormultiply

  936921 - Assigned to Michael Orlitzky
• sci-mathematics/acl2-8.5_p20240307 fails to compile: | wrappers__wrapper.c:140:10: error: returning int from a function with return type char makes pointer from integer without a cast [-Wint-conversion]

  937323 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/fricas-1.3.11-r2 fails to compile: sockio-c.c:761:34: error: passing argument 2 of connect from incompatible pointer type [-Wincompatible-pointer-types]

  937325 - Assigned to Andrey Grozin
• sci-mathematics/gfan-0.6.2-r6 - [icu-75.1] [gcc-15] src/gfanlib_matrix.h: error: const class gfan::Matrix<typ> has no member named vectormultiply

  937329 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-3.51.1 - [icu-75.1] [gcc-15] /.../hash.cpp: error: MurmurHash64A was not declared in this scope

  937429 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/why3-1.6.0 - [ncurses-6.5] [icu-75.1] [gcc-15] make inconsistent assumptions over interface Nat

  937720 - Assigned to François-Xavier Carton
• sci-mathematics/mathematica-14.0.0: No desktop file in the menu

  938179 - Assigned to Andreas K. Hüttel
• sci-mathematics/polymake should depend on dev-lang/perl:=

  939145 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/gsl-shell-2.3.5 fails to compile: agg_font_freetype.cpp:186:31: error: invalid conversion from unsigned char to char [-fpermissive]

  939307 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/polymake-4.12 - [gcc-15] /.../comparators.h: error: redefinition of template<class SizeT> int pm::hash_combine(SizeT&, SizeT)

  939388 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-3.51.1 fails to compile: hash.cpp:75:8: error: uint64_t does not name a type

  939854 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/lean-4.11.0 - [ncurses-6.5] [gcc-15] One or more CMake variables were not used by the project:

  939891 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/pspp-1.6.2-r2 - [ncurses-6.5] [meson] [libtool] [gcc-15] src/.../value-parser.c: internal compiler error: verify_type failed

  940485 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/vampire-4.9 fails tests: 3 - UnificationWithAbstraction (Failed)

  940574 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/flocq-4.1.1 - [ncurses-6.5] [libtool] [gcc-15] checking for coqc... ./configure:line <snip>: which: command not found

  940621 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/flocq-4.1.1 - [libtool] [gcc-15] Error: The variable plus_0_r was not found in the current environment.

  941414 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/abc-0_p20230313 - [ncurses-6.5] [libtool] [gcc-15] src/.../Glucose.cpp: error: type struct reduceDB_lt violates the C++ One Definition Rule [-Werror=odr]

  941452 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat

  941624 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/eclib-20240408 fails tests

  942122 - Assigned to Michael Orlitzky
• sci-mathematics/psmt2-frontend-0.4.0 installs files that contain a TEXTREL

  942134 - Assigned to Gentoo Team for the ML programming language family
• sci-mathematics/stp-2.3.4 fails tests: 9 - StrengthReduction_TestTests-gtest (Subprocess aborted)

  942340 - Assigned to Jeffrey Lin
• sci-mathematics/vampire-4.9 fails to compile: Hash.hpp:292:51: error: uintptr_t does not name a type [-Wtemplate-body]

  942341 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4

  942566 - Assigned to Gentoo Team for the ML programming language family

Stabilization Bug Reports

• sci-mathematics/maxima-5.47.0-r1: please stabilize

  910631 - Assigned to Andrey Grozin
• sci-mathematics/octave-9.2.0 stabilisation

  938709 - Assigned to Gentoo Science Mathematics related packages
• sci-mathematics/cadabra-2.4.5.7: stablereq

  940556 - Assigned to Gentoo Science Mathematics related packages

Keywording Bug Reports

• sci-mathematics/maxima-5.38.1 keyword request

  510480 - Assigned to Gentoo Science Mathematics related packages
• sci-libs/lrslib,sci-mathematics/polymake: re-keyword for, or give up on, x86

  942312 - Assigned to Gentoo Developers for the x86 Architecture