pub const AENEAS_REPO: &str = "https://github.com/cryspen/aeneas";
Source repository of the pinned aeneas.