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
2023-12-15 07:31:56 GMT
Size
971.82 KB
dd1fb55076737a38fd58e2bb787ecf82
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception