Project

General

Profile

Download (143 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2

    
3
(env
4
 (dev
5
  (flags
6
   (:standard -warn-error -A))))
7
   
8
(library 
9
(name mpfr_plugin)
10
(libraries lustrec mlmpfr)
11
(wrapped false)
12
(optional)
13
)
(1-1/2)