package aslref

You can search for identifiers within the package.

in-package search v0.2.0

Architecture Specification Language reference implementation

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

A

Arm Ltd - ATG Formal <atg-formal@arm.com>

Maintainers

A

Arm Ltd - ATG Formal <atg-formal@arm.com>

Sources

aslref-v1.0_draft.2.tar.gz

md5=01c402d666b9fb871090bbd920a33de8

sha512=b7c1e7095a777b10cf6a87b94a24d7e26171a724604cdfbb015a6a9d01d729ceb24fcb2279fc2676a88803bde4897b672e5c9fe35c86fda32c0087f66b5eac6d

doc/index.html

aslref