2018-04-30 18:34:48 +00:00
|
|
|
name = "jboss"
|
|
|
|
description = "An example jboss server"
|
2018-05-03 21:10:53 +00:00
|
|
|
version = "0.0.1"
|
2018-04-30 18:34:48 +00:00
|
|
|
|
|
|
|
[[modules]]
|
2018-05-03 21:10:53 +00:00
|
|
|
name = "jboss-servlet-3.1-api"
|
2018-04-30 18:34:48 +00:00
|
|
|
version = "1.0.*"
|
|
|
|
|
|
|
|
[[modules]]
|
2018-05-03 21:10:53 +00:00
|
|
|
name = "jboss-interceptors-1.2-api"
|
2018-04-30 18:34:48 +00:00
|
|
|
version = "1.0.*"
|
|
|
|
|
|
|
|
[[modules]]
|
|
|
|
name = "java-1.8.0-openjdk"
|
|
|
|
version = "1.8.0.*"
|