_tags\ocaml - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/ocaml/_tags

blob: eab7e89a267269c225d3b31817f1585a63ed3bf9 (plain)

1
2
3

<**/*.ml>: bin_annot, annot
<*.m{l,li}>: package(lem), package(linksem), package(zarith)
<platform_main.native>: package(lem), package(linksem), package(zarith)