geometra/src/dune at 3714ecb88d74c8754f352ef0eb77b68a717c05e7 - iitalics/geometra - GitLain - Git with a cup of Lain

11 rader

113 B

Plaintext

Rå Blame Historik

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