This package provides debug information for package alt-ergo.
Debug information is useful when developing applications that use this
package or when debugging this package.
Build Time
2024-07-25 05:37:00 GMT
Size
801.91 KB
f0a72f06ddf565e0480853649e8375e5
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception