catapultversion
Tracing system based on the Catapult/TEF format
| Author | simon@imandra.ai |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/AestheticIntegration/catapult |
| Issue Tracker | https://github.com/AestheticIntegration/catapult/issues |
| Maintainer | simon@imandra.ai |
| Dependencies |
|
| Optional dependencies | |
| Conflicts |
|
| Source [http] | https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz md5=a7bfa27c3ddd2d29c27173de09293149 sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/catapult/catapult.0.1/opam |
Required by
- catapult-client<0.1.1
- catapult-daemon<0.1.1
- catapult-file<0.1.1
- catapult-sqlite<0.1.1
- goblint>=2.1.0
- smtlib-utilswith-test & =0.4
