blob: dc352bd02e7d65d52717ee8f58b99fcb8e5f3fca (
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.7)
(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)
)
|
