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 | |
| Source [http] | https://github.com/AestheticIntegration/catapult/archive/v0.2.tar.gz md5=c732cce9430be74e8136cf87d6d8f9e5 sha512=2c221b86950a5ef81a41358b929633acc9d2b600aef8192a2b978b3b16dfc6237c79457db39f3beb95750d732674c977bc0547dde75bdfdf2fb378d192d37c48 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/catapult/catapult.0.2/opam |
Required by
- catapult-client>=0.2
- catapult-daemon>=0.2
- catapult-file>=0.2
- catapult-sqlite>=0.2
- goblint>=2.1.0
- smtlib-utilswith-test & =0.4
