blob: f8b418f2ff726107e211243992b62c985104a833 (
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
|
(lang dune 2.8)
(name aeneas)
(version 0.1)
(generate_opam_files true)
(formatting)
(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)
|