Skip to content

uses dune as the main build system#1565

Merged
ivg merged 1 commit intoBinaryAnalysisPlatform:masterfrom ivg:bap-duneJan 10, 2023

Commits

Commits on Jan 9, 2023