Changes between Initial Version and Version 1 of Ticket #27642, comment 4
- Timestamp:
- 05/03/19 14:51:44 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #27642, comment 4
initial v1 1 Trying this with `./configure` leaves gmp not marked as an not to be installed, while mpir is marked as not to be installed. 1 Trying this with `./configure` leaves gmp not marked as an not to be installed, while mpir is marked as not to be installed. (to be fixed on #27641).