aboutsummaryrefslogtreecommitdiff
path: root/calculette_aoo/lib/dune
blob: 176147cfc2506172066588fcc20f49705effae79 (plain)
1
2
3
4
(library
 (name aoo)
 (libraries zarith)
 )