io7m-jinterp-documentation

'com.io7m.jinterp:io7m-jinterp-documentation:1.0.0'

<dependency>
	<groupId>com.io7m.jinterp</groupId>
	<artifactId>io7m-jinterp-documentation</artifactId>
	<version>1.0.0</version>
</dependency>

<dependency org="com.io7m.jinterp" name="io7m-jinterp-documentation" rev="1.0.0"/>

"com.io7m.jinterp", "io7m-jinterp-documentation", "1.0.0"