implicit trans deps=false

This commit is contained in:
Simon Cruanes 2025-12-17 11:14:17 -05:00
parent f2635cce68
commit 34429ea69f
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -9,6 +9,8 @@
(version 0.12)
(implicit_transitive_deps false)
(authors "the Imandra team and contributors")
(maintainers