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 (2)

Authors

A

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

Maintainers

A

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

Sources

aslref-v1.0-eac1.tar.gz

md5=f71b0063d988924c52c883eee8df224b

sha512=17bbe8c5ed526200b55ae014b35e05fd10e0d2ed51458fb237db5ffc89363c59158e3fecdc80526fec4db56a1882ca74c5cbe8feb50f15853cc1ca2b9365bc89

doc/index.html

aslref