Latest version of org.typelevel:spire-laws_2.13.0-RC1
https://javadoc.io/doc/org.typelevel/spire-laws_2.13.0-RC1
Current version 0.16.2
https://javadoc.io/doc/org.typelevel/spire-laws_2.13.0-RC1/0.16.2
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/org.typelevel/spire-laws_2.13.0-RC1/0.16.2/package-list