search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Pin osgi.enroute.pom.distro to 2.1.0 rather than 2.1.0-SNAPSHOT #67

Closed lynaghk closed 6 years ago

lynaghk commented 6 years ago

The dependency on osgi.enroute.pom.distro:2.1.0-SNAPSHOT defined here means that it's not possible to work on Alloy without an Internet connection.

Is there any reason not to pin to 2.1.0? All the tests pass locally for me using that dependency rather than the SNAPSHOT.

pkriens commented 6 years ago

I've solved this problem slightly different now.