Files
mpfr/Makefile.mpfr-dev
Jay Larson 6e39f7e9c7 The following changes were made to Makefile:
* corrected BRIEF variable
  * split off separate dev package
2017-04-06 13:59:57 -05:00

1018 B