You can find the Dockerfile at: https://github.com/githwxi/Docker-ATS-Positiats
On Wednesday, March 7, 2018 at 2:13:41 PM UTC-5, Brandon Barker wrote: > > Hi Hongwei, > > If you used a Dockerfile for this, could you link it on the dockerhub > page? > > Thanks, > > On Friday, January 19, 2018 at 12:00:51 PM UTC-5, gmhwxi wrote: >> >> FYI. >> >> Docker image for ATS2-0.3.9: >> >> http://www.ats-lang.org/Resources.html >> https://hub.docker.com/r/dockerhwxi/ats2/ >> >> --Hongwei >> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d1adb6f4-3c68-44af-abd4-d6128c3d987e%40googlegroups.com.
