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.1.tar.gz md5=b706c74e8644967431055dc61f611f37 sha512=2915460b9fdd8a470de1b3bc75fcf58c36d00823588f46082db5099979f96f3bc261a91d4b5c672d2df9493461075fd61df804c1e4e737ee052af280dc6c9a6b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/catapult/catapult.0.1.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
