geometra/src/dune at 02d4fab3710ca0b0bd6af6c121032334243e47d5 - iitalics/geometra - GitLain - Git with a cup of Lain

9 lines

113 B

Plaintext

Raw Blame History

 (executable
  (name main)
  (package geometra)
  (public_name geometra)
  (libraries
    ohlog
    tsdl
    tgls.tgl4))