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-08-14 16:46:42 GMT
Size
751.63 KB
f3a9ca835ef28bc6c3afa78f1e93f566
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception