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-03-20 07:10:36 GMT
Size
813.54 KB
d3926789d95b321c1ee1b9578a2e9fe4
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception