This package provides debug sources for package alt-ergo.
Debug sources are useful when developing applications that use this
package or when debugging this package.
Build Time
2023-12-22 14:04:04 GMT
Size
268.67 KB
8c782ee1f252cfa14c410fa3f6a5c8fe
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception