Project

General

Profile

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

    
2

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