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
2024-07-25 05:37:00 GMT
Size
268.37 KB
1a45f082d1aef03553dd482851a1fbf2
License
Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception