ch.epfl.lamp dotty_0.15 0.15.0-bin-20190522-ffb250d-NIGHTLY 0.15.0-bin-20190522-ffb250d-NIGHTLY 0.15.0-RC1 0.15.0 0.15.0-bin-20190411-1578b88-NIGHTLY 0.15.0-bin-20190412-99a4fa6-NIGHTLY 0.15.0-bin-20190413-c3e88b7-NIGHTLY 0.15.0-bin-20190415-4b9c555-NIGHTLY 0.15.0-bin-20190416-311b851-NIGHTLY 0.15.0-bin-20190417-f09550d-NIGHTLY 0.15.0-bin-20190418-832b140-NIGHTLY 0.15.0-bin-20190419-cdf5b1e-NIGHTLY 0.15.0-bin-20190420-d39bca0-NIGHTLY 0.15.0-bin-20190422-ec8c05b-NIGHTLY 0.15.0-bin-20190423-2a033aa-NIGHTLY 0.15.0-bin-20190424-2b95f1d-NIGHTLY 0.15.0-bin-20190425-345a6d3-NIGHTLY 0.15.0-bin-20190426-619e728-NIGHTLY 0.15.0-bin-20190427-673febf-NIGHTLY 0.15.0-bin-20190429-fdf9ccc-NIGHTLY 0.15.0-bin-20190430-bc2bcc0-NIGHTLY 0.15.0-bin-20190501-1e471fa-NIGHTLY 0.15.0-bin-20190502-63d8546-NIGHTLY 0.15.0-bin-20190503-d78b8c0-NIGHTLY 0.15.0-bin-20190504-61ea245-NIGHTLY 0.15.0-bin-20190505-360dcad-NIGHTLY 0.15.0-bin-20190506-b34ea5d-NIGHTLY 0.15.0-bin-20190507-c99e771-NIGHTLY 0.15.0-bin-20190508-9ed471c-NIGHTLY 0.15.0-bin-20190509-dccf788-NIGHTLY 0.15.0-bin-20190510-cdd844f-NIGHTLY 0.15.0-bin-20190511-d79eb0e-NIGHTLY 0.15.0-bin-20190512-0f8c950-NIGHTLY 0.15.0-bin-20190513-3ef991d-NIGHTLY 0.15.0-bin-20190514-72574cf-NIGHTLY 0.15.0-bin-20190515-206fa7c-NIGHTLY 0.15.0-bin-20190516-8ffed08-NIGHTLY 0.15.0-bin-20190517-fb6667b-NIGHTLY 0.15.0-bin-20190521-3bcaf1d-NIGHTLY 0.15.0-bin-20190522-ffb250d-NIGHTLY 20190608221147