sci-mathematics/

twelf

Bug Reports

• 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/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/twelf-1.7.1-r2 fails to compile if it or dev-lang/mlton is built with LTO: ld: ccsV38HC.ltrans0.ltrans.o: relocation R_X86_64_32 against hidden symbol `globalCPointer' can not be used when making a PIE object

  863266 - Assigned to No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it