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-11-13 09:35:47 GMT
Size
973.13 KB
fd5b27b0ad7f7006b87fc1f88f6a1c2c
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception