blob: c614e9232ef3dc11d91eb89a376963a2e69e6809 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(lang dune 3.12)
(name aeneas_test_runner)
(version 0.1)
(generate_opam_files true)
(source
(uri git+https://github.com/AeneasVerif/aeneas.git))
(homepage "https://github.com/AeneasVerif/aeneas")
(bug_reports "https://github.com/AeneasVerif/aeneas/issues")
(authors
"Son Ho"
"Guillaume Boisseau")
(license Apache-2.0)
(package
(name aeneas_test_runner)
(depends ocaml dune)
)
|
