Skip to main content

Browse the archive

Revision a82007688d8b9072e6eeed189939ac2d60044da7 authored by Julien Coolen on 18 August 2022, 14:28:20 UTC, committed by Julien Coolen on 18 August 2022, 14:28:20 UTC 
try
1 parent d344a0e
Raw File
dune 
(executable
 (name main)
 (libraries
   tezt-tezos)
 (flags (:standard -open Tezt -open Tezt_tezos -open Tezt.Base)))
back to top