(executable
 (name main)
 (package geometra)
 (public_name geometra)
 (libraries
   adam
   s2
   n2

   ohlog))