https://github.com/CGAL/cgal
Revision 6200edcfafc20435e1a1c88d0d86a53ebd92fc36 authored by Luis Peñaranda on 07 March 2018, 17:37:51 UTC, committed by Laurent Rineau on 08 March 2018, 09:12:42 UTC
1 parent ec8ddad
History
Tip revision: 6200edcfafc20435e1a1c88d0d86a53ebd92fc36 authored by Luis Peñaranda on 07 March 2018, 17:37:51 UTC
Forbid MPFR 3.1.[3456] when using RS.
Tip revision: 6200edc

back to top