blob: 9910e54914513c83bf6699b4b171916c8ef7674b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(lang dune 3.7)
(name aeneas)
(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"
"Jonathan Protzenko"
"Aymeric Fromherz"
"Sidney Congard")
(license Apache-2.0)
|
