Search results

Windows build requires deprecated vcbuild (from VS 2008)

Status: Open.

#18 In runtimeverification/mpfr-java;

· lifestreamy opened on Sep 17, 2022

Windows build is not well supported

Status: Open.

#11 In runtimeverification/mpfr-java;

· leventeBajczi opened on Aug 7, 2021

Email address for discussion of Java MPFR?

Status: Open.

#10 In runtimeverification/mpfr-java;

· PowerUser1234 opened on Mar 12, 2018

Can't get from maven

Status: Open.

#8 In runtimeverification/mpfr-java;

· Azbesciak opened on Apr 3, 2017

missing Java binding for mpfr_number_p

Status: Open.

#6 In runtimeverification/mpfr-java;

· yilongli opened on Sep 20, 2014