catapult-sqliteversion

Sqlite-based backend for Catapult tracing

Authorsimon@imandra.ai
LicenseMIT
Published
Homepagehttps://github.com/AestheticIntegration/catapult
Issue Trackerhttps://github.com/AestheticIntegration/catapult/issues
Maintainersimon@imandra.ai
Dependencies
Source [http] https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz
md5=a7bfa27c3ddd2d29c27173de09293149
sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/catapult-sqlite/catapult-sqlite.0.1/opam
Required by