mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
9 lines
180 B
Plaintext
9 lines
180 B
Plaintext
(library
|
|
(name verification)
|
|
(public_name catala.verification)
|
|
(libraries bindlib utils dcalc runtime z3 calendar))
|
|
|
|
(documentation
|
|
(package catala)
|
|
(mld_files verification))
|